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

不知90年后怎么样了？

60年代：

《北京昌平县小农具质量情况的调查》、

《北京市皮、布鞋质量情况的调查》

1965：《关于P（KP+1）（KP+2）阶的单群》

1969：《关于一维优选的理论研究》

70年代：

XY语言。极好的特性：

简易性：一般具有初中文化程度的人，学上3天，就能掌握。

稳定、适用范围广：投入使用后的近10年里，竟不需要修改任何一条指令，也没有碰到一个解决不了的线切割编程问题，这在同行业中是极罕见的。

高价值：每套模具产生的直接经济效益以1万元计，9年来其经济效益也在100亿元

1980《关于决定性空间完全性问题》

1980《计算的相似性与对偶性原理》，扩展了丘奇-图灵论题，提出相似性原则：所有计算装置在复杂性上都是相似的。

1983 《复杂度理论中某些不可证明的真命题》

1984《计算──理论和现实的可计算性》

1984《数控线切割语言XY系统的语言方案及其嵌入实现》

1985《阶为□的单群》

1985《理论计算机科学中的一些问题》

1985《科学的价值——兼谈智能计算机的研制问题》

1986：《能用举例子的办法来证明几何定理吗？》

1986《思维的一个确定型离散数学模型——计算机能模拟人脑吗？》，认为并行计算机模拟人的思维具有现实的可能性。电脑也可以超越人脑。人脑中的程序，可以分为两个主要的层次，即先天的和后天的，先天指包含在基因中的程序，有了它就可以从环境中获得后天的那一部分，如能把这一部分搞清楚，计算机就可以自己学习，就能超越人脑。

1990实时系统中最急优先调度策略的二进表示模型

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

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

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

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

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

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

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

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

好相机的北大有位老先生也是搞机器定理证明的，得了某种国内大奖。跟这个有关系吗？

科学的结果都是用数学描述的，至少用普通语言描述的科学结果与用数学描述的科学结果有很大很大的不同，至少不是量化的，或者说量化的科学结果才有技术意义，至少基本上是这样的。

没什么难的。

这是为什么呢？最近看了下著名的Java的著名的并行计算（concurrency），居然没有一本书写明白了的，更别提几小时上手了。