On some recent criticism of Church's thesis

DOI10.1305/NDJFL/1093957577zbMATH Open0126.02001OpenAlexW2080578908MaRDI QIDQ2394059FDOQ2394059

Authors: Elliott Mendelson 

Publication date: 1963

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093957577

zbMATH Keywords

mathematical logic

Cited In (7)

• What is the Church-Turing Thesis?
• Péter on Church's thesis, constructivity and computers
• Kalmár's argument against the plausibility of Church's thesis
• Remarks on the development of computability
• Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
• Inconsistency and Incompleteness, Revisited
• Hypercomputation: fantasy or reality? A position paper

This page was built for publication: On some recent criticism of Church's thesis

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