• 正在加载中...
  • 王浩”是个多义词,全部含义如下: 展开

    纠错 | 编辑多义词

    王浩[近代数理逻辑学家]

    王浩(1921年5月20日—1995年5月13日)数理逻辑学家。祖籍山东省德州市齐河县,生于山东省济南市。1939年毕业于现山东省济南第一中学,进入西南联大数学系学习,师从金岳霖先生。1943年获学士学位后又入清华大学研究生院哲学部学习,1945年以《论经验知识的基础》的论文获硕士学位。王浩在中学时代就对哲学有兴趣,念初中时他在父亲的建议下阅读过恩格斯的著作《反杜林论》和《路德维希·费尔巴哈与德国古典哲学的终结》。1946年,王浩前往美国哈佛大学,在那里见到了当代美国著名哲学家、逻辑学家奎因(W.V.Quine),并随即开始学习他创立的形式公理系统。两年时间即获哈佛大学哲学博士学位。在哈佛短暂教学之后赴苏黎世与贝奈斯(Paul Bernays)一起工作。1954-1956年,在牛津大学任第二届约翰-洛克讲座主讲,又任逻辑及数理哲学高级教职,主持数学基础讨论班。1961-1967年,任哈佛大学教授。1967-1991年,任洛克菲勒大学逻辑学教授。20世纪50年代初被选为美国科学院院士,后又被选为不列颠科学院外国院士。1983年,被国际人工智能联合会授予第一届“数学定理机械证明里程碑奖”,以表彰他在数学定理机械证明研究领域中所作的开创性贡献。著有《数理逻辑概论》、《从数学到哲学》、《哥德尔》、《超越分析哲学》等专著。

    编辑摘要

    基本信息 编辑信息模块

    中文名: 王浩 出生地: 山东省济南市
    民族: 汉族 国籍: 中国
    去世日期: 1995年5月13日 职业: 逻辑学家
    籍贯: 山东省德州市齐河县

    目录

    人物经历/王浩[近代数理逻辑学家] 编辑

    高中时他偶然读到金岳霖编写的《逻辑》(1935),其中约80页介绍罗素(B·Russel)的名著《数学原理》第一卷的内容,他认识到这些内容既有趣又易懂,因此决定:应该首先尝试学习较容易的数理逻辑,为以后学习辩证法作基础准备。大学一年级,他旁听了王宪钧的符号逻辑课,系统地学习了《数学原理》第一卷。并通过阅读希尔伯特·阿克曼的《数理逻辑基础》(1938年版)学习德语。此后又阅读了希尔伯特·贝尔纳斯的《数学基础》(两卷集,1934年版)的第一卷。1942年他听了沈有鼎讲授维特根斯坦(L·Wittgenstein,1889~1951)的《逻辑哲学论》(Tractatus,1921)课,阅读了卡纳普(R·Carnap)的《语音的逻辑句法》(1934年版),并开始撰写关于休谟的归纳问题的论文。王浩在回忆这段紧张而有意义的学习生活时说:1939年到1946年我在昆明,享受到生活贫苦而精神食粮丰盛的乐趣。特别是因为和金(岳霖)先生及几位别的先生和同学都有共同的兴趣和暗合的视为当然的价值标准,觉得心情愉快,并因而能够把工作变成了一个最基本的需要,成为以后自己生活上主要的支柱。我的愿望是:愈来愈多的中国青年可以有机会享受这样一种清淡的幸福!读书期间(1943~1946年),王浩还兼任过数学教员。  

    突出贡献/王浩[近代数理逻辑学家] 编辑

    根据奎因的建议,论文的题目取为《经典分析的经济实体论》 (An Economic Ontology for Classical 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年)等一系列职务。

    添加视频 | 添加图册相关影像

    开放分类 我来补充
    人物逻辑学家

    互动百科的词条(含所附图片)系由网友上传,如果涉嫌侵权,请与客服联系,我们将按照法律之相关规定及时进行处理。未经许可,禁止商业网站等复制、抓取本站内容;合理使用者,请注明来源于www.baike.com。

    登录后使用互动百科的服务,将会得到个性化的提示和帮助,还有机会和专业认证智愿者沟通。

    互动百科用户登录注册
    此词条还可添加  信息模块

    百科秀

    上传TA的照片,让词条焕然一新

    上传大图背景

    WIKI热度

    1. 编辑次数:9次 历史版本
    2. 参与编辑人数:5
    3. 最近更新时间:2019-06-30 22:43:04

    人物关系

    编辑

    相关词条