Re: So what's null then if it's not nothing?
From: vc <boston103_at_hotmail.com>
Date: 12 Dec 2005 08:39:32 -0800
Message-ID: <1134405572.072101.84160_at_g43g2000cwa.googlegroups.com>
Date: 12 Dec 2005 08:39:32 -0800
Message-ID: <1134405572.072101.84160_at_g43g2000cwa.googlegroups.com>
Torkel Franzen wrote:
> "JOG" <jog_at_cs.nott.ac.uk> writes:
>
> > So Godel's
> > stated that any recursive axiomatic system cannot be consistent and
> > complete.
>
> Not at all. There are lots of consistent and complete recursively
> axiomatized systems.
Right, Presburger arithmetic is one example.
>As usual, Godel's theorem is supremely
> irrelevant.
And, yes, G.T. is irrelevant. Received on Mon Dec 12 2005 - 17:39:32 CET