图灵机”(Turing machine)被认为是通用计算机最早的模。他是理论计算机科学之父。他是人工智能之父，发明了检验人工智能是否已经有足够智慧能够骗过人类的“
图灵测试”(Turing test)。有着“计算机界的诺贝尔奖之称”的计算机科学领域**奖就是以他的名字命名的“
图灵奖”(A.M. Turing Award)，由美国计算机协会(ACM)与1966年设立。
姚期智先生，是该奖项迄今唯一华人得主。2017年2月，姚期智先生放弃外国国籍成为中国公民，正式转为中国科学院院士[2]。我们前文曾经介绍过的
高德纳(Donald Knuth)，也曾获得过1974年图灵奖。(参见《比特币史话·14 | 哈希(1)》)
[公众号:刘教链]
形态发生学”(morphogensis)的化学基础的论文，预言了
振荡化学反应的存在。该预言在他死后6年的1960年被实验证实。他的论文启发了诺奖得主
普利高津(Ia Prigogine, 1917-2003)，后者因提出耗散结构理论而获得了1977年诺贝尔化学奖。普利高津在1977年于瑞典斯德哥尔摩所做的诺贝尔讲座中引用了图灵的论文并指出，“
图灵分叉”(
Turing bifucation)形成了系统的“
历史”(history)，产生了不同于动力学时间和热力学时间的第三种时间，
流淌在历史长河之中的时间。比特币区块链PoW算力竞争中的自发分叉，正是图灵分叉。(关于比特币区块链是“时间链”的有关历史，请参看《比特币史话·22 | 时间之矢(5)》)
[公众号:刘教链]
[公众号:刘教链]
图灵完全”(Turing completeness)。一门计算机编程语言，如果是
图灵完全的(Turing complete)，那么这门编程语言就在理论上足以编码出任何计算机能够做到的任务。
比特币脚本不是图灵完全的。这究竟是中本聪的故意，还是中本聪的失误？我们这就来一探究竟。
文章标题：比特币史话·69 | 智能合约(4): 图灵完全吗？
文章链接：https://www.btchangqing.cn/94542.html
更新时间：2020年08月30日
本站大部分内容均收集于网络，若内容若侵犯到您的权益，请联系我们，我们将第一时间处理。
