Re: "Godel got it all wrong"

From: "Peter_Smith" <ps218@xxxxxxxxx>
Date: 11 Sep 2006 23:30:52 -0700

Herman Jurjus wrote:

Perfectly ok; thanks for the elucidation.
How would one get/prove negation completeness?

Do forgive me taking the short way out on this. Go to download page at
www.godelbook.net; have a look at Section 8.2 and then Section 12.3 on
PRA_0. Cheers, Peter

.

References:
- "Godel got it all wrong"
  - From: Peter_Smith
- Re: "Godel got it all wrong"
  - From: Newberry
- Re: "Godel got it all wrong"
  - From: Peter_Smith
- Re: "Godel got it all wrong"
  - From: Newberry
- Re: "Godel got it all wrong"
  - From: Peter_Smith
- Re: "Godel got it all wrong"
  - From: MoeBlee
- Re: "Godel got it all wrong"
  - From: Peter_Smith
- Re: "Godel got it all wrong"
  - From: MoeBlee
- Re: "Godel got it all wrong"
  - From: MoeBlee
- Re: "Godel got it all wrong"
  - From: Peter_Smith
- Re: "Godel got it all wrong"
  - From: Herman Jurjus
- Re: "Godel got it all wrong"
  - From: Peter_Smith
- Re: "Godel got it all wrong"
  - From: Herman Jurjus

Prev by Date: Re: Categorical model of N?
Next by Date: Re: "Godel got it all wrong"
Previous by thread: Re: "Godel got it all wrong"
Next by thread: Re: "Godel got it all wrong"
Index(es):
- Date
- Thread

Relevant Pages

Re: "Godel got it all wrong"
... Herman Jurjus wrote: ... forgive me not repeating it here -- you can find it again at ... download the second part (health warning: ...
(sci.logic)
Re: Godels Incompleteness and Nonmonotonic Logic
... > into the trap of inconsistency/incompleteness. ... Could you download this paper somewhere? ... Herman Jurjus ...
(sci.logic)
Re: Godels Incompleteness and Nonmonotonic Logic
... > into the trap of inconsistency/incompleteness. ... Could you download this paper somewhere? ... Herman Jurjus ...
(comp.lang.prolog)