之前再更新“图灵完备智能合约”的时候,讲过了谁是图灵的问题,那么今天再看一下,当图灵+停机,又会产生什么概念。
停机,就如字面上看就是停止、机器停止的意思。又或者比如,电脑因为运行不完善的程序,导致永远无法停止,这时就可以称为无法停机。
但是,图灵停机问题并不是这么简单,它指的是个证明:
“不存在这样一个程序或算法,它能够计算 任何程序或算法 在给定输入后是否会结束(停机)。”
举一个简单例子,无法开发一个程序,让一台电脑在自己确认自己关机后,给你发一个邮件。
那么,在分布式网络中,如果运行一个程序,而节点服务器无法判断这个程序何时终止,那么整个网络都将面临巨大的风险——整个网络将一直处理这个程序,无法响应其他的请求。
如果我们把区块链网络想象成一个超级计算机,或许就更好理解这种灾难性的后果了。所以这也是以太坊这样的网路需要添加运算成本(gas)的根本原因。