第四章 人工智能起源

来自cslt Wiki
跳转至: 导航搜索

教学资料


扩展阅读

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

视频展示


高级读者

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