- 发帖可能变空内容，邪门暂不知所以然
- 『稷下学宫』新认证方式，24年网站打算和努力目标
主题：洪加威 - 似乎比很多图灵奖得主还牛？ -- 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个反例就证否了。这也是美英文化攻击东方文化的重点之一。但他证明了归纳也是严谨的。进一步用电脑把平面几何的主要定理给证明了。
我只随便搜了几篇，他的成就应该远远不止。
通宝推：方天化几,