哥德尔机

✍ dations ◷ 2025-02-24 15:34:28 #哥德尔机

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

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

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

相关

油母质油母质（英语：Kerogen）又音译做干酪根或依外观称为油田沥青，是存在于沉积岩（尤其是页岩）之中由有机物经过复杂的化石化作用所形成的混合有机物物质。它不溶于普通的有机溶剂是因为
天帝释帝释天（梵语：शक्र，Śakra，巴利语：Sakka），又称天帝释、帝释，全名为释提桓因陀罗（梵文：Śakro devānām indraḥ，巴利文：Sakko devānaṃ indo）或释提桓因达罗，简称释提桓因。原为印度
经济部国际贸易局经济部国际贸易局（简称国贸局、贸易局），是中华民国经济部所属机关，是掌理中华民国国际贸易政策之研拟及进出口管理事项的主管机关。根据《经济及能源部贸易商务局组织法》草案拟
南沙河坐标：40°07′17″N 116°16′58″E / 40.1213722°N 116.2828743°E / 40.1213722; 116.2828743南沙河是北京地区的一条河流，为温榆河的支流。源头分南北二支：北支发源于海淀
陈忠 (成化乙未进士)陈忠（1442年－？），字思敬，山东青州府莒州人，民籍，明朝政治人物。早年出身州学生，山东乡试第二十三名。成化十一年（1475年），参加乙未科会试，得贡士第一百十八名。殿试登进士第三甲第一百零一
肯尼斯·费恩伯格肯尼斯·费恩伯格（Kenneth Roy Feinberg，1945年10月23日－）是一名美国律师，擅长调解纠纷，解决争议性赔偿问题。费恩伯格曾担任“9·11受害者赔偿基金”的特别专员。他为此无偿工作
泰尔加奥恩泰尔加奥恩（Telgaon），是印度恰蒂斯加尔邦Surguja县的一个城镇。总人口7145（2001年）。该地2001年总人口7145人，其中男性3806人，女性3339人；0—6岁人口1150人，其中男597人，女553人；识字率
涡量方程涡量方程（英语：vorticity equation）是流体力学中描述流体质点涡量变化的方程。可压缩牛顿流体的涡量方程表达式为：其中.mw-parser-output .serif{font-family:Times,serif}/表示
二进码十进数二进码十进数（英语：Binary-Coded Decimal，简称BCD，中国大陆称BCD码或二-十进制编码）是一种十进制数字编码的形式。在这种编码下，每个十进制数字用一串单独的二进制比特来存储与表
伊恩·布朗 (游泳运动员)伊恩·布朗（英语：Ian Brown，1965年8月14日－），澳大利亚男子游泳运动员。他曾代表澳大利亚参加1990年英联邦运动会游泳比赛，获得二枚金牌和一枚银牌。他也曾参加1988年和1992年夏季奥运会。