王浩(1921—1995),美籍华裔数学家、逻辑学家、计算机科学家、哲学家。1921年生于山东济南市。1943年毕业于西南联合大学数学系。1945年于清华大学研究生院哲学系毕业。曾师从金岳霖、王宪钧、沈有鼎等。1946年赴哈佛大学留学,师从蒯因(W.V.O.Quine),两年时间即获哈佛大学哲学博士学位。在哈佛短暂教学之后赴苏黎世与贝奈斯(Pau1 Bernays)一起工作。1954——1956年,在牛津大学任第二届约翰-洛克讲座主讲,又任逻辑及数理哲学高级教职,主持数学基础讨论班。1961—1967年,任哈佛大学教授。1967——1991年,任洛克菲勒大学逻辑学教授。20世纪50年代初被选为美国科学院院士,后又被选为不列颠科学院外国院士。1983年,被国际人工智能联合会授予第一届“数学定理机械证明里程碑奖”,以表彰他在数学定理机械证明研究领域中所作的开创性贡献。著有《数理逻辑概论》、《从数学到哲学》、《哥德尔》、《超越分析哲学》等专著。
展开
——哥德尔
哥德尔自信的哲学观点——特别是他对于数学的客观性的坚持——不但于他本人有益处,而且也为人类带来了好处,因为它们为他宏伟的数学结果提供了根基。另一方面,他的不受限制的概括的信念,则引导他到达了我——和其他许多人——不能跟随的地方。
——王浩