王浩 (数学家)

✍ dations ◷ 2025-07-26 10:34:10 #1921年出生,1995年逝世,山东科学家,中国逻辑学家,华人数学家,国立清华大学校友,哈佛大学校友,美国数学家,国立西南联合大学校友,济南人,王姓

王浩（1921年5月20日－1995年5月13日），美籍华裔哲学家、数理逻辑学家。

1921年出生在山东济南，1943年西南联合大学数学系毕业，1945年清华大学哲学系毕业，国内期间曾师从著名逻辑学家金岳霖。1948年哈佛大学逻辑学博士毕业，同年成为哈佛的助理教授(Assistant Professor)。1950年代初，随保罗·伯奈斯（英语：Paul Bernays）在苏黎世学习。1956年获荐为牛津大学Reader in the Philosophy of Mathematics。1959年，王浩在“IBM 704计算机”上用9分钟计算时间，证明了罗素、德怀特海所著《数学原理》中数百余条数理逻辑定理；因此在1983年于国际人工智能联合会议荣获首届证明自动化奖（the first Milestone Prize for Automated Theorem-Proving）。1961年任命主持哈佛“数理逻辑和应用数学的Gordon McKay（英语：Gordon McKay）教授纪念讲座”。1967年至1991年，领导洛克斐勒大学的逻辑学小组，在那里他是数理逻辑学教授。

他证明了图灵机都可转为一组王氏砖（Wang tile）。

1968年，英国埃德加·科德针对“细胞自动机”提出自己的“科德细胞自动机（英语：Codd's cellular automaton）”（以王浩的“Wang B-machine（英语：Wang B-machine）”为基础）论点，以探讨“人工生命”议题。

相关

格兰德河/北布拉沃河格兰德河（英语：Rio Grande）是位于北美南部的河流，在墨西哥被称为布拉沃河（西班牙语：Río Bravo），更正式的称呼为北布拉沃河（西班牙语：Río Bravo del Norte）。全长3034公里，是美国第五长
菌媒介异营菌异养（英语：Myco-heterotrophy）是植物与真菌的一种共生关系，此关系中植物不行光合作用，而是与真菌形成菌根后，透过寄生真菌取得全部或部分的有机养分。菌异养被认为是一种欺诈行
极超新星极超新星（英语：superluminous supernova 或 hypernova。也称为骇新星），是超新星的一种，是年老的极超巨星在临终前的爆发。这种超新星的威力比起一般的超新星要大得多，剩下的核心会
电子组态电子排布，或称电子排序、电子构型，指电子在原子、分子或其他物理结构中的每一层电子层上的排序及排列形态。正如其他基本粒子，电子遵从量子物理学，而不是一般的经典物理学；电子也
望花区望花区是辽宁省抚顺市下辖的一个市辖区。位于抚顺市西部。下辖10个街道、1个镇：(截至2015年) 初等中学：第八中学第十八中学第二十七中学第四十中学第四十二中学雷锋中学
奥里萨共产党奥里萨共产党（英语：Odisha Communist Party）是印度奥里萨邦的一个共产主义政党。该党成立于1990年代初，分裂自印度共产党（马克思主义）。该党的领袖是Ajeya Rout。该党是印度共产主
伦古乡坐标：58°9′N 26°15′E / 58.150°N 26.250°E / 58.150; 26.250伦古乡（爱沙尼亚语：Rõngu vald），是爱沙尼亚的一个乡，位于该国东南部，由塔尔图县负责管辖，首府设于伦古，面积164平
环境容量环境容量是环境自净能力的指标，指得是自然环境可以通过大气、水流的扩散、氧化以及微生物的分解作用，将污染物化为无害物的能力。环境有多大的容量，即是可以容纳多少污染物而又
非戏院首映非戏院首映是指在家庭影片格式上立即向公众发布的电影，而不是戏院发布或电视广播。直接影片发布也为独立电影制作人和小公司带来了盈利。另外非戏院首映（拥有高调的明星）在全
羅德里戈·德·保羅羅德里戈·德·保羅（西班牙语：Rodrigo De Paul；1994年5月24日－）是一位阿根廷足球运动员，在场上的位置是边锋、中锋和前腰。他现在效力于意甲球队乌迪内斯。