| 王浩 1921—1995 数学家、计算机科学家、逻辑学家和哲学家。原籍山东济南。1943年毕业于西南联大数学系，1945年毕业于清华大学研究院哲学部，后赴美国哈佛大学留学，1948年获哲学博士学位。1967年入美国籍。先后任教于牛津大学、哈佛大学、洛克菲勒大学，并任北京大学、清华大学荣誉教授。为美国艺术与科学学院院士，不列颠学院通讯院士。致力于公理集合论、证明论、计算机理论、数学哲学、一般哲学的研究，并作出了重要贡献。最早区分了直谓集合论与非直谓集合论，开拓了集合论的一个新领域。有关真理性定义的论文，改进了30年代初塔尔斯基的工作。提出了较图林机更接近现实机器的理想计算机，后称王氏机器。1983年获国际人工智能联合会的第一届“数学定理机械证明里程碑奖”。1961年证明了具有ᗄx∃yᗄzM(x，y，z)形式的一阶谓词逻辑公式集合是不可判定的。主要论著有《数理逻辑概论》、《从数学到哲学》、《超越分析哲学》、《关于哥德尔的反思》等。 |