Logo Logo
Switch Language to English
Antonutti Marfori, Marianna ORCID: 0000-0002-2339-9558 (2018): Human-Effective Computability. In: Philosophia Mathematica: S. 1-27
Bis 24. Juni 2020 nur für Administratoren zugänglich


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.