另起炉灶咋这么难？图灵的工作的本质到底是啥，是证明了一种计算模式的完全性吗？再找到另外一种模式为啥不容易？
--
FROM 218.249.201.*