Using Kreisel’s Way Out to Refute Lucas-Penrose-Putnam Anti-Functionalist Arguments

Autor: Jeff Buechner

Publikováno v: Studia Semiotyczne, Vol 34, Iss 1 (2020)

DOI: http://doi.org/10.26333/sts.xxxiv1.06 Georg Kreisel (1972) suggested various ways out of the Gödel incompleteness theorems. His remarks on ways out were somewhat parenthetical, and suggestive. He did not develop them in subsequent papers. On

Externí odkaz: https://doaj.org/article/a6bed479f14c4f0d8fe969b5d3116175

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Does Gödel's Incompleteness Theorem Prove That Truth Transcends Proof ?

Autor: Joseph Vidal-Rosset

Publikováno v: The Age of Alternative Logics-Assessing Philosophy of Logic and Mathematics Today
Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser The Age of Alternative Logics-Assessing Philosophy of Logic and Mathematics Today, 23, Springer Netherlands, pp.51-73, 2006, 〈10.1007/978-1-4020-5012-7_5〉. 〈http://link.springer.com.gate3.inist.fr/chapter/10.1007/978-1-4020-5012-7_5〉
The Age of Alternative Logics ISBN: 9781402050114
Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser The Age of Alternative Logics-Assessing Philosophy of Logic and Mathematics Today, 23, Springer Netherlands, pp.51-73, 2006, ⟨10.1007/978-1-4020-5012-7_5⟩

International audience; Since their appearance in 1931, Gödel's incompleteness theorems have been the subject of intense philosophical examination. Though the demonstrations of the famous theorems are rather complex, but nevertheless clear, their ph

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2bd2ebcff9ef4a440d7b33525c267bad
https://hal.archives-ouvertes.fr/hal-01242366

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.