From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: incomplete languages (was: Re: Anybody in US using ADA ? One silly idea..)
Date: Wed, 08 Jan 2003 14:10:47 +0100
Date: 2003-01-08T14:10:47+01:00 [thread overview]
Message-ID: <avh7vn$fni6s$1@ID-77047.news.dfncis.de> (raw)
In-Reply-To: mailman.1041959403.11003.comp.lang.ada@ada.eu.org
Alexandre E. Kopilovitch wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote:
>>A need in a meta language indicates that the core language is incomplete.
>>Then the question is only whether this incompleteness is inherent or not.
>>As long as the former is not proved I will claim that we do not need a
>>meta language.
>
> 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.
Incomplete for what? If a language should be complete for everything, then
meta language is also no answer, because it in turn will be also
incomplete.
--
Regards,
Dmitry A. Kazakov
www.dmitry-kazakov.de
next prev parent reply other threads:[~2003-01-08 13:10 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 [this message]
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
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox