“第四章 人工智能起源”版本间的差异

2023年8月8日 (二) 07:17的最后版本

教学资料

• 教学参考
• 课件
• 小清爱提问：如何描述人的思维? [1]

扩展阅读

• 百度百科：逻辑 [2]
• 维基百科：逻辑 [3][4]
• 维基百科：数理逻辑[5][6]
• 百度百科：三段论[7]
• 百度百科：亚里士多德[8]
• Stephen Wolfram（赖信涛）乔治·布尔二百周年：数理逻辑奠基者其人其事 [9]
• 百度百科：弗里德里希·路德维希·戈特洛布·弗雷格[10]
• 百度百科：阿尔弗雷德·诺思·怀特黑德[11]
• 百度百科：伯特兰·阿瑟·威廉·罗素[12]
• 百度百科：大卫·希尔伯特[13]
• 维基百科：大卫·希尔伯特[14][15]
• 百度百科：库尔特·哥德尔[16]
• 维基百科：库尔特·哥德尔[17][18]
• 什么是图灵机 [19][20]

视频展示

• 天才简史：亚里士多德[21]
• George Bool [22][23][24][25]
• ENIAC计算机[26][27][28]

高级读者

• George Bool, The laws of thought[*] [29]
• Bertrand Russell, The principles of mathematics[*] [30]
• 黎景辉, 形式系统和数学 [31]
• 计算机起源的数学思想 [32]
• 陈嘉映：谈谈弗雷格 [33]