Kalmár's Argument Against the Plausibility of Church's Thesis
From MaRDI portal
Publication:5207922
DOI10.1080/01445340.2017.1396520zbMath1428.03034OpenAlexW2770990884WikidataQ58527008 ScholiaQ58527008MaRDI QIDQ5207922
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
Philosophical and critical aspects of logic and foundations (03A05) Turing machines and related notions (03D10)
Related Items (2)
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