comp.lang.ada
 help / color / mirror / Atom feed
From: dennison@telepath.com (Ted Dennison)
Subject: Re: incomplete languages (was: Re: Anybody in US using ADA ? One silly idea..)
Date: 8 Jan 2003 14:00:59 -0800
Date: 2003-01-08T22:00:59+00:00	[thread overview]
Message-ID: <4519e058.0301081400.4529ebfc@posting.google.com> (raw)
In-Reply-To: mailman.1041959403.11003.comp.lang.ada@ada.eu.org

"Alexandre E. Kopilovitch" <aek@vib.usr.pu.ru> wrote in message news:<mailman.1041959403.11003.comp.lang.ada@ada.eu.org>...
> But it is well-known fact (from the first half of 20 century, thanks Godel),
> that every language that is rich enough is necessarily incomplete.

...or inconsistent.



  parent reply	other threads:[~2003-01-08 22:00 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-01-07 16:01 incomplete languages (was: Re: Anybody in US using ADA ? One silly idea..) Alexandre E. Kopilovitch
2003-01-08 13:10 ` Dmitry A. Kazakov
2003-01-08 14:35   ` incomplete languages Karel Miklav
2003-01-10 13:49     ` Dmitry A. Kazakov
2003-01-14  1:14     ` Georg Bauhaus
2003-01-14  2:20       ` John R. Strohm
2003-01-14  7:33         ` Karel Miklav
2003-01-14  8:49           ` tmoran
2003-01-14  9:03             ` Karel Miklav
2003-01-08 22:00 ` Ted Dennison [this message]
2003-01-09  6:35   ` incomplete languages (was: Re: Anybody in US using ADA ? One silly idea..) Karel Miklav
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox