From: Karel Miklav <karel@inetis.spppambait.com>
Subject: Re: incomplete languages (was: Re: Anybody in US using ADA ? One silly idea..)
Date: Thu, 09 Jan 2003 07:35:58 +0100
Date: 2003-01-09T07:35:58+01:00 [thread overview]
Message-ID: <iL8T9.2575$tQ1.128242@news.siol.net> (raw)
In-Reply-To: <4519e058.0301081400.4529ebfc@posting.google.com>
Ted Dennison wrote:
> "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.
...so the solution is a meta language?
prev parent reply other threads:[~2003-01-09 6:35 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 ` incomplete languages (was: Re: Anybody in US using ADA ? One silly idea..) Ted Dennison
2003-01-09 6:35 ` Karel Miklav [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox