摘要： 图灵将世界上的数学问题分成了两类，一类是可以用图灵机在有限步内完成计算的，另一类是不可以的。今天我们说一个软件问题能不能计算，其实不是指数学计算，而是能否用图灵机这个简单逻辑来计算。图灵机给后人设计计算机制定了一个行之有效的原则，就是计算机可以通过存储地址、计算机状态、规则表和当前位置的读写来进行计算。 阅读全文