Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence
- 17 January 2021
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Theory of Knowing Machines: Revisiting Gödel and the Mechanistic ThesisPublished by Springer Science and Business Media LLC ,2016
- Artificial General Intelligence: Concept, State of the Art, and Future ProspectsJournal of Artificial General Intelligence, 2014
- Skepticism in InterpretationPublished by Walter de Gruyter GmbH ,2014
- Fast-Collapsing TheoriesStudia Logica, 2013
- A Machine That Knows Its Own CodeStudia Logica, 2013
- 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
- Two Notes on NotationThe American Mathematical Monthly, 1992
- Absolute Versions of Incompleteness TheoremsNoûs, 1985
- Epistemic and Intuitionistic ArithmeticPublished by Elsevier BV ,1985