Human-effective computability

Marianna Antonutti Marfori, Leon F M Horsten

Research output: Contribution to journalArticle (Academic Journal)peer-review

67 Downloads (Pure)


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.
Original languageEnglish
Article numbernky011
Pages (from-to)61-87
Number of pages27
JournalPhilosophia Mathematica
Issue number1
Early online date24 Jun 2018
Publication statusPublished - 15 Feb 2019

Fingerprint Dive into the research topics of 'Human-effective computability'. Together they form a unique fingerprint.

Cite this