王浩 (数学家)

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

相关

保护主义贸易保护主义，通常简称保护主义（英语：Protectionism），是一种为了保护本国产业免受国外竞争压力而对进口产品设定极高关税、限定进口配额或其它减少进口额的经济政策。它与自由贸
昏厥昏厥（英语：Syncope）－为快速发生、暂时性的、可自发性回复的意识及肌肉张力丧失之状态。昏厥起因为血液供应大脑的灌流不足，且通常由低血压引起。某些原因引起的昏厥在失去意识前
ssRNA-RT逆转录病毒科（学名：Retroviridae）又称“反转录病毒科”，分为双链DNA逆转录病毒和正链RNA逆转录病毒。它们增殖时都有将遗传物质RNA逆转录为DNA的过程（前者逆转录反链RNA，后者逆转
阿兹特克文明阿兹特克，又译阿兹台克、阿兹提克，是存在于14世纪至16世纪的墨西哥古文明，主要分布在墨西哥中部和南部，因阿兹特克人而得名。阿兹特克人包括墨西哥谷地的多个民族，以操纳瓦特尔语
陈润生陈润生（1941年6月－），中国生物信息学家。中国科学院生物物理研究所研究员。1941年生于天津，原籍天津。1964年毕业于中国科学技术大学生物物理系。2007年当选为中国科学院院士。
松桃苗族自治县松桃苗族自治县是中国贵州省铜仁市下辖的自治县，位于贵州东部，接临梵净山，邻接重庆市、湖南省。全县面积3400平方公里，人口约65万，其中少数民族（苗族为主）的人口占41%，当地苗族使用
阿蒂尔·兰波强·尼可拉·阿瑟·兰波（法语：Jean Nicolas Arthur Rimbaud，1854年10月20日－1891年11月10日），或译阿尔图尔·兰波、韩波、林包德，19世纪法国著名诗人，创作时期仅在14-19岁，之后便停笔
温尼伯喷射机　　　　　温尼伯喷射机队（Winnipeg Jets）是位于加拿大曼尼托巴省温尼伯市的国家冰球联盟队伍，隶属于东部联盟中央分区。温尼伯喷射机队成立于1999年，其前身为亚特兰大鸫鸟
赛博格艺术赛博格艺术（英语：Cyborg art 或 Cyborgism），是一种艺术运动，兴起于2000年代中期的英国，它的基础是通过控制论植入物在人体中创造和增加新的感觉，并通过新的感觉创造艺术品，由赛博格
闲丽海上国立公园闲丽海上国立公园（朝鲜语：한려해상국립공원／閑麗海上國立公園 */?）是位于韩国全罗南道丽水市以及庆尚南道巨济市、南海郡、泗川市、统营市、河东郡的海上型国立公园。1968年1