Gentzenov dôkaz bezespornosti aritmetiky
Gentzen's Consistency Proof
Gentzenův důkaz bezespornosti aritmetiky
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/34374Identifikátory
SIS: 109392
Kolekce
- Kvalifikační práce [23212]
Autor
Vedoucí práce
Oponent práce
Velebil, Jiří
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
30. 6. 2011
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Slovenština
Známka
Výborně
Klíčová slova (česky)
Gentzen, bezespornosť, Peanova aritmetikaKlíčová slova (anglicky)
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.