其他
高等代数,第四版,第九章P390,T9
数学兴趣大讲堂
王浩(1921年5月20日-1995年5月13日),美籍华裔哲学家、数理逻辑学家。
1921年出生在山东济南,1943年西南联合大学数学系毕业,1945年清华大学哲学系毕业,国内期间曾师从著名逻辑学家金岳霖。1948年哈佛大学逻辑学博士毕业,同年成为哈佛的助理教授(Assistant Professor)。[1]1950年代初,随保罗·伯奈斯(英语:Paul Bernays)在苏黎世学习。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(英语:Gordon McKay)教授纪念讲座”[5]。1967年至1991年,领导洛克斐勒大学的逻辑学小组,在那里他是数理逻辑学教授。
他证明了图灵机都可转为一组王氏砖(Wang tile)。
1968年,英国埃德加·科德针对“细胞自动机”提出自己的“科德细胞自动机(英语:Codd's cellular automaton)”(以王浩的“Wang B-machine(英语:Wang B-machine)”为基础)论点,以探讨“人工生命”议题。
精选推荐
01 | |
02 | 数学各学科:全套高清图的获取方式 |
03 |
让我知道你在看