Logo Logo
Help
Contact
Switch Language to German
Antonutti Marfori, Marianna ORCID: 0000-0002-2339-9558 (2018): Human-Effective Computability. In: Philosophia Mathematica: pp. 1-27
[img]
Restricted to Repository staff only until 24. June 2020
241kB

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.