Szabó, Máté (2017) Kalmár's Argument Against the Plausibility of Church's Thesis. [Preprint]

Preview

Text szabo_-_kalmars_argument_against_churchs_thesis.pdf Download (873kB) | Preview

Abstract

In his famous paper, An Unsolvable Problem of Elementary Number Theory, Alonzo Church (1936) identified the intuitive notion of effective calculability with the mathematically precise notion of recursiveness. This proposal, known as Church’s Thesis, has been widely accepted. Only a few papers have been written against it. One of these is László Kalmár’s An Argument Against the Plausibility of Church’s Thesis from 1959. The aim of this paper is to present Kalmár’s argument and to fill in missing details based on his general philosophical thoughts on mathematics.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Szabó, Máté 0000-0001-7721-1103
Keywords:	Church's Thesis, Church Turing Thesis, History of Logic, László Kalmár
Subjects:	Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Computation/Information General Issues > History of Philosophy of Science
Depositing User:	Mate Szabo
Date Deposited:	21 May 2022 20:00
Last Modified:	21 May 2022 20:00
Item ID:	20636
Official URL:	https://www.tandfonline.com/doi/full/10.1080/01445...
DOI or Unique Handle:	https://doi.org/10.1080/01445340.2017.1396520
Subjects:	Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Computation/Information General Issues > History of Philosophy of Science
Date:	2017
URI:	https://philsci-archive.pitt.edu/id/eprint/20636

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Altmetric.com

Actions (login required)

View Item