Church's thesis and cognitive science
From MaRDI portal
Publication:1103599
DOI10.1305/ndjfl/1093637649zbMath0646.03002MaRDI QIDQ1103599
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
Church's thesis; artificial intelligence; recursive procedures; recursiveness; symbol recognition; effective calculability; modelling mental processes
03A05: Philosophical and critical aspects of logic and foundations
68T99: Artificial intelligence
03D99: Computability and recursion theory
68Q99: Theory of computing
Related Items
Nonlinear phenomena in spaces of algorithms, Kalmár's Argument Against the Plausibility of Church's Thesis, Computationalism, the Church-Turing thesis, and the Church-Turing fallacy