王浩 (数学家)

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

相关

高尔夫球高尔夫，又称高球，高尔夫球，歌尔夫球，高而富球，俗称小白球，是一种室外体育运动。个人或团体球员以高尔夫球杆将一颗小球打进球洞，使用杆数较少者获胜。大部分的比赛有九洞或十八洞。
罗尼·巴克斯特罗尼·勒罗伊·巴克斯特（英语：Lonny Leroy Baxter，1979年1月27日－），美国篮球运动员，曾效力于NBA联盟。他在2002年的NBA选秀中第2轮第43顺位被芝加哥公牛选中。
1930年奥斯卡金像奖1930年奥斯卡金像奖可以指：
分手合约《分手合约》（英语：A Wedding Invitation）是由韩国导演吴基桓执导的一部2013年爱情电影，由白百何、彭于晏、吴佩慈、蒋劲夫领衔主演，于2013年4月12日正式公映。影片在中国大陆首
蓝色起源蓝色起源（Blue Origin）是位于美国华盛顿州肯特市的私人太空公司，由亚马逊公司创始人杰弗里·贝索斯于2000年创办。在2011年连线杂志的一篇采访报导中，贝索斯提到蓝色起源的使命
乙镓烷乙镓烷 (系统名digallane(6)或di-μ-hydrido-bis(dihydridogallium)) 是一种无机化合物，化学式GaH2(H)2GaH2 (也可以写成或)。它是氢化镓的二聚体。这种化合物在1989年被报道
董玲董玲（1962年7月－），女，汉族，北京人，中华人民共和国政治人物，现任宁夏回族自治区人大常委会副主任，宁夏回族自治区妇女联合会主席、党组书记。6 副主任☆
高明 (学者)高明（1909年4月6日-1992年9月21日），字仲华，著名学者，教育家。中国文学博士教育的开创人。江苏高邮人。1910年生。1926年考入国立东南大学，1930年毕业于改名之后的国立中央大学（1949
何亚禄何亚禄（Ho Ah Loke，1901年－1982年9月16日），新马电影制作人。早年在南洋开办多间电影院。1951年何亚禄成立克里斯制片厂。1953年何亚禄与陆运涛合作，电影公司成为国泰克里斯制片厂
中国足协体能测试中国足协体能测试，是中国足协在1990年代初足球职业化进行前不久开始施行的对于中国足球运动员的体能测试。体能测试的内容在十多年内发生过不小的变化，但是其性质始终是参加职