Path: dp-news.maxwell.syr.edu!spool.maxwell.syr.edu!drn.maxwell.syr.edu!news.maxwell.syr.edu!newscon02.news.prodigy.com!prodigy.net!nx01.iad01.newshosting.com!newshosting.com!216.196.98.140.MISMATCH!border1.nntp.dca.giganews.com!nntp.giganews.com!postnews.google.com!g43g2000cwa.googlegroups.com!not-for-mail
From: "vc" <boston103@hotmail.com>
Newsgroups: comp.databases.theory
Subject: Re: So what's null then if it's not nothing?
Date: 12 Dec 2005 08:39:32 -0800
Organization: http://groups.google.com
Lines: 18
Message-ID: <1134405572.072101.84160@g43g2000cwa.googlegroups.com>
References: <1133987926.307730.65450@g14g2000cwa.googlegroups.com>
   <MPG.1e025150a62362ce989732@news.ntnu.no>
   <1134052742.347560.142840@o13g2000cwo.googlegroups.com>
   <MPG.1e02758452d3556f989735@news.ntnu.no>
   <1134060567.603337.103190@g49g2000cwa.googlegroups.com>
   <1134093058.488464.310420@z14g2000cwz.googlegroups.com>
   <1134101484.507023.143250@g43g2000cwa.googlegroups.com>
   <1134134242.549107.89080@g43g2000cwa.googlegroups.com>
   <1134141511.458603.73950@g44g2000cwa.googlegroups.com>
   <1134225078.698427.226210@g43g2000cwa.googlegroups.com>
   <1134234985.112008.177390@g47g2000cwa.googlegroups.com>
   <1134244694.076598.114370@o13g2000cwo.googlegroups.com>
   <1134249615.348640.135980@g44g2000cwa.googlegroups.com>
   <1134353738.616494.318540@o13g2000cwo.googlegroups.com>
   <vcb4q5e8ewp.fsf@beta19.sm.ltu.se>
NNTP-Posting-Host: 65.244.78.22
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1134405577 26363 127.0.0.1 (12 Dec 2005 16:39:37 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 12 Dec 2005 16:39:37 +0000 (UTC)
In-Reply-To: <vcb4q5e8ewp.fsf@beta19.sm.ltu.se>
User-Agent: G2/0.2
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.0; .NET CLR 2.0.50727),gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: g43g2000cwa.googlegroups.com; posting-host=65.244.78.22;
   posting-account=thIdtgwAAAAhUVpIR1L4IFjCXWRKlxtG
Xref: dp-news.maxwell.syr.edu comp.databases.theory:35080


Torkel Franzen wrote:
> "JOG" <jog@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.