王浩 (数学家)

✍ dations ◷ 2025-08-23 06:36:56 #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）”为基础）论点，以探讨“人工生命”议题。

相关

致病原病原体（希腊语：πάθος pathos “痛苦”、“热情” 与 -γενής -genēs “生产者”），在生物学中，从最古老和最广泛的意义上说，就是任何可以产生疾病的事物。病原体也可以称
公共资产监督规划办公室澳门特别行政区公共资产监督规划办公室（葡萄牙语：Gabinete para o Planeamento da Supervisão dos Activos Públicos da Região Administrativa Especial de Macau，葡文缩写
乐平古戏台乐平古戏台是指中国江西省乐平市境内的古代戏台及现代按传统方式重建的戏台，现存412座，遍布全市各地。乐平古戏台按戏台属性分，有祠堂台、庙宇台、会馆台、宅院台和万年台；按功
缅甸佛教”或“ᩅᨯ᩠ᨵ ”、新傣仂文“ᦞᧆ”，对应傣耶语称“ဝတ်ႉ”（wâ̰t）。华人地区还有汉族寺庙。1950年，缅甸设立宗教事务部（英语：Ministry of Religious Affairs and Culture (
维基维基一词出自“Wikipedia”的中文译名“维基百科”，是维基媒体基金会（英语：Wikimedia Foundation, Inc.）的一个商标，用于所有由维基媒体基金会营运、使用Wiki引擎发展的中文站点
贻贝科见内文贻贝科（学名：Mytilidae），也叫蜐、海虹、青口、红蛤，贻贝科，港澳台称为壳菜蛤科，干制品则被称作淡菜，是一种双壳类软体动物，壳黑褐色，肉米黄色至橘红色不等，生活在海滨岩石上。本
五叠字五叠字是指汉字中一类由五个完全相同的部分所组成的叠字。现将已知的此类字列于下表：
川鄂小檗川鄂小檗（学名：）为小檗科小檗属的植物，是中国的特有植物。分布在中国大陆的甘肃、河南、贵州、湖北、四川、陕西、湖南等地，生长于海拔1,000米至2,500米的地区，常生于林缘、林下、
沃邦庄园沃邦庄园（Villa Vauban）是一座位于卢森堡卢森堡市的美术馆，现在得到了翻新和扩建。沃邦庄园展示18和19世纪的绘画美术品，展品来自私人收藏。坐标：49°36′47″N 06°07′21″E /
海山煤矿海山煤矿位于台湾台北县土城乡（今新北市土城区），是台湾仅次于瑞三煤矿的第二大矿，矿区面积将近1000公顷，大正4年（1915年）由日本人山本义信开始开采，第二次世界大战后由台湾工矿接收