区块链概念整理之图灵停机问题

之前再更新“图灵完备智能合约”的时候，讲过了谁是图灵的问题，那么今天再看一下，当图灵+停机，又会产生什么概念。
停机，就如字面上看就是停止、机器停止的意思。又或者比如，电脑因为运行不完善的程序，导致永远无法停止，这时就可以称为无法停机。

陷入死循环，就像一直衔住自己尾巴的蛇永远打转

但是，图灵停机问题并不是这么简单，它指的是个证明：
“不存在这样一个程序或算法，它能够计算 任何程序或算法 在给定输入后是否会结束（停机）。”
举一个简单例子，无法开发一个程序，让一台电脑在自己确认自己关机后，给你发一个邮件。
那么，在分布式网络中，如果运行一个程序，而节点服务器无法判断这个程序何时终止，那么整个网络都将面临巨大的风险——整个网络将一直处理这个程序，无法响应其他的请求。
如果我们把区块链网络想象成一个超级计算机，或许就更好理解这种灾难性的后果了。所以这也是以太坊这样的网路需要添加运算成本（gas）的根本原因。