Gödel machines

Software / App

Theoretical self-referential programs inspired by Gödel's incompleteness theorems, capable of recursive self-improvement and potentially solving all solvable problems. They are associated with constant overheads for proof search.

Mentioned in 1 video

Videos Mentioning Gödel machines

Juergen Schmidhuber: Godel Machines, Meta-Learning, and LSTMs | Lex Fridman Podcast #11

Juergen Schmidhuber: Godel Machines, Meta-Learning, and LSTMs | Lex Fridman Podcast #11

Lex Fridman

Theoretical self-referential programs inspired by Gödel's incompleteness theorems, capable of recursive self-improvement and potentially solving all solvable problems. They are associated with constant overheads for proof search.