王浩 (数学家)

✍ dations ◷ 2025-09-13 18:43:46 #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)”为基础)论点,以探讨“人工生命”议题。

相关

  • 阿尔文·普兰丁格阿尔文·卡尔·普兰丁格(英语:Alvin Carl Plantinga,1932年11月15日-),美国当代著名的基督教哲学家,现任圣母大学John A.O'Brien讲席教授。他的研究领域包括基督教神学、认识论和形
  • 细胞骨架细胞骨架(英语:Cytoskeleton)一般是指细胞内细胞质中的由蛋白质构成的纤维的网络结构。它是一个动态结构,其中有一部分是不断的被破坏,更新或新建的。在生命的所有生物领域(古菌,细
  • 龙华寺龙华寺可以指下列庙宇:
  • 过轻体重不足指一个人的体重低于健康水平,通常以身高体重指数(BMI)作指标,BMI低于18.5属于体重不足。医学上体重不足的定义,未必适用于其他方面(如作为吸引力的指标)。体重不足最常见的
  • 喀斯特地貌喀斯特地形(英语:karst topography),又称溶蚀地形、石灰岩地形,是具有溶蚀力的水对可溶性岩石进行溶蚀等作用所形成的地表和地下形态的总称。又称岩溶地貌。水对可溶性岩石所进行
  • 布鲁诺·奇巴拉布鲁诺·奇巴拉·恩赞泽(法语:Bruno Tshibala Nzenze;1955年-),是一名刚果民主共和国政治人物,2017年4月起担任总理。1980年4月蒙博托·塞塞·塞科仍执政期间,他还是25岁的学生,就已
  • 乔纳森·利普尼基乔纳森·利普尼基(英语:Jonathan Lipnicki,1990年10月22日-)是美国的一位演员。他曾经是一位童星,出演过多部好莱坞电影,包括征服情海等。他是一位犹太人。
  • 关赓麟关赓麟(1880年-1962年),字颖人,广东南海人,中国近代学者、诗人、实业家。清光绪三十年(1904年)末科进士。旋赴日本留学。归国后,曾任财政部秘书,交通部路政司司长、铁路总局提调,京汉铁
  • 正兴街道正兴镇,是中华人民共和国四川省成都市双流区下辖的一个乡镇级行政单位。2019年12月,撤镇设街道,正兴街道办事处驻广东街248号。正兴镇下辖以下地区:苏码头社区、大安桥社区、云
  • 鲍勃·明克勒鲍勃·明克勒(英语:Bob Minkler,1937年8月31日-2015年10月11日)是一位美国音讯工程师。他曾于1978年获得奥斯卡最佳音响效果奖,并在1983年,与侄子迈克尔·明克勒和弟弟李·明克勒因