王浩 (数学家)

✍ dations ◷ 2025-06-30 07:07:21 #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)”为基础)论点,以探讨“人工生命”议题。

相关

  • 田寮区田寮区(台湾话:.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif} Tshâ
  • 处女膜处女膜(hymen)又称阴道冠,是一层位于阴道口的膜状组织。处女膜也被视为外阴部的一部分。普遍认为,处女膜并未具有特定的解剖或生理功能。 青少年时期,处女膜的形状相当多变,最常见
  • 鹅毛笔《鹅毛笔》(英语:Quills),2000年首映的英美古装剧情片,改编自道格·怀特的获奖同名舞台剧,而电影剧本亦由怀特本人执笔。两者均以18世纪末的法国为背景,描述情色文学大师萨德侯爵被
  • 介子介子是自旋为整数、重子数为零的强子,参与强相互作用。介子属于强子类。它是比电子重的带电或不带电的粒子。根据夸克模型,介子是由一个夸克和一个反夸克组成的束缚态,这一对夸
  • 恭让王高丽恭让王(朝鲜语:고려 공양왕/高麗 恭讓王 Goryeo Gong'yang'wang;1345年-1394年),讳王瑶(朝鲜语:왕요/王瑤 Wang Yo),高丽王朝第34位国王(1388年至1392年在位),高丽神宗七世孙。明洪武
  • 纬来日本台纬来日本台是纬来电视网旗下播放日本电视节目的电视频道,也是台湾两个专门播放日本电视节目的频道之一。1996年1月1日开播,其节目选材多元,涵盖戏剧、综艺、动画、电影、新闻杂
  • 渔猫Felis viverrinus (Bennett, 1833)渔猫(学名:Prionailurus viverrinus、 fishing cat )是一种中等体型的猫科动物,主要分布于中南半岛、印度、巴基斯坦、斯里兰卡、苏门答腊和爪
  • 黎凡特海坐标:34°N 34°E / 34°N 34°E / 34; 34黎凡特海是地中海东面的海域,北临土耳其,东接叙利亚、黎巴嫩、以色列和加沙地带,南毗埃及和利比亚,西邻利比亚海,面积320,000平方公里,最
  • 帕尔加尔帕尔加尔(Palghar),原是印度马哈拉施特拉邦塔纳县的一个城镇,2014年成为独立的帕尔加尔县的县城。总人口52699(2001年)。该地2001年总人口52699人,其中男性28639人,女性24060人;0—6
  • 维基百科文件系统维基百科文件系统(WikipediaFS)是一个虚拟文件系统,它允许用户查看和编辑以MediaWiki为基础的网站上的条目,就好像读写本地驱动器上的真实电脑文件一般。这使用户可以用任何文本