哥德尔机

✍ dations ◷ 2025-11-03 02:46:14 #哥德尔机

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

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

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

相关

宿主宿主（英语：Host），也称为寄主，是指为寄生物包括寄生虫、病毒等提供生存环境的生物。最终宿主（primary host或definitive host）是指寄生物的成虫赖以寄生的物种。这类宿主通常为寄生
苏摩酒苏摩（梵语：सोम）是早期印度婆罗门教仪式中饮用的一种饮料，得自于某种至今未知的植物（或真菌）的汁液。在伊朗的拜火教中有一种完全对应的饮料，称为“豪麻”。这两种饮料的来源是相
洛根洛根县（Logan County, Oklahoma）是美国奥克拉荷马州中部的一个县。面积1,940平方公里。根据美国2000年人口普查，共有人口33,924人。县治加斯里 (Guthrie)。成立于1890年。县名
婺剧婺剧，为浙江省的戏曲剧种之一，流行于金华及周边地区。其名字来源说法存疑，最流行的一种是其得名于金华的古称婺州。它是一个多声腔剧种，融合了高腔、昆腔、乱弹、徽调、滩簧和天
基督教哲学基督教哲学是包括所有代表二千年来试图用哲学的知识中的理性思考来阐释基督教的教导的理性思考的传统。在宗教及哲学的融合上，过往的努力及尝试的遭遇到不少困难。这是因为经
Macross Plus《Macross Plus》是超时空要塞系列于1990年代中期发行的OVA，由TRIANGLE STAFF制作。描述初代超时空要塞故事后30年，统合军于外星殖民地开发新式可变型战斗机的始末。本片共分
祁充格祁充格（？－1651年），乌苏氏，满洲镶白旗人。世居瓦尔喀，从吉思哈等归大清。习文史，努尔哈赤时号称“四贝勒”，令掌书记。天聪五年，初设六部，授礼部启心郎。顺治二年，授弘文院大学士，充《明史
上杭县坐标：25°03′42″N 116°25′17″E / 25.06153°N 116.421318°E / 25.06153; 116.421318上杭县位于中国福建省西南部，是龙岩市下辖的一个县，也是明清时期汀州府所辖的客家八
五军都督府五军都督府建立于明朝洪武十三年（1380年），用于管理卫所。五军都督府的前身是大都督府。吴元年（1367），罢大都督，以左右都督为长官。洪武十三年（1380年）相当于明太祖朱元璋废除丞相制的
鲁当柱鲁当柱（1960年11月－），中华人民共和国政治人物，内蒙古准格尔旗人，1984年6月加入中国共产党，1985年7月参加工作，2019年2月份落马，落马前担任内蒙古能源建设投资(集团)有限公司董事长，为内蒙古建筑业和能源业的大佬级人物。