Algorithm 版 (精华区)

发信人: ssos (存在与虚无), 信区: Algorithm
标  题: 理论在计算机科学里的位置(M. Shub)
发信站: 哈工大紫丁香 (2001年06月03日08:00:30 星期天), 站内信件

原文在Mysteries of Mathematics and Computation,Mathematical Intelligencer,
Vol. 16,No.1,1994,pp. 10-15
理论联系实际的四种方式：
1 渐进的:在一个明确的研究分支里理论与实际相互促进，如数据分类、编译设计算法的
不断改进；在数学中，物理、工程中微分方程数值解方面的不断进展。
2 结构的：理论提供语言和结构并由此讨论和分析所存在的实际，如复杂性理论，P与NP
完全问题，或者语言和逻辑构造在计算机语言和编程理论中的应用。在数学中，可以用
常微分方程中动力系统所具有的结构效果作为例子。
3 预期的：由于其内部原因，理论产生的结构将来可能对实际有重要意义，如图灵的通
用机可看作现代计算机的先驱，至今仍是机器的主要理论模型。在数学中，标准的例子
是黎曼几何的发展后来对爱因斯坦来说是非常有用的。
4 非正式的：理论产生的背景可以被认为体现了所能完成的东西的范围的知识现状，如
哥德尔和图灵的定理，以及NPC不可简化性的信念。在数学中，还可引用混沌系统的不可
预测性。

--

   
<<社会契约论>>是一本好书,应当多读几遍
风味的肘子味道不错,我还想再吃它      

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 202.118.230.220]