yb220app

  王浩出生在一个知识分子的家庭,父亲是著名教育家、山东第一师范学校校长王祝晨先生,念初中时,在父亲的建议下,他阅读了恩格斯的著作《反杜林论》和《路德维希·费尔巴哈与德国古典哲学的终结》。进入北京师大附中(城固)读高中后,他第一次接触到逻辑方面的知识,便被深深吸引。一次偶然的机会,他得到金岳霖先生写的《逻辑》(1935)。其中约80页介绍罗素(B.Russel)的名著《数学原理》第一卷的内容,在王浩眼中,既引人入胜又通俗易懂。他决定首先尝试学习较容易的数理逻辑,为以后学习辩证法奠定基础。师大附中良好的教学环境和师资力量,不仅使王浩接触到了数理逻辑,也使原本对理科有着浓厚兴趣的他,在文、理方面都具备了良好的基础。

yb220app

  l953年,王浩开始计算器理论与机器证明的研究:一方面,他敏锐地感觉到被认为过分讲究形式的精确、十分繁琐而无任何实际用处的数理逻辑可以在计算器领域发挥极好的作用;另一方面,新中国成立,他想多学点有用的东西来报效祖国。为此,他曾兼任巴勒斯公司的研究工程师(1953—1954年)、贝尔电线年)、IBM研究中心客座科学家(1973—1974年)等一系列职务。

  王浩曾发表100多篇论文。主要著作有:《数理逻辑概论》(ASurveyofMathematicalLogic,l962),其中收集了他在l947年至1959年期间写的关于数学基础、形式公理系统、计算器理论和数学定理机械化证明的一些研究论文和其它文章。《从数学到哲学》(FromMathematicstoPhilosophy,1974),作者试图用实事求是论(Substantialfactualism)的观点阐述对一系列哲学问题,特别是数学哲学问题的看法,并对当今在西方世界影响甚大的分析哲学进行批判,书中还包括大逻辑学家哥德尔一些未发表的哲学观点,极有研究价值。《数理逻辑通俗讲话》,有中英文两种版本,这是根据作者在1977年在中国科学院作的6次关于数理逻辑的广泛而通俗的讲演整理而成的。《超越分析哲学—公平对待我们具有的知识》(BeyondAnalyticPhilosophy—DoingJusticetoWhatweKnow,l986),作者对分析哲学的代表人物罗素、维特根斯坦、卡纳普和奎因等人的思想观点作了详细介绍,并给予镇密的分析和有力的批判,主要论据是他们的哲学无法为人类现有的知识,特别是数学知识提供基础。由于作者非常熟悉这四人的工作,甚至与其中一些人有直接交往,所以他的批判十分深刻。牛津大学的彼特·斯特苏森爵士(SirP.Strawson)评论到:“哲学家们对于王浩此书的主要的、深厚的兴趣在于,它记录了一位极富才智、卓越和敏锐的哲学家对所谓‘分析’或‘英一美’哲学在本世纪经历的发展过程的看法。王的书是对现代哲学史和元哲学的丰富、迷人的贡献。”

  王浩一贯关心国内的科学教育事业,早在1962年科学出版社就出版了王浩的《数理逻辑概论》。1972年,王浩参与了第一个归国访问美籍学者代表团,从此一头钻进了马克思主义,恒兀兀以穷年。1973年他撰写的《访问中国的沉思》被报纸与杂志广泛刊载。1977年,为了推动国内数理逻辑的研究,他在北京作了六次关于数理逻辑的讲演,内容丰富而深入,当中不乏研究成果和独到见解。1985年,王浩兼任北京大学教授,1986年兼任清华大学教授。

  l953年,王浩开始计算器理论与机器证明的研究:一方面,他敏锐地感觉到被认为过分讲究形式的精确、十分繁琐而无任何实际用处的数理逻辑可以在计算器领域发挥极好的作用;另一方面,新中国成立,他想多学点有用的东西来报效祖国。为此,他曾兼任巴勒斯公司的研究工程师(1953—1954年)、贝尔电线年)、IBM研究中心客座科学家(1973—1974年)等一系列职务。

  王浩被认为是在数理逻辑和人工智能方面成就最大的华人之一,也是上世纪全世界范围内最杰出的学者之一。1983年,国际人工智能联合会与美国数学会共同将首届“里程碑奖”(MilestoneAward)授予他,可谓名至实归。希望今后还有更多王浩式的真正学者挺立于世界科学之林,更希望大家能记住王浩先生对自己民族的热爱。

  l953年,王浩开始计算器理论与机器证明的研究:一方面,他敏锐地感觉到被认为过分讲究形式的精确、十分繁琐而无任何实际用处的数理逻辑可以在计算器领域发挥极好的作用;另一方面,新中国成立,他想多学点有用的东西来报效祖国。为此,他曾兼任巴勒斯公司的研究工程师(1953—1954年)、贝尔电线年)、IBM研究中心客座科学家(1973—1974年)等一系列职务。



  【编者按】王浩(1921-1995),出生于山东省济南市。1939年毕业于北京师大附中(城固),1943年毕业于西南联大数学系,同年考入清华大学文科研究所哲学部,1945年获硕士学位。1946年入美国哈佛大学研究生院,1948年获哲学博士学位,同年成为哈佛大学的副教授。1952年被选为美国文理科学院院士。1956年获荐为牛津大学数理哲学高级讲师。1961年成为哈佛的数理逻辑和应用数学的戈登·麦凯(GordonMacKay)讲座教授。1967年至1991年,领导洛克菲勒大学的逻辑学小组,并任该校的教授。是享誉世界的美籍华裔数理逻辑学家、计算机科学家、哲学家。其关于数理逻辑的一个命题被国际上定为“王氏悖论”。



  【编者按】王浩(1921-1995),出生于山东省济南市。1939年毕业于北京师大附中(城固),1943年毕业于西南联大数学系,同年考入清华大学文科研究所哲学部,1945年获硕士学位。1946年入美国哈佛大学研究生院,1948年获哲学博士学位,同年成为哈佛大学的副教授。1952年被选为美国文理科学院院士。1956年获荐为牛津大学数理哲学高级讲师。1961年成为哈佛的数理逻辑和应用数学的戈登·麦凯(GordonMacKay)讲座教授。1967年至1991年,领导洛克菲勒大学的逻辑学小组,并任该校的教授。是享誉世界的美籍华裔数理逻辑学家、计算机科学家、哲学家。其关于数理逻辑的一个命题被国际上定为“王氏悖论”。

  王浩曾发表100多篇论文。主要著作有:《数理逻辑概论》(ASurveyofMathematicalLogic,l962),其中收集了他在l947年至1959年期间写的关于数学基础、形式公理系统、计算器理论和数学定理机械化证明的一些研究论文和其它文章。《从数学到哲学》(FromMathematicstoPhilosophy,1974),作者试图用实事求是论(Substantialfactualism)的观点阐述对一系列哲学问题,特别是数学哲学问题的看法,并对当今在西方世界影响甚大的分析哲学进行批判,书中还包括大逻辑学家哥德尔一些未发表的哲学观点,极有研究价值。《数理逻辑通俗讲话》,有中英文两种版本,这是根据作者在1977年在中国科学院作的6次关于数理逻辑的广泛而通俗的讲演整理而成的。《超越分析哲学—公平对待我们具有的知识》(BeyondAnalyticPhilosophy—DoingJusticetoWhatweKnow,l986),作者对分析哲学的代表人物罗素、维特根斯坦、卡纳普和奎因等人的思想观点作了详细介绍,并给予镇密的分析和有力的批判,主要论据是他们的哲学无法为人类现有的知识,特别是数学知识提供基础。由于作者非常熟悉这四人的工作,甚至与其中一些人有直接交往,所以他的批判十分深刻。牛津大学的彼特·斯特苏森爵士(SirP.Strawson)评论到:“哲学家们对于王浩此书的主要的、深厚的兴趣在于,它记录了一位极富才智、卓越和敏锐的哲学家对所谓‘分析’或‘英一美’哲学在本世纪经历的发展过程的看法。王的书是对现代哲学史和元哲学的丰富、迷人的贡献。”

  1943年,王浩考入清华大学文科研究所哲学部,导师原为金岳霖先生,因金先生赴美,便师从王宪钧先生,并用两年时间获得硕士学位,期间兼任西南联大附中的数学教员。在回忆这段紧张而有意义的学习生活时,王浩说:“1939年到1946年我在昆明,享受到生活贫苦而精神食粮丰盛的乐趣。特别是因为和金岳霖先生及几位先生、同学都有着共同的兴趣和暗合的视为当然的价值标准,觉得心情愉快,并因而能够把工作变成了一个最基本的需要,成为以后自己生活上主要的支柱。我的愿望是:愈来愈多的中国青年可以有机会享受这样一种清淡的幸福!”

  王浩曾发表100多篇论文。主要著作有:《数理逻辑概论》(ASurveyofMathematicalLogic,l962),其中收集了他在l947年至1959年期间写的关于数学基础、形式公理系统、计算器理论和数学定理机械化证明的一些研究论文和其它文章。《从数学到哲学》(FromMathematicstoPhilosophy,1974),作者试图用实事求是论(Substantialfactualism)的观点阐述对一系列哲学问题,特别是数学哲学问题的看法,并对当今在西方世界影响甚大的分析哲学进行批判,书中还包括大逻辑学家哥德尔一些未发表的哲学观点,极有研究价值。《数理逻辑通俗讲话》,有中英文两种版本,这是根据作者在1977年在中国科学院作的6次关于数理逻辑的广泛而通俗的讲演整理而成的。《超越分析哲学—公平对待我们具有的知识》(BeyondAnalyticPhilosophy—DoingJusticetoWhatweKnow,l986),作者对分析哲学的代表人物罗素、维特根斯坦、卡纳普和奎因等人的思想观点作了详细介绍,并给予镇密的分析和有力的批判,主要论据是他们的哲学无法为人类现有的知识,特别是数学知识提供基础。由于作者非常熟悉这四人的工作,甚至与其中一些人有直接交往,所以他的批判十分深刻。牛津大学的彼特·斯特苏森爵士(SirP.Strawson)评论到:“哲学家们对于王浩此书的主要的、深厚的兴趣在于,它记录了一位极富才智、卓越和敏锐的哲学家对所谓‘分析’或‘英一美’哲学在本世纪经历的发展过程的看法。王的书是对现代哲学史和元哲学的丰富、迷人的贡献。”

  王浩出生在一个知识分子的家庭,父亲是著名教育家、山东第一师范学校校长王祝晨先生,念初中时,在父亲的建议下,他阅读了恩格斯的著作《反杜林论》和《路德维希·费尔巴哈与德国古典哲学的终结》。进入北京师大附中(城固)读高中后,他第一次接触到逻辑方面的知识,便被深深吸引。一次偶然的机会,他得到金岳霖先生写的《逻辑》(1935)。其中约80页介绍罗素(B.Russel)的名著《数学原理》第一卷的内容,在王浩眼中,既引人入胜又通俗易懂。他决定首先尝试学习较容易的数理逻辑,为以后学习辩证法奠定基础。师大附中良好的教学环境和师资力量,不仅使王浩接触到了数理逻辑,也使原本对理科有着浓厚兴趣的他,在文、理方面都具备了良好的基础。

  王浩被认为是在数理逻辑和人工智能方面成就最大的华人之一,也是上世纪全世界范围内最杰出的学者之一。1983年,国际人工智能联合会与美国数学会共同将首届“里程碑奖”(MilestoneAward)授予他,可谓名至实归。希望今后还有更多王浩式的真正学者挺立于世界科学之林,更希望大家能记住王浩先生对自己民族的热爱。

  1939年,王浩以全校第一名的优异成绩考入西南联大数学系。大学一年级时,他旁听王宪钧先生的符号逻辑课,系统学习了《数学原理》第一卷,并通过阅读希尔伯特一阿克曼的《数理逻辑基础》(1938年版)学习德语,之后又读完了希尔伯特--贝尔纳斯的《数学基础》(两卷集,1934年版)第一卷。1942年,王浩一边师从沈有鼎先生学习维特根斯坦的《逻辑哲学论》(Tractatus,1921的),一边阅读卡纳普(R.Carnap)的《语音的逻辑句法》(1934年版),并开始撰写关于休漠的归纳问题的论文。一年后,他写出了谈归纳法的长文,并把文章送清华大学哲学系金岳霖教授审阅。

  王浩被认为是在数理逻辑和人工智能方面成就最大的华人之一,也是上世纪全世界范围内最杰出的学者之一。1983年,国际人工智能联合会与美国数学会共同将首届“里程碑奖”(MilestoneAward)授予他,可谓名至实归。希望今后还有更多王浩式的真正学者挺立于世界科学之林,更希望大家能记住王浩先生对自己民族的热爱。

  王浩被认为是自莱布尼茨以来最伟大的数理逻辑学家和哲学家哥德尔的衣钵传人。1952年,王浩当选为美国文理学院院士,1970年当选英国科学院通讯院士。在该院历史上,仅有四名华人学者当选,其余三位是陈寅恪(1945年)、夏鼐(1974年)和赵元任(1975年),该组织的性质与英国皇家学会相似,不过后者属理科,该组织属文科。1983年,由于对数学定理计算机的证明做出开创性贡献,王浩荣获人工智能领域的“数学定理自动化证明里程碑奖”。



  【编者按】王浩(1921-1995),出生于山东省济南市。1939年毕业于北京师大附中(城固),1943年毕业于西南联大数学系,同年考入清华大学文科研究所哲学部,1945年获硕士学位。1946年入美国哈佛大学研究生院,1948年获哲学博士学位,同年成为哈佛大学的副教授。1952年被选为美国文理科学院院士。1956年获荐为牛津大学数理哲学高级讲师。1961年成为哈佛的数理逻辑和应用数学的戈登·麦凯(GordonMacKay)讲座教授。1967年至1991年,领导洛克菲勒大学的逻辑学小组,并任该校的教授。是享誉世界的美籍华裔数理逻辑学家、计算机科学家、哲学家。其关于数理逻辑的一个命题被国际上定为“王氏悖论”。

  1939年,王浩以全校第一名的优异成绩考入西南联大数学系。大学一年级时,他旁听王宪钧先生的符号逻辑课,系统学习了《数学原理》第一卷,并通过阅读希尔伯特一阿克曼的《数理逻辑基础》(1938年版)学习德语,之后又读完了希尔伯特--贝尔纳斯的《数学基础》(两卷集,1934年版)第一卷。1942年,王浩一边师从沈有鼎先生学习维特根斯坦的《逻辑哲学论》(Tractatus,1921的),一边阅读卡纳普(R.Carnap)的《语音的逻辑句法》(1934年版),并开始撰写关于休漠的归纳问题的论文。一年后,他写出了谈归纳法的长文,并把文章送清华大学哲学系金岳霖教授审阅。



  【编者按】王浩(1921-1995),出生于山东省济南市。1939年毕业于北京师大附中(城固),1943年毕业于西南联大数学系,同年考入清华大学文科研究所哲学部,1945年获硕士学位。1946年入美国哈佛大学研究生院,1948年获哲学博士学位,同年成为哈佛大学的副教授。1952年被选为美国文理科学院院士。1956年获荐为牛津大学数理哲学高级讲师。1961年成为哈佛的数理逻辑和应用数学的戈登·麦凯(GordonMacKay)讲座教授。1967年至1991年,领导洛克菲勒大学的逻辑学小组,并任该校的教授。是享誉世界的美籍华裔数理逻辑学家、计算机科学家、哲学家。其关于数理逻辑的一个命题被国际上定为“王氏悖论”。

  1946年,在清华大学的推荐下,王浩获美国国务院奖学金,并进入美国哈佛大学研究生院,师从当代美国著名数理逻辑学家、哲学家奎因(Quine)教授,研究奎因创立的形式公理系统。仅用一年多的时间,王浩就提出一个异常“经济”的系统,不仅能导出奎因书中的全部结果,还有许多新的发现,在奎因的建议下,王浩完成博士论文《经典分析的经济实体论》(AnEconomicOnto1ogyforC1assicalAnalysis)。1947年,王浩担任奎因的高等逻辑与语言哲学等课程的助教;1948年6月即获哲学博士学位,并留校担任青年研究员,后任助理哲学教授。1949年奎因暂离哈佛期间,王浩接替他开设高等逻辑课,用一种相当完备的方法介绍哥德尔的不完备定理。

  1939年,王浩以全校第一名的优异成绩考入西南联大数学系。大学一年级时,他旁听王宪钧先生的符号逻辑课,系统学习了《数学原理》第一卷,并通过阅读希尔伯特一阿克曼的《数理逻辑基础》(1938年版)学习德语,之后又读完了希尔伯特--贝尔纳斯的《数学基础》(两卷集,1934年版)第一卷。1942年,王浩一边师从沈有鼎先生学习维特根斯坦的《逻辑哲学论》(Tractatus,1921的),一边阅读卡纳普(R.Carnap)的《语音的逻辑句法》(1934年版),并开始撰写关于休漠的归纳问题的论文。一年后,他写出了谈归纳法的长文,并把文章送清华大学哲学系金岳霖教授审阅。

  王浩出生在一个知识分子的家庭,父亲是著名教育家、山东第一师范学校校长王祝晨先生,念初中时,在父亲的建议下,他阅读了恩格斯的著作《反杜林论》和《路德维希·费尔巴哈与德国古典哲学的终结》。进入北京师大附中(城固)读高中后,他第一次接触到逻辑方面的知识,便被深深吸引。一次偶然的机会,他得到金岳霖先生写的《逻辑》(1935)。其中约80页介绍罗素(B.Russel)的名著《数学原理》第一卷的内容,在王浩眼中,既引人入胜又通俗易懂。他决定首先尝试学习较容易的数理逻辑,为以后学习辩证法奠定基础。师大附中良好的教学环境和师资力量,不仅使王浩接触到了数理逻辑,也使原本对理科有着浓厚兴趣的他,在文、理方面都具备了良好的基础。

  1946年,在清华大学的推荐下,王浩获美国国务院奖学金,并进入美国哈佛大学研究生院,师从当代美国著名数理逻辑学家、哲学家奎因(Quine)教授,研究奎因创立的形式公理系统。仅用一年多的时间,王浩就提出一个异常“经济”的系统,不仅能导出奎因书中的全部结果,还有许多新的发现,在奎因的建议下,王浩完成博士论文《经典分析的经济实体论》(AnEconomicOnto1ogyforC1assicalAnalysis)。1947年,王浩担任奎因的高等逻辑与语言哲学等课程的助教;1948年6月即获哲学博士学位,并留校担任青年研究员,后任助理哲学教授。1949年奎因暂离哈佛期间,王浩接替他开设高等逻辑课,用一种相当完备的方法介绍哥德尔的不完备定理。

  王浩出生在一个知识分子的家庭,父亲是著名教育家、山东第一师范学校校长王祝晨先生,念初中时,在父亲的建议下,他阅读了恩格斯的著作《反杜林论》和《路德维希·费尔巴哈与德国古典哲学的终结》。进入北京师大附中(城固)读高中后,他第一次接触到逻辑方面的知识,便被深深吸引。一次偶然的机会,他得到金岳霖先生写的《逻辑》(1935)。其中约80页介绍罗素(B.Russel)的名著《数学原理》第一卷的内容,在王浩眼中,既引人入胜又通俗易懂。他决定首先尝试学习较容易的数理逻辑,为以后学习辩证法奠定基础。师大附中良好的教学环境和师资力量,不仅使王浩接触到了数理逻辑,也使原本对理科有着浓厚兴趣的他,在文、理方面都具备了良好的基础。

发表评论

电子邮件地址不会被公开。 必填项已用*标注