-
2020-07-01... [編按：原發於 中國計算機學會通訊，作者：黃鉄軍. 2016-12-15.]
关键词 ：冯·诺伊曼架构 数理逻辑 大脑神经系统 我的计算机简史 众所周知，现代计算机产生的数学基础是数理逻辑，物理基础是开关电路，计算机实际上是自动执行计算和逻辑操作的开关电路系统。 1936 年... 205 -
2020-07-01...哥德尔定理1924年，18岁的哥德尔入读维也纳大学，修读理论物理与基础数学。1926年在汉斯·哈恩的引荐下参加维也纳学派的讨论会，研讨会的主题是罗素的《数理哲学导论》，把哥德尔的兴趣从数论拉向了数理逻辑。罗素在《数学原理》阐述的全部数学都可以用一个形式逻辑系统表示，以及罗素的学生维特根斯坦在《逻辑哲学论》中强调的在语言... 213
-
2020-07-01...逻辑主义布尔把普通代数作为出发点，用代数符号表示逻辑关系。弗里德里希·弗雷格(Friedrich Frege, 1848—1925)反其道而用之，主张从逻辑学推导出全部数学，开创了逻辑主义。1879年，弗雷格出版《概念文字——一种模仿算术语言构造的纯思维的形式语言》[4]，明确规定了命题符号中的规范形式，明确了所有的演... 196
-
2019-10-10...1910年，英国哲学家伯特兰·罗素（Bertrand Russell ）和其老师怀特海（Alfred North Whitehead）合著的《数学原理》一书问世，这本书是如此的深奥，尤其对中国人而言，因为直到100多年后的今天，仍然没有完整而权威的中译本(能看懂的人确实很少)。不过想想现在连一般的科普作品都翻译得如此垃... 219
-
-
本页Url:
-
2024-12-02-19:01 GMT . 添加到桌面浏览更方便.
-
