Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis
Open Access
- 6 October 2016
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Computer and Computing Technologies in Agriculture VI
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- Flagg Realizability in ArithmeticThe Journal of Symbolic Logic, 1986
- Absolute Versions of Incompleteness TheoremsNoûs, 1985
- What is Justified Belief?Published by Springer Science and Business Media LLC ,1979
- On Alleged Refutations of Mechanism Using Godel's Incompleteness ResultsThe Journal of Philosophy, 1972
- Satan StultifiedMonist, 1968
- God, the Devil, and GödelMonist, 1967
- Minds, Machines and GödelPhilosophy, 1961
- Solution of a problem of Leon HenkinThe Journal of Symbolic Logic, 1955
- I.—COMPUTING MACHINERY AND INTELLIGENCEMind, 1950
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931