Human-Effective Computability. Issue 1 (24th June 2018)

• Record Type: Journal Article
• Authors: Antonutti Marfori, Marianna; Horsten, Leon
• Is Part Of: Philosophia Mathematica. Volume 27:Issue 1(2019)
• Page Start: 61
• Page End: 87
• Publication Date: 2018-06-24
• Subjects: Mathematics -- Philosophy -- Periodicals; Wiskunde; Filosofische aspecten; Mathematics -- Philosophy; Periodicals; 510.105
• DOI: 10.1093/philmat/nky011
• Languages: English
• ISSNs: 0031-8019

Abstract

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.