Search
Now showing items 1-1 of 1
Gentzenov dôkaz bezespornosti aritmetiky
Gentzen's Consistency Proof
Gentzenův důkaz bezespornosti aritmetiky
diploma thesis (DEFENDED)
Advisor: Švejdar, Vítězslav
Date Issued: 2011
Date of defense: 30. 06. 2011
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Prá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 ...
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 ...
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 ...