Filosofický výklad a možné interpretace Gödelových vět o neúplnosti
| Thesis title in Czech: | Filosofický výklad a možné interpretace Gödelových vět o neúplnosti |
|---|---|
| Thesis title in English: | Philosophical analysis and possible interpretations of Gödel's incompleteness theorems |
| Key words: | Gödelovy věty, neúplnost aritmetiky, Hilbertův program, neeukleidovské geometrie, fenomenologie, analytická filosofie mysli, Kant |
| English key words: | Gödel’s theorems, incompleteness of arithmetic, Hilbert’s programme, Non-Euclidean geometries, phenomenology, analytical philosophy of mind, Kant |
| Academic year of topic announcement: | 2012/2013 |
| Thesis type: | diploma thesis |
| Thesis language: | čeština |
| Department: | Department of Logic (21-KLOG) |
| Supervisor: | PhDr. Mgr. Marta Vlasáková, Ph.D. |
| Author: | Mgr. Ing. Zuzana Arazim Dolejší - assigned and confirmed by the Study Dept. |
| Date of registration: | 22.01.2013 |
| Date of assignment: | 22.01.2013 |
| Administrator's approval: | not processed yet |
| Confirmed by Study dept. on: | 30.01.2013 |
| Date and time of defence: | 20.06.2016 09:00 |
| Date of electronic submission: | 22.05.2016 |
| Date of proceeded defence: | 20.06.2016 |
| Submitted/finalized: | committed by student and finalized |
| Opponents: | PhDr. Michal Peliš, Ph.D. |
| Guidelines |
| Rozbor možných filosofických výkladů Gödelových vět o neúplnosti aritmetiky a jejich interpretace v rámci formalismu, intuicionismu a tzv. matematického platonismu. Vztah mezi druhou Gödelovou větou o neúplnosti, Gentzenovým důkazem úplnosti Peanovy aritmetiky a Hilbertovým programem. |
| References |
| Kurt Gödel: Filosofické eseje, OIKOYMENH, Praha 1999, přel. J. Fiala Michael Dummett: Filosofický význam Gödelovy věty, v: Logika 20. století - Mezi filosofií a matematikou, Filosofia, Praha 2006, přel. Radek Honzík Peter Smith: An Introduction to Gödel's Theorems; Cambridge University Press, 2007 Hilbert, David, 1905, Über die Grundlagen der Logik und der Arithmetik, in: Verhandlungen des dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8. bis 13. August 1904, A. Krazer, ed., Leipzig: Teubner, 174-85 Gentzen, G.: Die Widerspruchsfreiheit der reinen Zahlentheorie. Math. Ann. 112 (1936), pp. 493-565. Gentzen, G.: Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften. Neue Folge 4, pp. 19-44 (1938) |