Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
Author:   Anna Horská
Publisher:   Springer International Publishing AG
Edition:   2014 ed.
ISBN:  

9783319021706


Pages:   77
Publication Date:   06 November 2013
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $142.29 Quantity:  
Add to Cart

Share |

Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals


Overview

Full Product Details

Author:   Anna Horská
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2014 ed.
Dimensions:   Width: 15.50cm , Height: 0.40cm , Length: 23.50cm
Weight:   1.474kg
ISBN:  

9783319021706


ISBN 10:   3319021702
Pages:   77
Publication Date:   06 November 2013
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Acknowledgements.- 1 Introduction.- 2 Preliminaries.- 3 Ordinal numbers.- 4 Consistency proof.- Index.- References.

Reviews

From the book reviews: This book deals with G. Gentzen's classical 1936 article on the consistency of arithmetic ... . The result is a clear exposition of the full proof with all details and with the ideas behind the proof visible. ... All in all, the author of this book has accomplished the difficult task of making Gentzen's original hard-to-read paper accessible to the historically interested logician. (Christian Bennet, Mathematical Reviews, November, 2014)


From the book reviews: This book deals with G. Gentzen's classical 1936 article on the consistency of arithmetic ... . The result is a clear exposition of the full proof with all details and with the ideas behind the proof visible. ... All in all, the author of this book has accomplished the difficult task of making Gentzen's original hard-to-read paper accessible to the historically interested logician. (Christian Bennet, Mathematical Reviews, November, 2014)


Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now