Number of the records: 1
Gödel, Truth and Proof
- 1.
SYSNO ASEP 0308906 Document Type J - Journal Article R&D Document Type Journal Article Subsidiary J Ostatní články Title Gödel, Truth and Proof Title Gödel, pravda a důkaz Author(s) Peregrin, Jaroslav (FLU-F) RID, ORCID, SAI Source Title Journal of Physics: Conference Series. - : Institute of Physics Publishing - ISSN 1742-6588
-, č. 82 (2007), s. 1-10Number of pages 10 s. Publication form www - www Language eng - English Country CZ - Czech Republic Keywords Gödel ; incompleteness of arithmetic ; proof vs. truth Subject RIV AA - Philosophy ; Religion R&D Projects GA401/04/0117 GA ČR - Czech Science Foundation (CSF) CEZ AV0Z90090514 - FLU-F (2005-2011) Annotation 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. Workplace Institute of Philosophy Contact Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Year of Publishing 2008
Number of the records: 1