今日  首页 - 帮助    
  文章搜索:
用户名: 密码: [注册][找回密码]  
  当前位置:德周刊20130412期 >> 第10版:往事
王浩:世界逻辑课题的开拓者
作者:韦清对本文亦有贡献



  王浩(1921—1995),美藉华裔数理逻辑学家,王祝晨的三子。被 《纽约时报》称为“逻辑课题的开拓者”。
  1939年,王浩进入西南联大数学系学习,1943年获学士学位后又入清华大学研究生院哲学部学习,1945年以论文《论经验知识的基础》获硕士学位。
  王浩在中学时代就对哲学有兴趣,初中时阅读过恩格斯的著作《反杜林论》和《路德维希·费尔巴哈与德国古典哲学的终结》。高中时他阅读金岳霖的《逻辑》,感到这些内容既吸引人又容易懂,觉得应首先尝试学习较容易的数理逻辑,为以后学习辩证法作准备。
  大一时,他旁听了王宪钩的符号逻辑课,系统地学习了《数学原理》第一卷。并通过阅读希尔伯特一阿克曼的《数理逻辑基础》(1938年版)学习德语。又阅读了希尔伯特·贝尔纳斯的 《数学基础》(两卷集,1934年版)的第一卷。 1942年听了沈有鼎讲授维特根斯坦的《逻辑哲学论》课,阅读了卡纳普的 《语音的逻辑句法》(1934年版),并开始撰写关于休漠的归纳问题的论文。
  1946年,王浩前往美国哈佛大学,在那里见到了当代美国著名哲学家、逻辑学家奎因,并随即开始学习他创立的形式公理系统,不久就对该系统作出改进,其部分结果写成博士论文。根据奎因的建议,论文的题目取为《经典分析的经济实体论》。
  1947年开始担任奎因的高等逻辑与语言哲学等课程的助教;1948年获理学博士,并继续留在哈佛大学;1948—1951年任初级研究员;195l—1956年任助理哲学教授;1949年奎因暂离哈佛期间,王浩接替他开设高等逻辑课,用一种相当完备的方法介绍哥德尔的不完备定理。
  1972年以后,王浩数次回国。 1973年他写了《访问中国的沉思》,被报纸与杂志广泛刊载。 1985年兼任北京大学教授;1986年兼任清华大学教授。
  王浩曾发表论文100多篇。主要著作有:《数理逻辑概论》,收集了他在l947—1959年期间撰写的关于数学基础、形式公理系统、计算机理论和数学定理机械化证明的一些研究论文和其它文章。 《从数学到哲学》阐述一系列哲学问题,并对当今在西方世界影响甚大的分析哲学进行批判,书中还包括大逻辑学家哥德尔一些未发表的哲学观点,极有研究价值。 《数理逻辑通俗讲话》,这是根据作者在1977年在中国科学院作的6次关于数理逻辑的广泛而通俗的讲演整理而成的。 《超越分析哲学——公平对待我们具有的知识》,对分析哲学的代表人物罗素、维特根斯坦、卡纳普和奎因等人的思想观点作了详细介绍,并给予缜密的分析和有力的批判。
  1983年在美国丹佛召开的,由人工智能国际联合会和美国数学会共同主办的,自动定理证明特别年会上,王浩被授予首届里程碑奖,以表彰他在数学定理机械证明研究领域中所作出的开创性贡献。
  (韦清对本文亦有贡献)
更多>>  德周刊近期报纸查看
 
  本文所在版面导航
·王浩:世界逻辑课题的开拓者
  本文所在版面
【第 10 版:往事】
Document

免责声明

  德州新闻网是由德州日报社所创建的综合性网站,所刊登的第三方发表的各类新闻﹑信息和各种专题资料的版权,均为第三方作者或页面内声明的版权人所有。

  所有与德州新闻网链接的网站及其内容和版权,由相应的提供者与拥有者负责,德州新闻网对链接网站的内容不承担任何商业法律责任。

  德州新闻网刊登的电子报,均为报纸出版方提供的原版期刊杂志内容。德州新闻网不对报纸做任何内容方面的增减修改,对此等信息的准确性、完整性、合法性或真实性均不承担任何责任。

  如果您发现本网站使用了您拥有著作权的作品并对我们的编辑方式有任何异议,请向我们提供您的身份证明及您对该作品拥有著作权的相关文件,我们会尽快根据法律法规妥善处理。

  对于本站拥有版权的稿件,未经书面协议授权,禁止其他网站等有关信息服务企业予以转载使用。