-
2020-07-02...2. 冯•诺伊曼的101页草稿几乎与皮茨遇见维纳同时,冯•诺伊曼在1943年9月20日正式来到新墨西哥州的阿拉莫斯参加“曼哈顿计划”,他的原子弹内爆模型需要大量计算。1944年春,哈佛大学的自动程序控制计算器(the Automatic Sequence Controlled Calculator,ASCC,代号Har... 162
-
2020-07-01...哥德尔定理1924年,18岁的哥德尔入读维也纳大学,修读理论物理与基础数学。1926年在汉斯·哈恩的引荐下参加维也纳学派的讨论会,研讨会的主题是罗素的《数理哲学导论》,把哥德尔的兴趣从数论拉向了数理逻辑。罗素在《数学原理》阐述的全部数学都可以用一个形式逻辑系统表示,以及罗素的学生维特根斯坦在《逻辑哲学论》中强调的在语言... 178
-
2020-07-01...逻辑主义布尔把普通代数作为出发点,用代数符号表示逻辑关系。弗里德里希·弗雷格(Friedrich Frege, 1848—1925)反其道而用之,主张从逻辑学推导出全部数学,开创了逻辑主义。1879年,弗雷格出版《概念文字——一种模仿算术语言构造的纯思维的形式语言》[4],明确规定了命题符号中的规范形式,明确了所有的演... 138
-
-
本页Url:
-
2024-04-20-05:48 GMT . 添加到桌面浏览更方便.
-