图灵机

从图灵机到中本聪:群体组织可计算理论的崛起

引言:可计算性的范畴危机在过去的近一个世纪里,计算科学一直建立在图灵机(Turing Machine)的抽象之上。图灵机成功地模拟了个体思维的逻辑演绎过程,将“计算”等同于状态机的确定性转换。然而,当我们试图用这套理论去解决生产关系、社会组织或去中心化共识时,却陷入了中心化的悖论。原因在于:我们一直试图用个体计算属性去模拟群体组织属性,从而忽视了两者在数学逻辑上的本质差异。一、 范畴划分:个体、群