Human-Effective Computability

Antonutti Marfori, Marianna (2018): Human-Effective Computability. In: Philosophia Mathematica: pp. 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.

• Item Type: Journal article
• EU Funded Grant Agreement Number: 709265
• EU Projects: Horizon 2020 > Marie Skłodowska Curie Actions > Marie Skłodowska-Curie Individual Fellowships > 709265: SLMK - The Scope and Limits of Mathematical Knowledge
• Form of publication: Postprint
• Faculties: Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Philosophy of Mathematics; Philosophy, Philosophy of Science and Religious Science > Chair of Logic and Philosophy of Language
• Subjects: 100 Philosophy and Psychology > 100 Philosophy; 100 Philosophy and Psychology > 160 Logic
• ISSN: 0031-8019
• Language: English