Human-effective computability

Marianna Antonutti Marfori; Leon F M Horsten

doi:10.1093/philmat/nky011

Human-effective computability

Marianna Antonutti Marfori
, Leon F M Horsten

Department of Philosophy

Research output: Contribution to journal › Article (Academic Journal) › peer-review

4 Citations (Scopus)

151 Downloads (Pure)

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.

Original language	English
Article number	nky011
Pages (from-to)	61-87
Number of pages	27
Journal	Philosophia Mathematica
Volume	27
Issue number	1
Early online date	24 Jun 2018
DOIs	https://doi.org/10.1093/philmat/nky011
Publication status	Published - 15 Feb 2019

Access to Document

10.1093/philmat/nky011

Full-text PDF (accepted author manuscript)
This is the accepted author manuscript (AAM). The final published version (version of record) is available online via Oxford Academic at https://doi.org/10.1093/philmat/nky011 . Please refer to any applicable terms of use of the publisher.
Accepted author manuscript, 231 KB

Handle.net

Persistent link

Cite this

@article{3d4c2ebcc84145278f0a47d46587afc5,

title = "Human-effective computability",

abstract = "We analyse Kreisel{\textquoteright}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{\textquoteright}s thesis. These are both investigated by relating them to transfinite progressions of formal theories in the sense of Feferman.",

author = "\{Antonutti Marfori\}, Marianna and Horsten, \{Leon F M\}",

year = "2019",

month = feb,

day = "15",

doi = "10.1093/philmat/nky011",

language = "English",

volume = "27",

pages = "61--87",

journal = "Philosophia Mathematica",

issn = "0031-8019",

publisher = "Oxford University Press",

number = "1",

}

TY - JOUR

T1 - Human-effective computability

AU - Antonutti Marfori, Marianna

AU - Horsten, Leon F M

PY - 2019/2/15

Y1 - 2019/2/15

N2 - 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.

AB - 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.

U2 - 10.1093/philmat/nky011

DO - 10.1093/philmat/nky011

M3 - Article (Academic Journal)

SN - 0031-8019

VL - 27

SP - 61

EP - 87

JO - Philosophia Mathematica

JF - Philosophia Mathematica

IS - 1

M1 - nky011

ER -

Human-effective computability

Abstract

Access to Document

Handle.net

Fingerprint

Cite this