A Machine That Knows Its Own Code
- 27 July 2013
- journal article
- research article
- Published by Springer Science and Business Media LLC in Studia Logica
- Vol. 102 (3), 567-576
- https://doi.org/10.1007/s11225-013-9491-6
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- After GodelLogic Journal of the IGPL, 2006
- Elementary patterns of resemblanceAnnals of Pure and Applied Logic, 2001
- Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesisAnnals of Pure and Applied Logic, 2000
- Ordinal arithmetic and $\Sigma_{1}$ -elementarityArchive for Mathematical Logic, 1999
- The Emperor's New MindPublished by Oxford University Press (OUP) ,1989
- Absolute Versions of Incompleteness TheoremsNoûs, 1985
- Epistemic and Intuitionistic ArithmeticPublished by Elsevier BV ,1985
- God, the Devil, and GödelMonist, 1967
- Minds, Machines and GödelPhilosophy, 1961