计算的历史，从巴比奇的分析机到现代数字计算机，处理的始终是抽象关系。分析机的齿轮、现代计算机的晶体管，它们所操作的不是"形态"本身，而是"关系"：数值关系、逻辑关系、函数关系。计算的形态是抽象的：它没有颜色，没有声音，没有空间延展，只有结构。

这种抽象性有一个关键后果：计算的形态是可逆的、可重复的、可组合的。同一个计算可以重复无数次，结果不变；同一个函数可以组合成新的函数，关系不变；同一个算法可以应用于不同数据，逻辑不变。计算的形态是结构性的，而不是物质性的。