主题：洪加威 - 似乎比很多图灵奖得主还牛？ -- 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实时系统中最急优先调度策略的二进表示模型