Human-Effective Computability

Antonutti Marfori, Marianna (2018): Human-Effective Computability. In: Philosophia Mathematica: S. 1-27

Abstract

We analyse Kreisel's notion of human-effective computability. Like Kreisel, we relate this notion to a concept of informal provability, but we disagree with Kreisel about the precise way in which this is best done. The resulting two different ways of analysing human-effective computability give rise to two different variants of Church's thesis. These are both investigated by relating them to transfinite progressions of formal theories in the sense of Feferman.

• Dokumententyp: Zeitschriftenartikel
• EU Funded Grant Agreement Number: 709265
• EU-Projekte: Horizon 2020 > Marie Skłodowska Curie Actions > Marie Skłodowska-Curie Individual Fellowships > 709265: SLMK - The Scope and Limits of Mathematical Knowledge
• Publikationsform: Postprint
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Philosophy of Mathematics ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Lehrstuhl für Logik und Sprachphilosophie
• Themengebiete: 100 Philosophie und Psychologie > 100 Philosophie ; 100 Philosophie und Psychologie > 160 Logik
• ISSN: 0031-8019
• Sprache: Englisch