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

On Tue, 18 Mar 2008 11:04:20 -0700 (PDT), MoeBlee <jazzmobe@xxxxxxxxxxx> said:
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.

Well, you didn't actually *say* the proof is formalizable in Robinson
Arithmetic. :-)

.

Relevant Pages
Quantcast