王浩 (数学家)
生平编辑
1921年出生在中華民國的山东济南,1943年西南聯合大學數學系畢業,1945年清華大學哲學系畢業,国内期间曾师从著名逻辑学家金岳霖。1948年哈佛大學邏輯學博士畢業,同年成為哈佛的助理教授(Assistant Professor)。[1]1950年代初,隨保羅·伯奈斯在蘇黎世學習。1956年獲薦為牛津大學Reader in the Philosophy of Mathematics。1959年,王浩在「IBM 704计算机」上用9分钟计算时间,证明了罗素、德怀特海所著《数学原理》中数百余条数理逻辑定理;[2]因此在1983年於国际人工智能联合会议荣获首届证明自动化奖(the first Milestone Prize for Automated Theorem-Proving)。[3][4]1961年任命主持哈佛「數理邏輯和應用數學的Gordon McKay教授紀念講座」[5]。1967年至1991年,領導洛克斐勒大學的邏輯學小組,在那裡他是数理邏輯學教授。
1968年,英國埃德加·科德針對「細胞自動機」提出自己的「科德細胞自動機」(以王浩的「Wang B-machine」為基礎)論點,以探討「人工生命」議題。
著作编辑
- From Mathematics to Philosophy , Hao Wang, Routledge Kegan & Paul,June 1974 ISBN 978-0-7100-7689-2
- A Logical Journey: From Gödel to Philosophy, Hao Wang, The MIT Press, 1997 ISBN 978-0-262-23189-3。
参考文献编辑
- ^ 《俞大維傳》. 作者:李元平; 出版社:臺灣日報社; 出版日:1992年01月05日,392 頁; (繁體中文),01 (页面存档备份,存于互联网档案馆),02 (页面存档备份,存于互联网档案馆),增訂版 互联网档案馆的存檔,存档日期2014-02-21.
- ^ Wang, Hao. Toward Mechanical Mathematics 4. 1960: 2–22. doi:10.1147/rd.41.0002.
|journal=
被忽略 (帮助);|number=
被忽略 (帮助) - ^ Loveland, Donald W.; Bledsoe, W. W. Automated theorem proving: after 25 years. Providence, Rhode Island: American Mathematical Society. 1984. ISBN 0-8218-5027-X., page 47
- ^ 吴文俊《数学机械化》iii页、40页,科学出版社,ISBN 7-03-010765,實例「数学机械化自动推理平台」
- ^ 存档副本. [2014-04-11]. (原始内容存档于2014-04-13).
🔥 Top keywords: Baike: 首页Special:搜索胖猫跳江事件背着善宰跑九龍城寨之圍城逆天奇案2璩静淚之女王歌手2024Energy (組合)新生 (网络剧)习近平匈牙利邊佑錫劉俊謙 (香港)金智媛神耆小子塞尔维亚金秀賢 (男演員)母亲节猩球崛起:王國誕生九龍寨城馴鹿寶貝家族榮耀之繼承者Seventeen (組合)六四事件不夠善良的我們张维为楊佩潔TripleS支配物种庆余年郭葦昀洪若潭命案金惠奫2024年英雄联盟季中邀请赛春色寄情人BABYMONSTER笑看風雲乘風2024排球少年!!角色列表破墓徐巧芯中华人民共和国中華民國打天下2WIND BREAKER—防風少年—习明泽排球少年!!彭丽媛磁暴ILLIT贾斯汀·比伯逆天奇案BOYNEXTDOOR猿人爭霸戰:猩凶革命張書偉我的婆婆怎麼那麼可愛我獨自升級怪獸8號謝坤達IVE (組合)與鳳行關於我轉生變成史萊姆這檔事角色列表黃道十二宮福建號航空母艦虽然不是英雄葉乃文五月天張員瑛草榴社区張文傑2024年花蓮地震极光香緹·摩爾迷宮飯呂家愷搜查班長1958日本劉德華海莉·鮑德溫蕭景鴻越位 (足球)葬送的芙莉蓮周處除三害 (電影)毛泽东願榮光歸香港林峯周雨彤伍允龍羅毓儀香港Baike: 分類索引沒有秘密猩球崛起:終極決戰角質層唐振剛柯佳嬿文化大革命