10、LISP：增量计算机的理想语言

LISP：增量计算机的理想语言

1. 引言

在当今的信息系统中，对于复杂军事系统的指挥控制、定量分析和管理决策的信息输入供应，以及人机在创造性思维中的协作，通常存在两个显著特征：
- 信息的输入和输出与一个大型、连续、持续发展的数据库相关联。
- 处理过程的算法会不断演变，且这种演变难以预先预测。

然而，目前大多数信息系统是基于图灵和冯·诺伊曼的思想设计的。他们的目标是在程序完全确定后实现其自动化执行，主要贡献包括“可执行指令”“程序”和“存储程序计算机”等概念。基于这种传统计算哲学的信息系统，只能有效处理那些数据结构完全预先确定、且能简化为最终形式算法的信息过程。因此，当前自动信息系统在国防、商业和研究中的作用主要局限于简单的常规功能，如数据缩减、会计和冗长的算术计算，无法在复杂多变的环境中作为人类思维的进化扩展。

列表处理计算机语言引入了灵活且动态可变的计算机内存组织，但这并没有解决进化系统的基本通信问题。每个程序仍需“了解”其数据形式，且在处理之前必须提供包含预定数量数据的“完整”数据集。多用户、分时、交互式计算机也不能完全弥补传统和列表处理系统的不足，分时系统只能通过中断正在运行的程序、进行修改然后恢复计算来进行系统更改，其底层系统本身并不具备进化特性，主要用于方便程序调试。

2. 问题提出

为了设计能够处理在不断变化、进化环境中发生的信息过程的自动信息系统，一种新的基本哲学正在发展中。这种新方法需要摒弃图灵和冯·诺伊曼的思想，问题不再是“执行已确定的程序”，而是“确定程序”。开放性，这在图灵 - 冯·诺伊曼机器概念中几乎不存在的特性，必须成为新哲学的基础。

新方法的基础是“增量计算机”，