王浩 (数学家)

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

相关

GLP-1胰高血糖素样肽-1（GLP-1）是一种主要由肠道L细胞所产生的激素，属于一种肠促胰岛素（incretin）。其生理作用包括：GLP-1的特殊生理作用非常有助于糖尿病的治疗，是如今糖尿病学里的热门
儒勒·凡尔纳儒勒·加布里埃尔·凡尔纳（法语：Jules Gabriel Verne，1828年2月8日－1905年3月24日），或译儒勒·凡尔纳，法国小说家、剧作家、诗人，现代科幻小说的重要开创者之一。他以其大量著作和突
IETF语言标签语言标签是语言代码的缩写表示，例如en表示英语，pt-BR表示巴西葡萄牙语。由互联网工程任务组 (IETF)的“BCP（英语：Best Current Practice） 47”文档系列定义。现在标准化为RFC 564
安东·雷哈安东·雷哈（捷克语：Antonín Rejcha，德语：Anton Reicha，1770年2月26日－1836年5月18日），波西米亚作曲家，音乐理论家，音乐教育家。雷哈少年时便显现出非凡的音乐才能，他的叔叔约瑟夫·雷
雾社坐标：24°1′16.49″N 121°7′56.36″E / 24.0212472°N 121.1323222°E / 24.0212472; 121.1323222雾社（日语：霧社／むしゃ），海拔1,148米（3,766英尺），位于南投县仁爱乡大同村，为仁
苏丹·夏赫里尔苏丹·夏赫里尔（印度尼西亚语旧拼写法：Soetan Sjahrir，新拼写法：Sutan Syahrir）（1909年3月5日－1966年4月9日）是已故印度尼西亚政治家，是一位激进而又理想主义的人物，印度尼西亚独立运
利古湖坐标：58°22′5″N 27°16′47″E / 58.36806°N 27.27972°E / 58.36806; 27.27972利古湖（爱沙尼亚语：Leegu järv），是爱沙尼亚的湖泊，位于该国东南部塔尔图县，处于卡利湖东南面2
上马墩站坐标：31°35′02″N 120°18′58″E / 31.58400°N 120.31616°E / 31.58400; 120.31616上马墩站位于无锡市梁溪区上马墩路和振奋路交叉口，为无锡地铁2号线从西向东第10个车站
塞尔日·坦基扬塞尔日·坦基扬（Serj Adam Tankian，1967年8月21日－），美籍音乐家，生于亚美尼亚，身兼歌手、歌曲创作家、诗人、政治活动家及器乐家。他以堕落体制主唱、键盘手、吉他手的身份而知名。
格兰贝克湖坐标：53°21′59″N 13°04′26″E / 53.3663°N 13.07376°E / 53.3663; 13.07376格兰贝克湖（德语：Glambecker See），是德国的湖泊，位于该国东北部，由梅克伦堡-前波美拉尼亚州负责