虚构之理（一）

网友评论

• XyanXcllet:然而 Selim Akl 已经指出：没有通用图灵机这个玩意！具体论证可见 Akl 个人主页的 "Non-Universality in Computation"。
  而且他的论证很可能指向丘奇-图灵论题为假。（不止是挑战了。）

  十酒三:@XyanXcllet 看了下，他讨论的通用性根本不是Church turing论题的通用性，而且结论很平庸：无非就是总是停机的图灵机（decider）不能是通用的。