fbpx
维基百科

王浩 (数学家)

十二月 27, 2023

关于与「王浩 (数学家)」標題相近或相同的条目，請見「王浩」。

王浩（1921年5月20日—1995年5月13日），美籍华裔哲學家、數理邏輯學家。

王氏砖

生平 编辑

1921年出生在中華民國的山东济南，1943年西南聯合大學數學系畢業，1945年清華大學哲學系畢業，国内期间曾师从著名逻辑学家金岳霖。1948年哈佛大學邏輯學博士畢業，同年成為哈佛的助理教授(Assistant Professor)。[1]1950年代初，隨保羅·伯奈斯（英语：Paul Bernays）在蘇黎世學習。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（英语：Gordon McKay）教授紀念講座」[5]。1967年至1991年，領導洛克斐勒大學的邏輯學小組，在那裡他是数理邏輯學教授。

他證明了圖靈機都可轉為一組王氏砖（Wang tile）。

1968年，英國埃德加·科德針對「細胞自動機」提出自己的「科德細胞自動機（英语：Codd's cellular automaton）」（以王浩的「Wang B-machine（英语：Wang B-machine）」為基礎）論點，以探討「人工生命」議題。

著作 编辑

参考文献 编辑

  1. ^ 《俞大維傳》. 作者：李元平; 出版社：臺灣日報社; 出版日：1992年01月05日，392 頁; （繁體中文），01 （页面存档备份，存于互联网档案馆），02 （页面存档备份，存于互联网档案馆），增訂版 互联网档案馆的，存档日期2014-02-21.
  2. ^ Wang, Hao. Toward Mechanical Mathematics 4. 1960: 2–22. doi:10.1147/rd.41.0002.  |journal=被忽略 (帮助); |number=被忽略 (帮助)
  3. ^ 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
  4. ^ 吴文俊《数学机械化》iii页、40页，科学出版社，ISBN 7-03-010765，實例「数学机械化自动推理平台」
  5. ^ 存档副本. [2014-04-11]. （原始内容于2014-04-13）. 

十二月 27, 2023
王浩, 数学家, 关于与, 標題相近或相同的条目, 請見, 王浩, 王浩, 1921年5月20日, 1995年5月13日, 美籍华裔哲學家, 數理邏輯學家, 王氏砖生平, 编辑1921年出生在中華民國的山东济南, 1943年西南聯合大學數學系畢業, 1945年清華大學哲學系畢業, 国内期间曾师从著名逻辑学家金岳霖, 1948年哈佛大學邏輯學博士畢業, 同年成為哈佛的助理教授, assistant, professor, 1950年代初, 隨保羅, 伯奈斯, 英语, paul, bernays, 在蘇黎世學習, 19. 关于与 王浩 数学家 標題相近或相同的条目 請見 王浩 王浩 1921年5月20日 1995年5月13日 美籍华裔哲學家 數理邏輯學家 王氏砖生平 编辑1921年出生在中華民國的山东济南 1943年西南聯合大學數學系畢業 1945年清華大學哲學系畢業 国内期间曾师从著名逻辑学家金岳霖 1948年哈佛大學邏輯學博士畢業 同年成為哈佛的助理教授 Assistant Professor 1 1950年代初 隨保羅 伯奈斯 英语 Paul Bernays 在蘇黎世學習 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 英语 Gordon McKay 教授紀念講座 5 1967年至1991年 領導洛克斐勒大學的邏輯學小組 在那裡他是数理邏輯學教授 他證明了圖靈機都可轉為一組王氏砖 Wang tile 1968年 英國埃德加 科德針對 細胞自動機 提出自己的 科德細胞自動機 英语 Codd s cellular automaton 以王浩的 Wang B machine 英语 Wang B machine 為基礎 論點 以探討 人工生命 議題 著作 编辑From Mathematics to Philosophy Hao Wang Routledge Kegan amp Paul June 1974 ISBN 978 0 7100 7689 2 A Logical Journey From Godel 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 取自 https zh wikipedia org w index php title 王浩 数学家 amp oldid 74842142, 维基百科，wiki，书籍，书籍，图书馆，

文章

，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。