Gentzenov dôkaz bezespornosti aritmetiky
Gentzen's Consistency Proof
Gentzenův důkaz bezespornosti aritmetiky
diploma thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/34374Identifiers
Study Information System: 109392
Collections
- Kvalifikační práce [23727]
Author
Advisor
Referee
Velebil, Jiří
Faculty / Institute
Faculty of Arts
Discipline
Logic
Department
Department of Logic
Date of defense
30. 6. 2011
Publisher
Univerzita Karlova, Filozofická fakultaLanguage
Slovak
Grade
Excellent
Keywords (Czech)
Gentzen, bezespornosť, Peanova aritmetikaKeywords (English)
Gentzen, consistency, Peano arithmeticPráca podáva podrobne vysvetlené dva dôkazy bezespornosti Peanovej aritmetiky, ktoré v rokoch 1936 a 1938 uverejnil nemecký matematik Gerhard Gentzen. Dôkazy boli naštudované z pôvodných zdrojov, a to z článkov "Die Widerspruchsfreiheit der reinen Zahlentheorie" a "Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie". Prvý z uvedených dôkazov je zaujímavý z historického hľadiska, Gentzen pri ňom využíva kalkul prirodzenej dedukcie a ordinálne čísla, ktoré kvôli dôkazu sám vymyslel. Druhý dôkaz je viac-menej dnes bežne známy ako dôkaz bezespornosti Peanovej aritmetiky.
This paper contains detailed description of two consistency proofs, which state that in the system called Peano arithmetic no contradiction can be obtained. The proofs were first published in 1936 and 1938 by the German mathematician Gerhard Gentzen. For the purpose of this paper, the proofs were read and studied from the original articles called "Die Widerspruchsfreiheit der reinen Zahlentheorie" and "Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie". The first mentioned proof is interesting from the historical point of view. Gentzen used a natural deduction sequent calculus and ordinal numbers in an unusual form he invented. The second proof is similar to the consistency proof, which is commonly known as a consistency proof for Peano arithmetic nowadays.