王浩 (数学家)

✍ dations ◷ 2025-02-24 03:48:09 #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）”为基础）论点，以探讨“人工生命”议题。

相关

行政区划以下是美国俄勒冈州36个县的列表。俄勒冈州宪法（英语：Oregon Constitution）并没有明确规定县城:第六条，包括行政机关，只是简单地规定:更多俄勒冈州县名和地名的信息都在俄勒冈州
大禹禹（前2123年－前2055年），姒姓，夏后氏，传说名文命，后世尊称为大禹，五帝之一，也是三官大帝之一。远古时期中国神话人物，是黄帝轩辕氏玄孙，因在大禹治水中成功治理洪水之患的故事而广为人知
TCP协议传输控制协议（英语：Transmission Control Protocol，缩写：TCP）是一种面向连接的、可靠的、基于字节流的传输层通信协议，由IETF的RFC 793定义。在简化的计算机网络OSI模型中，它完成
大学文档系统大学文档系统（Système Universitaire de Documentation，简称SUDOC）是法国高等教育机构图书馆所使用的图书系统。该系统收录了法国大专院校、研究型图书馆及资源中心的联合目录
产品生命周期管理 (市场)产品生命周期管理（Product Lifecycle Management,简称PLM）是覆盖了从产品诞生到消亡的产品生命周期全过程的、开放的、互操作的一整套应用方案。为了使产品及时上市，打败竞争者
链 (量度单位)链（Chain），又译作锁，是一个英制长度单位，定义为66英尺（20.1168米），又称为“冈特测链”（Gunter's chain）、“测量链”（Surveyor's chain）或陆上测链（Land chain）。1链=1链=另外，10平方链=1英
自转周期自转周期（英语：Rotation period）在天文学中是指当一个物体绕着自己的转轴（英语：Rotation around a fixed axis），相对于背景的恒星完成一次完整转动的时间。自转周期和行星的恒星日
毕德显毕德显（1908年12月21日－1992年1月12月），山东平阴人，电子学家，中国科学院院士，中国雷达工程专业的主要创始人。毕德显1927年考入齐鲁大学物理系。1930年转入燕京大学就读，1934年毕业
陈亚先亨德里克·鲁道夫·陈亚先（Hendrick Rudolf Chin A Sen，1934年1月18日－1999年8月11日），苏里南华裔政治家，曾任总统兼总理。陈亚先的父亲是籍贯广东惠阳的客家人，母亲则是混血的克里
宝兴藤宝兴藤（学名：）是夹竹桃科秦岭藤属的植物，是中国的特有植物。分布在中国大陆的四川等地，生长于海拔2,720米的地区，见于山地林中和河边杂木林中，目前尚未由人工引种栽培。