王浩 (数学家)

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

相关

核动力推进核动力推进，或核动力驱动，是一大类的推进系统使用核反应作为主要的功能装置，不特指船舰的动力，也可以是陆上，航天器的能量来源。很多潜艇，以及破冰船等使用核反应堆做为他们的动力
细胞分裂系列细胞分裂（英语：Splinter Cell，港台译作“纵横谍海”）是一系列以美国作家汤姆·克兰西冠名的电子游戏和小说。主角山姆·费舍尔（英语：Sam Fisher）是一个训练有素的国安局黑色作战分
AP位点在生物化学和分子遗传学之中，AP位点(缺嘌呤/缺嘧啶位点)，也被称作是缺碱基位点，通常位在由嘌呤或是嘧啶组成的DNA之内(也有极小几率出现在双链RNA之内)，不是自发的话就是由DNA损
定远定远可以指：
林枝木林枝木（1930年－2003年11月2日），台湾南投县人，台湾知名吊桥建造师。林枝木出生于1930年，正值日治时期末期二次世界大战的艰困时代，初中毕业后，虽然考上日本大阪中学，却因家境困苦，未能
孔昭晋孔昭晋（1865年－1936年），字康侯，号守谦，江苏省苏州府吴县人，清朝政治人物。光绪十五年（1889年）己丑恩科举人，光绪二十三年（1897年），在上海参与创办中国第一份文摘报《集成报》，同年与张一麐
斐迪南·菲利普 (奥尔良公爵)奥尔良的斐迪南·菲利普王子（Prince Ferdinand Philippe of Orléans；1810年9月3日－1842年7月13日），全名奥尔良的斐迪南·菲利普·路易·夏尔·埃里克·罗萨利诺（法语：Ferdinand Ph
芝麻枣芝麻枣又称笑口枣，是中国的一种油炸点心，尤其在中国北方流传较广，由糯米浆所砂糖、面粉等制成皮，配以甜饀，再滚上芝麻做成圆球状。
凌曙凌曙（1775年－1829年），字晓楼，一字子昇，江苏江都人，清代学者。最早是香作佣役，不久担任塾师，结识了包世臣，经包世臣引介，分别问学于阮元、刘逢禄。后入京为阮元校辑《经郛》，开始大量阅览
二氢猕猴桃内酯二氢猕猴桃内酯（英语：Dihydroactinidiolide）分子式C11H16O2，是一种挥发性萜烯，带有茶叶味道和芳香味，可在红茶、胡芦巴、火蚁、芒果、烟叶等动植物中发现，也可人工合成，同时也是入侵