Kripke's paradox and the Church-Turing thesis
From MaRDI portal
Publication:2475301
DOI10.1007/S11229-006-9120-2zbMath1140.03302OpenAlexW2156685722MaRDI QIDQ2475301
Publication date: 11 March 2008
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-006-9120-2
natural languageKripkeChurch-Turing thesiscomputational theory of mindextended cognitionrule-following paradox
Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) General topics in artificial intelligence (68T01)
This page was built for publication: Kripke's paradox and the Church-Turing thesis