王浩 原名 / 西文Hao Wang 时代1921—1995 国籍 / 地区中国→美国 所属中国数学名人 数理逻辑计算机科学哲学 核心成果研究哥德尔不完备定理与集合论，提出「王浩铺砖」(Wang tiles) 问题，证明铺砖问题的不可判定性，是理论计算机科学的经典。 在 IBM 用计算机实现了一阶逻辑的自动定理证明（王浩算法），是自动推理的先驱。 研究数学哲学，著《从数学到哲学》，与哥德尔有长期对话。 代表著作 / 文献《从数学到哲学》 《数理逻辑概论》 相关人物 / 主题哥德尔、图灵