Logo Logo
Help
Contact
Switch Language to German

Antonutti Marfori, Marianna ORCID logoORCID: https://orcid.org/0000-0002-2339-9558 (2018): Human-Effective Computability. In: Philosophia Mathematica: pp. 1-27 [PDF, 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.

Actions (login required)

View Item View Item