Re: Liar's Paradox in Godel's Theorem (newbie question)

From: "Charlie-Boo" <shymathguy@xxxxxxxxx>
Date: 2 May 2006 21:02:44 -0700

David C. Ullrich wrote:

On 30 Apr 2006 16:47:01 -0700, "Charlie-Boo" <shymathguy@xxxxxxxxx>
wrote:

Aatu Koskensilta, Charlie-Boo wrote:

You don't believe in correcting the record, now that you see the close
relationship between Liar and Godel?

There's nothing to correct. It's not particularly illuminating to know
that "this sentence is not true" is not equivalent to "this sentence is
not provable in PA".

It proves Godel's Theorem.

Right. Exactly how does this proof go?

As I said above, "Do you see how to derive Godel's Theorem based on
soundness given that truth and provability do not coincide?"

************************

David C. Ullrich

Follow-Ups:
- Re: Liar's Paradox in Godel's Theorem (newbie question)
  - From: David C . Ullrich

References:
- Re: Liar's Paradox in Godel's Theorem (newbie question)
  - From: Charlie-Boo
- Re: Liar's Paradox in Godel's Theorem (newbie question)
  - From: Aatu Koskensilta
- Re: Liar's Paradox in Godel's Theorem (newbie question)
  - From: Charlie-Boo
- Re: Liar's Paradox in Godel's Theorem (newbie question)
  - From: Aatu Koskensilta
- Re: Liar's Paradox in Godel's Theorem (newbie question)
  - From: Charlie-Boo
- Re: Liar's Paradox in Godel's Theorem (newbie question)
  - From: David C . Ullrich

Prev by Date: Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
Next by Date: Re: Need help to answer a boy genius.
Previous by thread: Re: Liar's Paradox in Godel's Theorem (newbie question)
Next by thread: Re: Liar's Paradox in Godel's Theorem (newbie question)
Index(es):
- Date
- Thread

Relevant Pages

Re: Godel on BBC 4
... David C. Ullrich wrote: ... You MUST say what is meant by provability and why it is not the same as truth if you want to argue against a proposal that places their relationship in doubt. ... "Understanding Godel isn't about following his formal proof. ...
(sci.logic)
Re: I have a prob on a generalization of tauber thm.
... David C. Ullrich wrote: ... "Understanding Godel isn't about following his formal proof. ...
(sci.math)
Re: Liars Paradox in Godels Theorem (newbie question)
... David C. Ullrich wrote: ... relationship between Liar and Godel? ... provability do not coincide, now how do we prove Godel's theorem? ...
(sci.logic)
Re: Liars Paradox in Godels Theorem (newbie question)
... David C. Ullrich wrote: ... soundness given that truth and provability do not coincide?" ... provability do not coincide, now how do we prove Godel's theorem? ...
(sci.logic)
Re: I have a prob on a generalization of tauber thm.
... David C. Ullrich wrote: ... There's a whole lot of material on Bloch functions; ... "Understanding Godel isn't about following his formal proof. ...
(sci.math)