宇宙的边缘世界

 本他就提出只有可计算（图灵可判定）的数学结构对应真实的物理存在，并且这个“数学结构”是良定的，数理逻辑上本就可以谈论可计算的数学结构（struture (mathematial logi)）是什么。每个可计算的数学结构当然都对应无限多个计算机程序。

    当然这个是不是物理现实是另一事。