#今天要来点数学吗？# #数学史#

美籍华裔哲学家、#数理逻辑# 学家、数学家王浩

曾证明，图灵机都可转为一组王氏砖（Wang tiles）。两年前本来想借着平面密铺问题写一下http://t.cn/A6p43FrK。搜了一下，果然后来没写。但是可能也是因为找到了一篇别人写好的转发http://t.cn/AXScLcNJ

王浩在1959 年用 IBM 704 花9分钟证明《数学原理》350 多条定理

这项工作被认为是自动定理证明（automated theorem proving）的开创性成果之一，并在 1983 年获得首届 Milestone Prize。

他与晚年的哥德尔过从甚密，出版过《哥德尔》一书。