sci.math
[Top] [All Lists]

Re: Meaning of (In)completeness and (In)consistency in Godel's Logic

Subject: Re: Meaning of (In)completeness and (In)consistency in Godel's Logic
From: Aatu Koskensilta
Date: Sun, 30 Apr 2006 15:56:28 +0300
Newsgroups: sci.math
Shmuel (Seymour J.) Metz wrote:
There are formal systems in which the Liar's Paradox cannot even
be stated.

Now that's an understatement!

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, darüber muss man schweigen"
 - Ludwig Wittgenstein, Tractatus Logico-Philosophicus

<Prev in Thread] Current Thread [Next in Thread>
Privacy Policy