Gödel machine

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf self-improving computer program
gptkbp:abilities modifies its own code
proves the utility of self-modifications
gptkbp:category artificial general intelligence
recursive self-improvement
gptkbp:field gptkb:artificial_intelligence
theoretical computer science
https://www.w3.org/2000/01/rdf-schema#label Gödel machine
gptkbp:inspiredBy Kurt Gödel's incompleteness theorems
gptkbp:notableFeature theoretically optimal problem solver
uses formal proofs to justify self-modifications
gptkbp:notablePublication Schmidhuber, J. (2003). 'Gödel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements.'
gptkbp:proposedBy gptkb:Jürgen_Schmidhuber
gptkbp:purpose optimal self-improvement
gptkbp:relatedConcept gptkb:AIXI
self-referential systems
universal artificial intelligence
gptkbp:yearProposed 2003
gptkbp:bfsParent gptkb:Jürgen_Schmidhuber
gptkbp:bfsLayer 6