哥德尔机

✍ dations ◷ 2025-06-28 14:12:02 #哥德尔机

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

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

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

相关

书写书写是人类有意识地使用文字来记录资讯、表达意向。纪录资讯的工具和方法数之不尽，一般会用笔在纸上书写，但过去也有人在石版、竹简、龟壳、墙壁等材质上写作。随着科技发展，使
意式面食意式面食（意大利语：Pasta），泛指所有源自意大利的面食。在意大利，一般会用“Pasta”来称呼各种由面粉及水、有时或会加入鸡蛋。狭义的意式面体是由杜林面粉所制，广义则可包括由其他
米歇尔·普拉蒂尼米歇尔·弗朗索瓦·普拉蒂尼（法语：Michel François Platini），1955年6月21日－），生于法国洛林，昵称“足球场上的拿破仑大帝”、已退役的法国足球运动员，世界足球史上最佳法国传奇巨星
卢拉赫卢拉赫王（中世纪盖尔语：Lulach mac Gille Coemgáin；Modern Gaelic: Lughlagh mac Gille Chomghain，英语化简称：Lulach，早于1033年 - 1058年3月17日），被以绰号称作“不幸王”（中世纪
跨性别女性跨性别女性（英语：Transwoman，Trans woman，或Trans-woman)，又译跨性别女人、跨性女、跨女，是出生时指定性别为男性的女性。跨性别女性并不可以与变性人女性或者药娘通用，尽管这两种
功率模组功率模组（power module）可以将各个电力电子学元件（多半是功率半导体元件（英语：power semiconductor device））放在同一封装中。其中的功率半导体（称为裸晶）会用焊接或是烧结的方式固定
阿努希-拉瓦尼·哈姆拉巴德阿努希-拉瓦尼·哈姆拉巴德（波斯语：سجاد انوشیروانی‎，1984年5月21日－）是一名伊朗举重运动员，身高1.9米。2010年，在广州亚运会中以427千克夺得男子105公斤以上级举重
周德兴周德兴（14世纪？－1392年），濠州（今安徽凤阳）人，明初将领，后被明太祖朱元璋杀害。周是朱元璋幼时玩伴，朱元璋呼之为兄。周很早就为朱元璋效力，累积战功，迁左翼大元帅，后升指挥使、湖广行省左
跑跑卡丁车《跑跑卡丁车》（韩语：크레이지레이싱 카트라이더，英语：CrazyRacing KartRider）是韩国NEXON公司出品的一个休闲类赛车竞速游戏，亦是泡泡堂的衍生游戏，《跑跑飞天车》则是由本游戏衍
第三者 (2004年电影)第三者（）是一部2004年美国心理惊悚电影，改编自1996年法国电影《情欲公寓》。由乔什·哈奈特主演，本片曾获得蒙特利尔国际电影节评审团大奖提名。如果有一天，曾经和你山盟海誓的恋