Počet záznamů: 1
Gödel, Truth and Proof
- 1.
SYSNO ASEP 0308906 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Ostatní články Název Gödel, Truth and Proof Překlad názvu Gödel, pravda a důkaz Tvůrce(i) Peregrin, Jaroslav (FLU-F) RID, ORCID, SAI Zdroj.dok. Journal of Physics: Conference Series. - : Institute of Physics Publishing - ISSN 1742-6588
-, č. 82 (2007), s. 1-10Poč.str. 10 s. Forma vydání www - www Jazyk dok. eng - angličtina Země vyd. CZ - Česká republika Klíč. slova Gödel ; incompleteness of arithmetic ; proof vs. truth Vědní obor RIV AA - Filosofie a náboženství CEP GA401/04/0117 GA ČR - Grantová agentura ČR CEZ AV0Z90090514 - FLU-F (2005-2011) Anotace The usual way of interpreting Gödel's incompleteness result is as showing that there is a gap between truth and provability, i.e. that we can never prove everything that is true. However, this result is supposed to show that there are unprovable truths which we can know to be true. This, so the story goes, shows that we are more than machines that are restricted to acting as proof systems. Hence our minds are 'not mechanical'. In this paper I would like to indicate that this interpretation of Gödel goes far beyond what he really proved. I would like to show that to get from his result to a conclusion of the above kind requires a train of thought which is fuelled by much more than Gödel's result itself, and that a great deal of the excessive fuel should be utilized with an extra care. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2008
Počet záznamů: 1