Where is the Gödelpoint hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals
Resource Information
The work Where is the Gödelpoint hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals represents a distinct intellectual or artistic creation found in University of Oklahoma Libraries. This resource is a combination of several types including: Work, Language Material, Books.
The Resource
Where is the Gödelpoint hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals
Resource Information
The work Where is the Gödelpoint hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals represents a distinct intellectual or artistic creation found in University of Oklahoma Libraries. This resource is a combination of several types including: Work, Language Material, Books.
 Label
 Where is the Gödelpoint hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals
 Title remainder
 Gentzen's consistency proof of 1936 and his representation of constructive ordinals
 Statement of responsibility
 Anna Horská
 Language
 eng
 Summary
 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 settheoretical representation is found, namely an algorithm for translating Gentzen's notation into Cantor normal form. The topic should interest researchers and students who work on proof theory, history of proof theory or Hilbert's program and who do not mind reading mathematical texts
 Cataloging source
 GW5XE
 Dewey number
 511.3/6
 Index
 index present
 LC call number
 QA9.54
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 Series statement
 SpringerBriefs in Philosophy,
Context
Context of Where is the Gödelpoint hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinalsEmbed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/resource/iCBz1vHoKcg/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/iCBz1vHoKcg/">Where is the Gödelpoint hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Work Where is the Gödelpoint hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/resource/iCBz1vHoKcg/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/iCBz1vHoKcg/">Where is the Gödelpoint hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>