Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Where Is the Gödel-Point Hiding

Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals

Where Is the Gödel-Point Hiding( )
Author: Horská, Anna
Series title:SpringerBriefs in Philosophy Ser.
ISBN:978-3-319-02170-6
Publication Date:Nov 2013
Publisher:Springer International Publishing AG
Imprint:Springer
Book Format:Paperback
List Price:USD $69.99
Book Description:

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 calculations and parts of formal derivations. A notable aspect of the proof is the representation of ordinal numbers that was developed by Gentzen. This representation is analysed and connection to set-theoretical representation...
More Description

Book Details
Pages:77
Detailed Subjects: Mathematics / General
Mathematics / Logic
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.07 Inches
Book Weight:3.243 Pounds



Featured Books

The Velveteen Rabbit
Williams, Margery
Paperback: $9.95
Good and Mad
Traister, Rebecca
Paperback: $18.00
Legacy
Blackstock, Uché
Hardback: $28.00

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.