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

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Cover of the book Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals by Anna Horská, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Anna Horská ISBN: 9783319021713
Publisher: Springer International Publishing Publication: October 23, 2013
Imprint: Springer Language: English
Author: Anna Horská
ISBN: 9783319021713
Publisher: Springer International Publishing
Publication: October 23, 2013
Imprint: Springer
Language: English

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 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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 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.

More books from Springer International Publishing

Cover of the book Thermal Behavior of Photovoltaic Devices by Anna Horská
Cover of the book Knowledge, Power, and Women's Reproductive Health in Japan, 1690–1945 by Anna Horská
Cover of the book Implementation and Application of Automata by Anna Horská
Cover of the book The Politics of Wellbeing by Anna Horská
Cover of the book On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory by Anna Horská
Cover of the book Animals in Tillich's Philosophical Theology by Anna Horská
Cover of the book Argument Types and Fallacies in Legal Argumentation by Anna Horská
Cover of the book Kautilya and Non-Western IR Theory by Anna Horská
Cover of the book Doppler Echocardiography in Infancy and Childhood by Anna Horská
Cover of the book The Crisis Conundrum by Anna Horská
Cover of the book Adapting to an Uncertain Climate by Anna Horská
Cover of the book Advances in Computer Vision by Anna Horská
Cover of the book Marriage, the Church, and its Judges in Renaissance Venice, 1420-1545 by Anna Horská
Cover of the book Early Phase Cancer Immunotherapy by Anna Horská
Cover of the book International Conference on Intelligent Data Communication Technologies and Internet of Things (ICICI) 2018 by Anna Horská
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy