逻辑之旅从哥德尔到哲学/王浩作品集

作者简介

汪蔚，北京大学哲学博士，赛迪传媒网络媒体事业部总编，曾担任《中国计算机报》助理总编，创建《电子政务参考》杂志和C10360网站。 郝兆宽，复旦大学哲学学院副教授，北京大学哲学博士，中国逻辑学会现代逻辑专业委员会理事，上海市逻辑学会理事。 邢滔滔，北京大学哲学系副教授，哲学博士。 王浩（1921—1995），美籍华裔数学家、逻辑学家、计算机科学家、哲学家。1921年生于山东济南市。1943年毕业于西南联合大学数学系。1945年于清华大学研究生院哲学系毕业。曾师从金岳霖、王宪钧、沈有鼎等。1946年赴哈佛大学留学，师从蒯因（W.V.O.Quine），两年时间即获哈佛大学哲学博士学位。在哈佛短暂教学之后赴苏黎世与贝奈斯（Pau1 Bernays）一起工作。1954—1956年，在牛津大学任第二届约翰-洛克讲座主讲，又任逻辑及数理哲学高级教职，主持数学基础讨论班。1961—1967年，任哈佛大学教授。1967—1991年，任洛克菲勒大学逻辑学教授。20世纪50年代初被选为美国科学院院士，后又被选为不列颠科学院外国院士。1983年，被国际人工智能联合会授予第一届“数学定理机械证明里程碑奖”，以表彰他在数学定理机械证明研究领域中所作的开创性贡献。著有《数理逻辑概论》、《从数学到哲学》、《哥德尔》、《超越分析哲学》等专著。

内容简介