Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: So what's null then if it's not nothing?

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@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 - 10:39:32 CST












Original text of this message













  HOME |
  ASK QUESTION |
  ADD INFO |
  SEARCH |
  E-MAIL US