Kalmár's Argument Against the Plausibility of Church's Thesis

DOI10.1080/01445340.2017.1396520zbMath1428.03034OpenAlexW2770990884WikidataQ58527008 ScholiaQ58527008MaRDI QIDQ5207922

Máté Szabó

Publication date: 14 January 2020

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2017.1396520

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Turing machines and related notions (03D10)

Related Items (2)

What is the Church-Turing Thesis? ⋮ Péter on Church's thesis, constructivity and computers

Cites Work

• Church's thesis and cognitive science
• Reflections on Church's thesis
• Recursive functions and metamathematics. Problems of completeness and decidability, Gödel's theorems
• Mechanism, mentalism, and metamathematics. An essay on finitism
• On some recent criticism of Church's thesis
• General recursive functions of natural numbers
• Kalmár and Péter: Undecidability as a Consequence of Incompleteness
• A Missing Link: The Influence of László Kalmár's Empirical View on Lakatos' Philosophy of Mathematics
• Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session
• The constructive second number class
• A renewal theorem for a sequence of dependent random variables
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Kalmár's Argument Against the Plausibility of Church's Thesis