王浩 (数学家)
王浩（1921年5月20日—1995年5月13日），美籍华裔哲学家、数理逻辑学家。
生平[编辑]
1921年出生在中华民国的山东济南，1943年西南联合大学数学系毕业，1945年清华大学哲学系毕业，国内期间曾师从著名逻辑学家金岳霖。1948年哈佛大学逻辑学博士毕业，同年成为哈佛的助理教授(Assistant Professor)。[1]1950年代初，随保罗·伯奈斯在苏黎世学习。1956年获荐为牛津大学Reader in the Philosophy of Mathematics。1959年，王浩在“IBM 704计算机”上用9分钟计算时间，证明了罗素、德怀特海所著《数学原理》中数百余条数理逻辑定理；[2]因此在1983年于国际人工智能联合会议荣获首届证明自动化奖（the first Milestone Prize for Automated Theorem-Proving）。[3][4]1961年任命主持哈佛“数理逻辑和应用数学的Gordon McKay教授纪念讲座”[5]。1967年至1991年，领导洛克斐勒大学的逻辑学小组，在那里他是数理逻辑学教授。
1968年，英国埃德加·科德针对“细胞自动机”提出自己的“科德细胞自动机”（以王浩的“Wang B-machine”为基础）论点，以探讨“人工生命”议题。
著作[编辑]
- From Mathematics to Philosophy , Hao Wang, Routledge Kegan & Paul,June 1974 ISBN 978-0-7100-7689-2
- A Logical Journey: From Gödel to Philosophy, Hao Wang, The MIT Press, 1997 ISBN 978-0-262-23189-3。
参考文献[编辑]
- ^ 《俞大维传》. 作者：李元平; 出版社：台湾日报社; 出版日：1992年01月05日，392 页; （繁体中文），01 （页面存档备份，存于互联网档案馆），02 （页面存档备份，存于互联网档案馆），增订版 互联网档案馆的存档，存档日期2014-02-21.
- ^ Wang, Hao. Toward Mechanical Mathematics 4. 1960: 2–22. doi:10.1147/rd.41.0002.
|journal=被忽略 (帮助);|number=被忽略 (帮助) - ^ Loveland, Donald W.; Bledsoe, W. W. Automated theorem proving: after 25 years. Providence, Rhode Island: American Mathematical Society. 1984. ISBN 0-8218-5027-X., page 47
- ^ 吴文俊《数学机械化》iii页、40页，科学出版社，ISBN 7-03-010765，实例“数学机械化自动推理平台”
- ^ 存档副本. [2014-04-11]. （原始内容存档于2014-04-13）.
| ||||||||||||||||||||||
