机器即数据：涌现与可定义性的计算视角

图灵(1936)关于可计算数的论文在支撑信息世界的不同视角方面发挥了作用。一方面，它倡导一种数字本体论，其中计算结构表面上的平坦性全面承载了物理层面及超越物理层面的因果性。另一方面（图灵论文的要点），它可让人洞察高阶信息如何产生并导致计算控制权的丧失——同时展示在特定情况下如何通过合适的类型归约重新建立控制。我们比通常更细致地审视经典计算框架，为信息论方法在刻画现实世界中的更广泛应用汲取教训。在一系列情境中出现的问题在于：如何刻画信息结构复杂性（涌现、混沌、随机性和“大数据”突出登场）与可用手段（模拟、编码、统计采样、人类直觉、语义构造）之间的力量平衡，这些手段旨在将此类信息拉回计算范畴。我们通过适当的数学建模，获得关于信息的计算结构更具连贯性的视图，这与广泛的研究领域相关。