主题：洪加威 - 似乎比很多图灵奖得主还牛？ -- Matt

XY语言不知是否夸大。但如果属实，

1）70年代末初中毕业3天学会的计算机语言，这个易用性放整个计算机语言历史、甚至整个语言历史都是最领先的；

2）稳定性也是最领先的；

3）经济效益也是一流的；

80年的2篇论文据说在美国计算机理论界很轰动；没读论文，但论题确实是突破性的论题。

86年的《人脑》一文我读了，论证了人脑和电脑的近似性，也分析了差异点。结论很有价值，论证严谨。

86年的《几何定理》一文，就是著名的机器定理证明。意义重大：举个例子，大家都知道科学的基石是数学，数学的基石是“因为。。。所以。。。”，也就是演绎。大家都觉得通过归纳证明一个定理是不严谨的。你举10000个例子证明，别人只要找1个反例就证否了。这也是美英文化攻击东方文化的重点之一。但他证明了归纳也是严谨的。进一步用电脑把平面几何的主要定理给证明了。

我只随便搜了几篇，他的成就应该远远不止。