王浩 (数学家)

✍ dations ◷ 2025-04-27 08:51:26 #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）”为基础）论点，以探讨“人工生命”议题。

相关

甲仙化石馆甲仙化石馆位于台湾高雄市甲仙区和安里，是甲仙的观光景点之一，成立于1994年2月19日。化石馆于1994年2月19日正式启用，筹办者兼首位馆长为曾德明，他是化石收集者，有些当地所发现的
交子交子，是中国北宋时四川省流通的纸币，是世界上最早“正式”发行的钞票。交子是古代四川省的俚语，其中“交”是“双面印刷”的意思，词语的意思解释为双面印刷的票券或凭证。交子又
涟源市涟源市，位于湖南省中部、湘江支流涟水的上游。湘黔铁路穿越市境。原分属邵阳、安化、新化、湘乡地，1952年析上述四县置蓝田县。同年，因与陕西蓝田县重名，而更名为涟源县，以地处涟
网络聊天室网络聊天室（英语：Chat room）通常直称聊天室，是一种人们可以在线交谈的网络论坛，在同一聊天室的人们通过广播消息进行实时交谈。聊天室可以建立在即时通讯软件（如kakaotalk、QQ）、P2
佩恩蒂德沙漠佩恩蒂德沙漠（英语：Painted Desert），又译彩绘沙漠、彩色沙漠、多彩沙漠、多色沙漠、彩画沙漠、画布沙漠等。是在美国亚利桑那州北部的一个地理景观，由彩色缤纷的地层小丘所组成。
19 (阿黛尔专辑)《19》是英格兰女歌手阿黛尔的首张录音室专辑，发行于2008年1月28日。该专辑在英国发行首周即登上英国专辑排行榜首位。阿黛尔凭这张专辑获得第51届格莱美奖最佳新人奖。
赛缪尔·冯·普芬多夫赛缪尔·冯·普芬多夫（Samuel von Pufendorf，1632年－1694年），属古典自然法学派（Classical law-of-nature school）。1632年出身德国牧师家庭。1660年著《法学要论》。1661年于海森堡
VIQR可读越语引述法（英：，VIQR）是一套使用ASCII字符来书写越南语的做法。越南语包含大量不在ASCII的字母；VIQR则提供一个方法，在打完本来没有附加符号的字母后，加上1或2个符号去代表附加
巴纳特巴纳特 (罗马尼亚语：、塞尔维亚语：或、匈牙利语：或、德语：、斯洛伐克语：、巴纳特保加利亚语：）是中欧的地理和历史地域，1941年由于匈牙利帝国与纳粹德国联合入侵赛尔维亚，因而使匈牙利
芬斯特维茨山坐标：47°01′54″N 12°19′27″E / 47.031682°N 12.324251°E / 47.031682; 12.324251芬斯特维茨山（德语：Finsterwitzkopf），是奥地利的山峰，位于该国西部，由蒂罗尔州负责管辖，属