s*********1
发帖数: 1166 | 1 Wang Hao, also Hao Wang (Chinese: 王浩; pinyin: Wáng Hào; 20 May 1921 –
13 May 1995) was a Chinese American logician, philosopher and mathematician.
Born in Jinan, Shandong, in the Republic of China (today in the People's
Republic of China), Wang received his early education in China. After
obtaining a B.Sc. degree in mathematics from the National Southwestern
Associated University in 1943 and an M.A. in Philosophy from Tsinghua
University in 1945, he moved to the United States for further graduate
studies. He studied logic at Harvard University, culminating in a Ph.D. in
1948. He was appointed to an assistant professorship at Harvard the same
year.
During the early 1950s, Wang studied with Paul Bernays in Zurich. In 1956,
he was appointed Reader in the Philosophy of Mathematics at Oxford
University. In 1959, Wang wrote on an IBM704 computer a program that in only
9 minutes mechanically proved several hundred mathematical logic theorems
in Whitehead and Russell's Principia Mathematica[citation needed]. In 1961,
he was appointed Gordon MacKay Professor of Mathematical Logic and Applied
Mathematics at Harvard. From 1967 until 1991, he headed the logic research
group at Rockefeller University in New York City, where he was professor of
logic. In 1972, Wang joined in a group of Chinese American scientists led by
Chih-Kung Jen as the first such delegation from the U.S. to the People's
Republic of China.
One of the most important contributions of Wang was the invention of Wang
tiles. He showed that any Turing machine can be turned into a set of Wang
tiles. The first noted example of aperiodic tiling is a set of Wang tiles,
whose nonexistence Wang had once conjectured, discovered by his student
Robert Berger in 1966. He also chronicled Kurt Gödel's philosophical
ideas and authored several books on the subject.
In 1983 he was presented with the first Milestone Prize for Automated
Theorem-Proving, sponsored by the International Joint Conference on
Artificial Intelligence.[1] | d*e
发帖数: 999 | 2 没听说过？金岳霖的高足，数理逻辑的大家。据说当年金岳霖上课，只有王浩一个人听
得懂，所以课堂上常常是上面一个老师，下面就一个学生。
清华旧闻之一。 | s*********1
发帖数: 1166 | 3 王浩，数理逻辑学家, 念高中时他偶然得到金岳霖写的《逻辑》(1935），其中约80页
介绍罗素（B.Russel）的名著《数学原理》第一卷的内容，他感到这些内容既吸引人又
容易懂，因此想：应该首先尝试学习较容易的数理逻辑，为以后学习辩证法作较好的准
备。大学一年级时，他旁听了王宪钩的符号逻辑课，系统地学习了《数学原理》第一卷
。并通过阅读希尔伯特一阿克曼的《数理逻辑基础》（1938年版）学习德语。以后又阅
读了希尔伯特~贝尔纳斯的《数学基础》（两卷集，1934年版）的第一卷。1942年他听
了沈有鼎讲授维特根斯坦（L. Wittgenstein，1889~1951）的《逻辑哲学论》（
Tractatus，1921）课，阅读了卡纳普（R.Carnap）的《语音的逻辑句法》（1934年版
），并开始撰写关于休谟的归纳问题的论文。王浩在回忆这段紧张而有意义的学习生活
时说：1939年到1946年我在昆明，享受到生活贫苦而精神食粮丰盛的乐趣。特别是因为
和金（岳霖）先生及几位别的先生和同学都有共同的兴趣和暗合的视为当然的价值标准
，觉得心情愉快，并因而能够把工作变成了一个最基本的需要，成为以后自己生活上主
要的支柱。我的愿望是：愈来愈多的中国青年可以有机会享受这样一种清淡的幸福！读
书期间（1943~1946年），王浩还兼任过数学教员。
根据奎因的建议，论文的题目取为《经典分析的经济实体论》 （An Economic
Onto1ogyforC1assical Analysis）。1947年开始担任奎因的高等逻辑与语言哲学等课
程的助教；1948年获理学博士，并继续留在哈佛大学；1948~1951年任初级研究员，
195l~1956年任助理哲学教授。1949年奎因暂离哈佛期间，王浩接替他开设高等逻辑课
，用一种相当完备的方法介绍哥德尔的不完备定理。
1950~1951年期间，王浩赴瑞士苏黎世联邦工学院数学研究所，从事博士后研究。
1954年以洛克菲勒基金会研究员的身份去英国。1954~1955年在英国牛津大学主持第二
届约翰·洛克哲学讲座。1956年获牛津大学巴利奥尔学院硕士。1956~1961年任牛津大
学数学哲学高级讲师。期间曾主持一讨论班，讨论维持根斯坦的《对数学基础的看法》
。牛津大学哲学家中的领头人物大多数参加了这个讨论班。1961~1967年回到哈佛任数
理逻辑与应用数学教授。l967年以后在洛克菲勒大学任数学教授，并主持该校的逻辑研
究室。l975~1976年曾到普林斯顿高级研究所访问和工作。
1953年起，王浩开始计算机理论与机器证明的研究。因为一方面他敏锐地感觉到被
认为过分讲究形式的精确，十分繁琐而无任何实际用处的数理逻辑可以在计算机领域发
挥极好的作用；另一方面由于新中国的成立，他想多学点有用的东西以便将来回来报效
祖国。为此他曾兼任巴勒斯公司的研究工程师 （1953~l954年）、贝尔电话实验室技术
专家（1959~1960年）、IBM研究中心客座科学家（1973~l974年）等一系列职务。
1972年以后，王浩数次回国。1973年他写了《访问中国的沉思》，被报纸与杂志广
泛刊载。1985年兼任北京大学教授；1986年兼任清华大学教授。
王浩曾发表100多篇论文。主要著作有：《数理逻辑概论》（ASurvey of
Mathematical Logic，l962），其中收集了他在l947年至1959年期间写的关于数学基础
、形式公理系统、计算机理论和数学定理机械化证明的一些研究论文和其它文章。《从
数学到哲学》（From Mathematics to Phlcosophy，1974），作者试图用实事求是论（
Substantial factualism）的观点阐述对一系列哲学问题，特别是数学哲学问题的看法
，并对当今在西方世界影响甚大的分析哲学进行批判，书中还包括大逻辑学家哥德尔一
些未发表的哲学观点，极有研究价值。《数理逻辑通俗讲话》，有中英文两种版本，这
是根据作者在1977年在中国科学院作的6次关于数理逻辑的广泛而通俗的讲演整理而成
的。《超越分析哲学~公平对待我们具有的知识》（Beyond Analytic Philosophy~
Doing Justiceto Whatwe Know，l986），作者对分析哲学的代表人物罗素、维特根斯
坦、卡纳普和奎因等人的思想观点作了详细介绍，并给予镇密的分析和有力的批判，主
要论据是他们的哲学无法为人类现有的知识，特别是数学知识，提供基础。由于作者非
常熟悉这四人的工作，甚至与其中一些人有直接交往，所以他的批判十分深刻。牛津大
学的彼特·斯特苏森爵士（Sir P。Strawson）评论到：哲学家们对于王浩此书的主要
的、深厚的兴趣在于，它记录了一位极富才智、卓越和敏锐的哲学家对所谓分析或英一
美哲学在本世纪经历的发展过程的看法。王的书是对现代哲学史和元哲学的丰富、迷人
的贡献。
王浩是美国艺术与科学学院院士，英国科学院外藉院士和符号逻辑学协会会员。
1983年在美国丹佛召开的，由人工智能国际联合会会议（Lnternational Joint
Confernce on ArtificialinteIIigence）和美国数学会共同主办的，自动定理证明（
Automated Theorem Proving）特别年会上，王浩被授予首届里程碑奖（Milestone
Prize），以表彰他在数学定理机械证明研究领域中所作的开创性贡献。提名时列举的
主要贡献有：强调发展应用逻辑新分支~推理分析（inferential analysis），其对于
数理逻辑的依赖关系类似于数值分析（numericalanalysis）对于数学分析的依赖关系
；坚持谓词演算和埃尔布朗（Herbrand）与根岑 （Gentzen）形式化的基本作用；设计
了证明程序，有效地证明了罗素与怀特海（Whitehead）的《数学原理》中带集式的谓
词演算部分的350多条定理；第一个强调在埃尔布朗序列（Herbrand expansion）中预
先消去无用项的算法的重要性；提出一些深思熟虑的谓词演算定理，可用作挑战性问题
来帮助判断新的定理证明程序的效能。 | l*****g
发帖数: 196 | |
|
