From: "Alexandre E. Kopilovitch" <aek@vib.usr.pu.ru>
Subject: incomplete languages (was: Re: Anybody in US using ADA ? One silly idea..)
Date: Tue, 7 Jan 2003 19:01:18 +0300 (MSK)
Date: 2003-01-07T19:01:18+03:00 [thread overview]
Message-ID: <mailman.1041959403.11003.comp.lang.ada@ada.eu.org> (raw)
"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.
Alexander Kopilovitch aek@vib.usr.pu.ru
Saint-Petersburg
Russia
next reply other threads:[~2003-01-07 16:01 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-01-07 16:01 Alexandre E. Kopilovitch [this message]
2003-01-08 13:10 ` incomplete languages (was: Re: Anybody in US using ADA ? One silly idea..) 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
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox