哥德尔机（）是一种基于假设的自我改进电脑程式 ，以最佳化的方式解决问题。 它使用一种递回的自我改进协议，如果能够证明新代码的策略较佳，就会重写自己的代码。 该机器由于尔根·施密德胡伯发明（在2003年首次提出 ），但是以其数学理论的启发者库尔特·哥德尔的名字来命名。 哥德尔机经常会在处理（meta-learning）（也就是「学会如何学习」（learning to learn））的问题时拿出来讨论。 其应用包括人类决策设计自动化以及在多个相关任务之间进行知识转移，并且有可能设计出更加强健和通用的学习架构