Prev: Peter Koellner's thesis
Next: solutions manual to Algebra Baldor
From: Marc Alcobé García on 11 Mar 2010 09:05
Where could I find an outline of Gentzen's proof of the consistency of
first-order PA?

Is there an english translation of this report:

http://milne.ruc.dk/ImfufaTekster/pdf/326.pdf

?

Thank you in advance.
From: Rupert on 11 Mar 2010 10:12
On Mar 12, 1:05 am, Marc Alcobé García <malc...(a)gmail.com> wrote:
> Where could I find an outline of Gentzen's proof of the consistency of
> first-order PA?
>
> Is there an english translation of this report:
>
> http://milne.ruc.dk/ImfufaTekster/pdf/326.pdf
>
> ?
>
> Thank you in advance.

Kurt Schutte's "Proof Theory" is one place.
From: Frederick Williams on 11 Mar 2010 10:44
Marc Alcob� Garc�a wrote:
>
> Where could I find an outline of Gentzen's proof of the consistency of
> first-order PA?
>
> Is there an english translation of this report:
>
> http://milne.ruc.dk/ImfufaTekster/pdf/326.pdf
>
> ?
>
> Thank you in advance.

His collected papers have been published in English.

There is an outline in Kleene 'Introduction to Metamathematics', end of
section 79.

--
I can't go on, I'll go on.
 | 
Pages: 1
Prev: Peter Koellner's thesis
Next: solutions manual to Algebra Baldor