Kalmár's argument against the plausibility of Church's thesis

DOI10.1080/01445340.2017.1396520MaRDI QIDQ5207922zbMATHOpenAlexWikidataFDO

Authors 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)

Recommendations

• Church's thesis and its epistemological status
• How Not To Use the Church-Turing Thesis Against Platonism
• Step by Recursive Step: Church's Analysis of Effective Calculability
• Proving Church's thesis
• scientific article; zbMATH DE number 3930985

Cites work

• scientific article; zbMATH DE number 3139757 (Why is no real title available?)
• scientific article; zbMATH DE number 3144511 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 3580483 (Why is no real title available?)
• scientific article; zbMATH DE number 928934 (Why is no real title available?)
• scientific article; zbMATH DE number 3201653 (Why is no real title available?)
• scientific article; zbMATH DE number 3260773 (Why is no real title available?)
• scientific article; zbMATH DE number 3304990 (Why is no real title available?)
• scientific article; zbMATH DE number 3317730 (Why is no real title available?)
• scientific article; zbMATH DE number 3039080 (Why is no real title available?)
• scientific article; zbMATH DE number 3048505 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3105099 (Why is no real title available?)
• A missing link: the influence of László Kalmár's empirical view on Lakatos' philosophy of mathematics
• A renewal theorem for a sequence of dependent random variables
• Church's thesis and cognitive science
• Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
• General recursive functions of natural numbers
• Hilbert's programs and beyond
• Kalmár and Péter: Undecidability as a Consequence of Incompleteness
• Mechanism, mentalism, and metamathematics. An essay on finitism
• On some recent criticism of Church's thesis
• Recursive functions and metamathematics. Problems of completeness and decidability, Gödel's theorems
• Reflections on Church's thesis
• The constructive second number class

Cited in

(5)

• What is the Church-Turing Thesis?
• Péter on Church's thesis, constructivity and computers
• Proving Church's thesis
• scientific article; zbMATH DE number 4004150 (Why is no real title available?)
• scientific article; zbMATH DE number 3930985 (Why is no real title available?)

This page was built for publication: Kalmár's argument against the plausibility of Church's thesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5207922)