王浩 (数学家)

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

相关

全球暖化全球变暖，或称全球暖化，指的是在一段时间中，地球的大气和海洋因温室效应而造成温度上升的气候变化，为公地悲剧之一，而其所造成的效应称之为全球变暖效应。在2013年，政府间气候变化
人间福报《人间福报》是在台湾发行的中文报纸，由佛光山开山宗长释星云于2000年4月1日创刊。为一多元性日报，乃以推动祥和社会、净化人心为职志，以关怀人类福祉、追求世界和平为宗旨，2002
江西巡抚江西巡抚，全称巡抚江西地方兼理军务，为明朝设立的一个巡抚职位。清朝亦设有这个职位。丙午科翻译举人。乾隆二十五年十月丙申自刑部右侍郎调任署理，十二月丙戌调署安徽巡抚。
格温内斯格温内斯（英语：Gwynedd）是英国威尔士西北部的一个郡，面积共2,548平方公里，人口为121,900人，是威尔士面积第二大和人口最少的政区。首府为班戈，境内拥有班戈大学。官方网站
2015年世界田径锦标赛2015年世界田径锦标赛于2015年8月22日至30日于中国北京国家体育场举行。来自43个国家的144名运动员在本届赛事上获奖，其中肯尼亚队首次登顶奖牌榜，东道主中国队在奖牌榜名列第
由旬由旬（巴利语、梵语：योजना，yojanā），是古印度的一个长度单位，佛教沿用。又译逾阇那、逾缮那、瑜膳那、俞旬、由延。原来指公牛挂轭走一天的旅程。yojana或yojanā，本义为附轭，来
长臂天牛长臂天牛（学名：）为天牛科粗天牛亚科的动物。分布于拉丁美洲地区（北起墨西哥，南至阿根廷北部）的热带雨林。雄虫前肢特长，属于大型天牛，体长可达约 7.6 公分。与少数种类的拟蝎具有偏
索哈·阿里·罕索哈·阿里·罕（孟加拉语：সোহা আলি খান, 乌尔都语：سوہا علی خان‎‎，英语：Soha Ali Khan，1978年10月4日－）是印度女演员。她出生于一个富有的家庭，祖先曾是印度
雅恩·姬达雅恩·姬达（Arn Gréta，1979年4月13日－）是匈牙利女子网球选手之一，她曾代表过德国参加赛事。她在2007年的Estoril取得第一个单打冠军后，于四年后（2011年）的奥克兰再下一城；在此期间内
哈吉·奥马尔·邦戈哈吉·奥马尔·邦戈（el Hadj Omar Bongo，1935年12月30日－2009年6月8日），非洲国家加蓬终身总统，从1967年起担任总统直至去世。邦戈1935年12月30日出生于法属赤道非洲小城Lewai（现改