哥德尔机

哥德尔机（英语：Gödel machine）是一种假设的电脑程式 ，可自我改进，以最佳化的方式解决问题。 ^{[需要解释]} 它使用一种递回的自我改进协议，如果能够证明新代码的策略较佳，就会重写自己的代码。^{[1] [2]} 该机器由于尔根·施密德胡伯发明（在2003年首次提出^[3] ），但是以其数学理论的启发者库尔特·哥德尔的名字来命名。 ^[4]

哥德尔机经常会在处理元学习（英语：Meta learning (computer science)）（meta-learning）（也就是“学会如何学习”（learning to learn））的问题时拿出来讨论。 其应用包括人类决策设计自动化以及在多个相关任务之间进行知识转移，并且有可能设计出更加强健和通用的学习架构。^[5] 尽管在哥德尔机在理论上是可能的，但至今尚未有完整的实作。^[6]

哥德尔机经常会与马库斯·哈特（英语：Marcus Hutter）的AIXItl（英语：AIXI）相比较，AIXItl是另一种对通用人工智慧的正式规范。施密德胡伯指出，哥德尔机器可以先实现AIXItl作为其初始副程式，并在发现别种更好的搜索演算法之后，再进行自我修改^[7]

参见

• 哥德尔不完备定理