On some recent criticism of Church's thesis

DOI10.1305/NDJFL/1093957577MaRDI QIDQ2394059zbMATH OpenOpenAlexFDO

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)

• Hypercomputation: fantasy or reality? A position paper
• Péter on Church's thesis, constructivity and computers
• What is the Church-Turing Thesis?
• 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

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)