Kalmár's Argument Against the Plausibility of Church's Thesis. Issue 2 (3rd April 2018)

• Record Type: Journal Article
• Authors: Szabó, Máté
• Is Part Of: History and philosophy of logic. Volume 39:Issue 2(2018)
• Page Start: 140
• Page End: 157
• Publication Date: 2018-04-03
• Subjects: Logic -- Periodicals; 160.905
• DOI: 10.1080/01445340.2017.1396520
• Languages: English
• ISSNs: 0144-5340

Abstract

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.