山东省图书馆

1948年，王浩于哈佛大学毕业后，适值数学和计算机科学取得重大发展，“集合论”、“数理逻辑”开始发展到一个新时代。
  1948年9月济南解放，国内亲人安定。王浩便将全部精力投身研究，至50年代初，已发表多篇有价值的论文，在全美最早区分了“非直谓集合论”与“直谓集合论”的界限，开拓了集合论的一个新领域。在逻辑语义方面，1952年在美发表有关“真理定义”的论文，于哲学领域提出更加完整的理论，改进了30年代初A·塔尔开始的逻辑学研究工作。1954年与A·博克斯合作，提出与当时流行的计算机不同的改进设想，1957年终于创设出一种比图林计算机更接近现实的计算机。1958年他用该机仅以9分钟时间，便全部证明出A·N怀特海和B·A·W罗素合著的450条数学定理，一时令美国数学界惊叹不已，这种机器也随之被誉为“王氏机器”。
  在计算机方面的突出贡献，使王浩先生于1983年获“国际人工智能会”颁发的第一界“数学定理机械证明里程碑奖”（相当于诺贝尔奖）——王浩获此殊荣，令驻美各界学者刮目相视。
  1960年，他又创立一种新的数学理论——铺砖理论（或称骨牌游戏理戏理论）。经实验，这种理论在很多方面特别在应用科学领域起到重要的作用。1962年中国科学出版社出版他的《数学逻辑概论》，1974年在美国出版《从数学到哲学》英文本，1977年他应邀于中国科学院作专题讲学后，讲稿以《数学逻辑
  通俗讲话》为名出版。1981年中国科学出版社又以中、英两种版本再版该书。1985年后在美分别出版《超乎分析哲学之外——如何无负于人类已有的知识》、《论述哥德尔和他的思想》、《计算、逻辑、哲学》等专著。
  王浩身居海外，不为西方颓靡时风所惑，殚精竭虑，献身科学。步入人生壮龄的王浩同时界临科学的峰巅，此时的王浩先生已是名冠中西、蜚声世界的著名逻辑学家、计算机科学家和哲学家。
  王浩的治学足迹闪烁着灼人光环，他曾是西南联大学士、清华大学硕士，哈佛大学博士、牛津大学硕士，他获得了四所世界著名学府令人称羡的学位。1953年他当选为美国艺术与科学大学院士，1970年当选为不列颠科学院国外院士。他担任顾问和工作过的地方有剑桥大学、密歇根大学、“IBM研究中心”、“尔贝电话实验室”、普林斯顿等高等研究院等西方高等学府和科研重地。
  更令人称道的是，他同哥德尔的交往。哥德尔作为美国天才的数理逻辑学家，年轻时代即以两个不完全性定理的证明被誉为美国“两千多年来惟一与亚里斯多德并称的人”。王浩与晚年的哥德尔以科学为纽带交往甚密。他们曾一道携手共同切磋和探讨过许多数学与哲学领域的高深难题。
  王浩在撰文系统介绍了哥德尔的思想之后，1987年他发起并组建了“哥德尔学会”，以进一步研究和推进哥德尔哲学观念的新发展，他本人被当选为该会首任主席。王浩先生在诸门学科的杰出成就，已使他成为20世纪80年代声震世界的科学巨匠。