Re: abundance of irrationals!)
- From: "Ross A. Finlayson" <raf@xxxxxxxxxxxxxxx>
- Date: 16 Apr 2005 05:56:55 -0700
Hi,
No, that is not the case. What you are calling "axioms", the
non-logical axioms, are actually theorems, of tautology, and the
excluded middle.
Here's what I'm worried about: Andy.
http://groups-beta.google.com/group/sci.logic/search?group=sci.logic&q=Andy
Oh wait, I _am_ Andy.
Goedel says so!
With warm regards,
Ross
.
- References:
- Re: abundance of irrationals!)
- From: W. Mueckenheim
- Re: abundance of irrationals!)
- From: *** T. Winter
- Re: abundance of irrationals!)
- From: W. Mueckenheim
- Re: abundance of irrationals!)
- From: *** T. Winter
- Re: abundance of irrationals!)
- From: r.e.s.
- Re: abundance of irrationals!)
- From: W. Mueckenheim
- Re: abundance of irrationals!)
- From: Franziska Neugebauer
- Re: abundance of irrationals!)
- From: Franziska Neugebauer
- Re: abundance of irrationals!)
- From: David Kastrup
- Re: abundance of irrationals!)
- From: Franziska Neugebauer
- Re: abundance of irrationals!)
- Prev by Date: Re: abundance of irrationals!)
- Next by Date: how to deal with the algebra problem?
- Previous by thread: Re: abundance of irrationals!)
- Next by thread: Re: abundance of irrationals!)
- Index(es):