Re: Godel's comments about the "true reason" for incompleteness

From: MoeBlee <jazzmobe@xxxxxxxxxxx>
Date: Tue, 18 Mar 2008 11:04:20 -0700 (PDT)

On Mar 18, 10:29 am, Aatu Koskensilta <aatu.koskensi...@xxxxxxxxx>
wrote:

On 2008-03-18, in sci.logic, MoeBlee wrote:

What are you talking about? Do you contend that the proof is not
formalizable in PRA or Robinsion arithmetic or PA or even Z set theory
- all first order theories.

Godel's proof is not formalisable in Robinson arithmetic.

'Cause no induction schema, I would think.

Okay so I'm three for four. Not bad for rookie off the bench.

MoeBlee
.

Follow-Ups:
- Re: Godel's comments about the "true reason" for incompleteness
  - From: R. Srinivasan
- Re: Godel's comments about the "true reason" for incompleteness
  - From: Aatu Koskensilta
- Re: Godel's comments about the "true reason" for incompleteness
  - From: Aatu Koskensilta
- Re: Godel's comments about the "true reason" for incompleteness
  - From: Chris Menzel

References:
- Godel's comments about the "true reason" for incompleteness
  - From: djrt20
- Re: Godel's comments about the "true reason" for incompleteness
  - From: LauLuna
- Re: Godel's comments about the "true reason" for incompleteness
  - From: Newberry
- Re: Godel's comments about the "true reason" for incompleteness
  - From: LauLuna
- Re: Godel's comments about the "true reason" for incompleteness
  - From: Newberry
- Re: Godel's comments about the "true reason" for incompleteness
  - From: LauLuna
- Re: Godel's comments about the "true reason" for incompleteness
  - From: R. Srinivasan
- Re: Godel's comments about the "true reason" for incompleteness
  - From: MoeBlee
- Re: Godel's comments about the "true reason" for incompleteness
  - From: R. Srinivasan
- Re: Godel's comments about the "true reason" for incompleteness
  - From: MoeBlee
- Re: Godel's comments about the "true reason" for incompleteness
  - From: Aatu Koskensilta

Prev by Date: R Kelly Sex high-quality movies and photos. Full archive
Next by Date: Re: all the incompleteness proofs are worthless untill...
Previous by thread: Re: Godel's comments about the "true reason" for incompleteness
Next by thread: Re: Godel's comments about the "true reason" for incompleteness
Index(es):
- Date
- Thread

Relevant Pages

Re: Godels comments about the "true reason" for incompleteness
... On 2008-03-18, in sci.logic, MoeBlee wrote: ... formalizable in PRA or Robinsion arithmetic or PA or even Z set theory ... - all first order theories. ...
(sci.logic)
Re: Godels comments about the "true reason" for incompleteness
... formalizable in PRA or Robinsion arithmetic or PA or even Z set ... theory - all first order theories. ... Not bad for rookie off the bench. ...
(sci.logic)
Re: incompleteness and inconsistency
... ordinary mathematical proofs occur in set theory or at least ... freely use principles of set theory even if the proofs are informal. ... If we consider PRA to be the "embodiment" of finitistic proof, ...
(sci.logic)
Re: Whats the weakest metatheory in which Goedels theorem can be proved?
... perhaps remark on how it compares with the first order theories of ... PRA, Robinson arithmetic, and PA? ...
(sci.logic)