ORCID: 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.
Item Type: | Journal article |
---|---|
EU Funded Grant Agreement Number: | 709265 |
EU Projects: | Horizon 2020 > Marie Skłodowska Curie Actions > Marie Skłodowska-Curie Individual Fellowships > 709265: SLMK - The Scope and Limits of Mathematical Knowledge |
Form of publication: | Postprint |
Faculties: | Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Philosophy of Mathematics Philosophy, Philosophy of Science and Religious Science > Chair of Logic and Philosophy of Language |
Subjects: | 100 Philosophy and Psychology > 100 Philosophy 100 Philosophy and Psychology > 160 Logic |
URN: | urn:nbn:de:bvb:19-epub-60466-7 |
ISSN: | 0031-8019 |
Language: | English |
Item ID: | 60466 |
Date Deposited: | 04. Feb 2019, 07:03 |
Last Modified: | 04. Nov 2020, 13:38 |