王浩 (数学家)

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

产品秀秀

免费为您秀产品

王浩 (数学家)

点击查看词条快照

王浩（1921年5月20日—1995年5月13日），美籍华裔哲学家、数理逻辑学家。生平. 1921年出生在中华民国的山东济南，1943年西南联合大学数学系毕业，1945年清华大学哲学系毕业，国内期间曾师从著名逻辑学家金岳霖。1948年哈佛大学逻辑学博士毕业，同年成为哈佛的助理教授(Assistant Professor)。1950年代初，随在苏黎世学习。1956年获荐为牛津大学Reader in the Philosophy of Mathematics。1959年，王浩在「IBM 704计算机」上用9分钟计算时间，证明了罗素、德怀特海所著《数学原理》中数百余条数理逻辑定理；因此在1983年于国际人工智能联合会议荣获首届证明自动化奖（the first Milestone Prize for Automated Theorem-Proving）。1961年任命主持哈佛「数理逻辑和应用数学的教授纪念讲座」。1967年至1991年，领导洛克斐勒大学的逻辑学小组，在那里他是数理逻辑学教授。他证明了图灵机都可转为一组王氏砖（Wang tile）。 1968年，英国埃德加·科德针对「细胞自动机」提出自己的「」（以王浩的「」为基础）论点，以探讨「人工生命」议题。

摩登时代

梁龙属

全国人民代表大会专门委员会

杂交茶香月季

鞑靼海峡

鄂霍次克

日本语能力测试

民间科学家

宗谷海峡

阜阳县

薛飞 (电视主播)

雷达告警接收器