但我们可以用不确定性的抽象构造思想 来表达这一层不确定性。 艺术即是如此（如绘画和音乐）。 中本聪的 #btc 更是如此， 中本聪手艺干了一件 艺术和机械的形式化构造统一。 这种手艺既是艺术又是形式化的科学。 图灵机表达的那部分（即代码） 是 形式化科学，而 非图灵机表达的 群体的最长链属性 是一种抽象的艺术。(Lux(λ) ｜光灵｜GEB)