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

DOI10.1080/01445340.2017.1396520zbMATH Open1428.03034OpenAlexW2770990884WikidataQ58527008 ScholiaQ58527008MaRDI QIDQ5207922FDOQ5207922

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The constructive second number class
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hilbert's programs and beyond
• Title not available (Why is that?)
• Mechanism, mentalism, and metamathematics. An essay on finitism
• Title not available (Why is that?)
• General recursive functions of natural numbers
• Title not available (Why is that?)
• Church's thesis and cognitive science
• Reflections on Church's thesis
• Title not available (Why is that?)
• Recursive functions and metamathematics. Problems of completeness and decidability, Gödel's theorems
• Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
• On some recent criticism of Church's thesis
• Title not available (Why is that?)
• Kalmár and Péter: Undecidability as a Consequence of Incompleteness
• Title not available (Why is that?)
• A missing link: the influence of László Kalmár's empirical view on Lakatos' philosophy of mathematics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A renewal theorem for a sequence of dependent random variables

Cited In (5)

• What is the Church-Turing Thesis?
• Péter on Church's thesis, constructivity and computers
• Title not available (Why is that?)
• Proving Church's thesis
• Title not available (Why is that?)

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)