On some recent criticism of Church's thesis

DOI10.1305/NDJFL/1093957577zbMath0126.02001OpenAlexW2080578908MaRDI QIDQ2394059

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

Related Items (7)

What is the Church-Turing Thesis? ⋮ Inconsistency and Incompleteness, Revisited ⋮ Remarks on the development of computability ⋮ HYPERCOMPUTATION: FANTASY OR REALITY? A POSITION PAPER ⋮ Kalmár's Argument Against the Plausibility of Church's Thesis ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session ⋮ Péter on Church's thesis, constructivity and computers

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