王浩 (数学家)

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

相关

Ho4f11 6s22, 8, 18, 29, 8, 2蒸气压第一：581.0 kJ·mol−1 第二：1140 kJ·mol−1 第三：2204 kJ·mol主条目：钬的同位素钬（旧译作錵）是一种化学元素，它的化学符号是Ho，它的原子序数是
德尔诺特德尔诺特县（Del Norte County）又译北县是美国加利福尼亚州的一个县，县治克雷森特城。根据美国人口调查局2000年统计，共有人口27,507，其中白人占78.86%、印第安人占6.43%、非裔美
约翰·马歇尔·哈伦二世约翰·马歇尔·哈伦（英语：John Marshall Harlan II，1899年5月20日－1971年12月29日），美国法学家。1955年至1971年出任美国最高法院大法官。哈伦的祖父约翰·马歇尔·哈伦亦曾于1877
贝特西·罗斯贝特西·罗斯（英语：Betsy Ross；1752年1月1日 - 1836年1月30日；娘家名：伊丽莎白·格里斯科姆；再婚名：伊丽莎白·阿什本；第三次再婚名伊丽莎白·科莱珀尔）被美国公众广泛认作美国国旗的
沙马林达沙马林达或称三马林达，为印尼东加里曼丹省的首府，位于加里曼丹岛东部沿海，但是部分东加里曼丹省的政府机构设在巴厘巴板（Balikpapan）。沙马林达源自印尼语“沙马兰达”（Samarenda），
赫克歇尔-奥林定理赫克歇尔-奥林定理（英语：Heckscher–Ohlin theorem），简称H-O定理，是根据赫克歇尔-奥林模型推导而出的经济学定理，由伊莱·赫克斯赫和贝蒂尔·奥林提出。揭示了每个国家拥有相对优
朗布尔沙达尔乌帕齐拉朗布尔沙达尔乌帕齐拉（孟加拉语：রংপুর সদর，英语：Rangpur Sadar Upazila）是孟加拉国朗布尔县的一个乌帕齐拉，位于朗布尔专区的朗布尔县。。据1991年孟加拉国人口普查（英语：19
加雷斯·爱德华加雷斯·爱德华（Gareth Edwards，1975年6月1日－）是一名英国电影导演，2010年的独立电影《异兽禁区（英语：Monsters (2010 film)）》让他获得广泛关注。知名作品为2014年科幻灾难片《哥斯
阿卜耶克阿卜耶克（波斯语：آبیک‎）是伊朗加兹温省阿卜耶克县（英语：Abyek County）中央区（英语：Central District (Abyek County)）的一座城市，为阿卜耶克县的首府。该城市在2006年时有47,233
桂娃参数所指定的目标页面不存在，建议更正成存在页面或直接建立下列一个页面（建立前请先搜寻是否有合适的存在页面可以取代）：桂娃，为中国广西壮族自治区于2008年，为了自治区成立五十周