关于交互和图灵可计算性的一些注记

图灵机作为通用的算法模型在计算机科学中占据统治地位长达半个世纪，它反映的是“封闭世界”假设，认为计算实体的行为完全由自身的因素决定，和所处的环境、外部时间没有关系，随着基于网络的计算技术的兴起，计算实体之间通过网络互联并且互相影响，它们的行为既相对独立，又彼此依赖，