Church's thesis and cognitive science

DOI10.1305/NDJFL/1093637649zbMath0646.03002OpenAlexW2044802417MaRDI QIDQ1103599

R. J. Nelson

Publication date: 1987

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

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

zbMATH Keywords

Church's thesisartificial intelligencerecursive proceduresrecursivenesssymbol recognitioneffective calculabilitymodelling mental processes

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Artificial intelligence (68T99) Computability and recursion theory (03D99) Theory of computing (68Q99)

Related Items (3)

Computationalism, the Church-Turing thesis, and the Church-Turing fallacy ⋮ Kalmár's Argument Against the Plausibility of Church's Thesis ⋮ Nonlinear phenomena in spaces of algorithms

This page was built for publication: Church's thesis and cognitive science