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

来自cslt Wiki
跳转至: 导航搜索
第11行: 第11行:
 
*Stephen Wolfram(赖信涛)乔治·布尔二百周年:数理逻辑奠基者其人其事 [https://kknews.cc/news/5o6j6l.html]
 
*Stephen Wolfram(赖信涛)乔治·布尔二百周年:数理逻辑奠基者其人其事 [https://kknews.cc/news/5o6j6l.html]
 
*德国伟大的逻辑学家:弗里德里希·路德维希·戈特洛布·弗雷格 [https://www.aminer.cn/research_report/5f713fa1e8a87f775ad2145c]
 
*德国伟大的逻辑学家:弗里德里希·路德维希·戈特洛布·弗雷格 [https://www.aminer.cn/research_report/5f713fa1e8a87f775ad2145c]
 
+
*百度百科:阿尔弗雷德·诺思·怀特黑德[https://baike.baidu.com/item/%E9%98%BF%E5%B0%94%E5%BC%97%E9%9B%B7%E5%BE%B7%C2%B7%E8%AF%BA%E6%80%9D%C2%B7%E6%80%80%E7%89%B9%E9%BB%91%E5%BE%B7/1524703]
 +
*百度百科:伯特兰·阿瑟·威廉·罗素[https://baike.baidu.com/item/%E4%BC%AF%E7%89%B9%E5%85%B0%C2%B7%E9%98%BF%E7%91%9F%C2%B7%E5%A8%81%E5%BB%89%C2%B7%E7%BD%97%E7%B4%A0/2131980]
 +
*百度百科:大卫·希尔伯特[https://baike.baidu.com/item/%E6%88%B4%E7%BB%B4%C2%B7%E5%B8%8C%E5%B0%94%E4%BC%AF%E7%89%B9/7242382?fromtitle=%E5%A4%A7%E5%8D%AB%C2%B7%E5%B8%8C%E5%B0%94%E4%BC%AF%E7%89%B9&fromid=4723828]
 +
*维基百科:大卫·希尔伯特[http://aigraph.cslt.org/courses/04/大卫-希尔伯特.pdf][http://aigraph.cslt.org/courses/04/David_Hilbert.pdf]
 +
*百度百科:库尔特·哥德尔[https://baike.baidu.com/item/%E5%93%A5%E5%BE%B7%E5%B0%94/152476]
 +
*维基百科:库尔特·哥德尔[http://aigraph.cslt.org/courses/04/kurt-godel.pdf][http://aigraph.cslt.org/courses/04/kurt-godel-en.pdf]
  
 
==高级读者==
 
==高级读者==

2022年7月28日 (四) 06:11的版本

教学资料


扩展阅读

  • 百度百科:逻辑 [2]
  • 维基百科:逻辑 [3]
  • Stephen Wolfram(赖信涛)乔治·布尔二百周年:数理逻辑奠基者其人其事 [4]
  • 德国伟大的逻辑学家:弗里德里希·路德维希·戈特洛布·弗雷格 [5]
  • 百度百科:阿尔弗雷德·诺思·怀特黑德[6]
  • 百度百科:伯特兰·阿瑟·威廉·罗素[7]
  • 百度百科:大卫·希尔伯特[8]
  • 维基百科:大卫·希尔伯特[9][10]
  • 百度百科:库尔特·哥德尔[11]
  • 维基百科:库尔特·哥德尔[12][13]

高级读者

  • Wikipedia:Logic [14]
  • Wikipedia:Mathematical Logic [15]
  • George Bool, The laws of thought [16]
  • Bertrand Russell, The principles of mathematics [17]
  • 黎景辉, 形式系统和数学 [18]
  • 计算机起源的数学思想 [19]
  • 陈嘉映:谈谈弗雷格 [20]