Ebooks d'Anna Horská en EPUB

1 Livre(s)
Télécharger le livre : Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
Ajouter à ma liste d'envies
Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
Anna Horská
This book explains the first published consistency proof of PA. It contains the original Gentzen's proof, but it uses modern terminology and examples to illustrate the essential notions. The author comments on Gentzen's steps which are supplemented with exact...

Editeur : Springer
Parution : 2013-10-23

ePub

68,56 €