人工智能研究简史

原文传递

导出

摘要 1931年奥地利数学家库尔特·哥德尔（Kurt Godel）证明，在一套足够有效的一致形式系统中，总存在不能通过系统的公理及其导出的定理所证明或证伪的命题，这就是著名的哥德尔不完备性定理，为了证明这一点，

出处《环球科学》 2016年第7期46-47,共2页

关键词人工智能不完备性定理简史形式系统 1931年哥德尔数学家奥地利

1达维德.卡斯泰尔韦基,丁家琦.不可解的物理学难题,源于数学核心的悖论[J].今日科苑,2016,0(1):64-65.
2成伟君.歌德尔不完备性定理的初步探究[J].佳木斯教育学院学报,2010(4):25-25.
3庞玮.量子纠缠研究简史[J].环球科学,2011(7):26-27.
4谭蕾.智慧巨人——哥德尔[J].数学通报,2005,44(8):46-47.
5David H. Bailey Jonathan M. Borwein 叶其孝(译) 吴庆宝(校).数学实验：例子、方法及其意义[J].数学译林,2007,26(1):6-14.
6曾志旺.探究式教学中的假说与证伪实验[J].物理通报,2004,25(10):16-19.
7马未已.反例的证伪实质及其构造方法初探[J].曲阜师范大学学报（自然科学版）,1991,17(4):75-79.
8JohnW.Dawsor,郭凯声,冉隆华.哥德尔与逻辑的极限[J].科学,1999(9):43-46.
9黄金书,宋太平.从芝诺悖论和哥德尔不完备性定理看现代物理学的逻辑基础[J].南阳师范学院学报,2008,7(12):36-40.
10虞骏.宇宙暴胀研究简史[J].环球科学,2011(5):24-25.

环球科学

2016年第7期

浏览历史

内容加载中请稍等...