很久以前就知道机器证明《数学原理》的故事，却竟然不知这是中国人的成就。真的很惊讶，在google上搜寻半天，也只找到王浩(Hao Wang)先生的片断简介，还多是关于Godel传记的。――其实Godel传我倒也看过，却没有注意到作者。要不是Shankar的课以及pjwhu兄的帮助，我恐怕还不知哪年才会了解这位伟大的华人数学家呢！我们的媒体真的太片面了，吴文俊先生广为人知，为何王浩先生却少有报道呢？

• 王浩先生是著名的数理逻辑学家，早年在西南联大时就自学过哥德尔的初等逻辑完全性证明。后来与晚年的哥德尔频繁往来，广泛交谈，亲笔录下为数可观的口头资料。在他的笔下一个栩栩欲活、个性丰满的哥德尔跃然于纸上。在书中我们看到哥德尔生活的简朴、对荣华富贵的淡漠、做学问的坚韧刻苦、寻求根本原理的矢志不移和锲而不舍。
• 在纽厄尔和赫伯特?西蒙之后，美籍华人学者、洛克菲勒大学教授王浩在“自动定理证明”上获得了更大的成就。1959年，王浩用他首创的“王氏算法”，在一台速度不高的IBM704电脑上再次向《数学原理》发起挑战。不到9 分钟，王浩的机器把这本数学史上视为里程碑的著作中全部（350条以上） 的定理，统统证明了一遍。该书作者、数学大师罗素得知此事后感慨万端，他在信里写到：“我真希望，在怀海特和我浪费了10年的时间用手算来证明这些定理之前，就知道有这种可能。”王浩教授因此被国际上公认为机器定理证明的开拓者之一。
• 仅次于哥德尔的逻辑数学大师，王浩
  1943年于西南联合大学数学系毕业。1945年于清华大学研究生院哲学部毕业。1948年获美国哈佛大学哲学博士学位。1950～1951年在瑞士联邦工学院数学研究所从事研究工作1951～1953年任哈佛大学助理教授。1954～1961年在英国牛津大学作第二套洛克讲座讲演,又任逻辑及数理哲学高级教职。1961～1967 年任哈佛大学教授。1967年后任美国洛克斐勒大学教授,主持逻辑研究室工作。1985年兼任中国北京大学名誉教授。1986年兼任中国清华大学名誉教授。50年代 初被选为美国国家科学院院士,后又被选为不列颠科学院外国院士，美籍华裔数学家、逻辑学家、计算机科学家、哲学家。（最后这段是从清华大学招生网站上找到的）