Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions 第一章.asciidoc
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@

从计算机科学的角度来说,以太坊是一种确定性但实际上无界的状态机,它有两个基本功能,第一个是全局可访问的单例状态,第二个是对状态进行更改的虚拟机。

从更实际的角度来说,以太坊是一个开源的,全球的去中心化计算架构,执行成为 _智能合约_ 的程序。它使用区块链来从同步和存储系统 _状态_,以及称为 _ether_ 的加密货币来计量和约束执行资源成本。
从更实际的角度来说,以太坊是一个开源的,全球的去中心化计算架构,执行称为 _智能合约_ 的程序。它使用区块链来从同步和存储系统 _状态_,以及称为 _ether_ 的加密货币来计量和约束执行资源成本。

以太坊平台使开发人员能够利用内置的经济学方法构建强大的去中心化应用程序。在保证持续正常运行时间的同时,还可以减少或消除审查机构,第三方接口和对手方风险。

Expand Down Expand Up @@ -177,7 +177,7 @@ https://parity.io/
[[turing_completeness]]
=== 以太坊和图灵完整性

只要你开始阅读关于以太坊的信息,你将立即听到“图灵完成”一词。他们说,与比特币不同,以太坊是“图灵完成”。这到底是什么意思呢?
只要你开始阅读关于以太坊的信息,你将立即听到“图灵完备”一词。他们说,与比特币不同,以太坊是“图灵完备”。这到底是什么意思呢?

术语“图灵完全”是以英国数学家阿兰图灵(Alan Turing)的名字命名的,他被认为是计算机科学之父。1936年,他创建了一个计算机的数学模型,该计算机由一个状态机构成,该状态机通过读写顺序存储器(类似于无限长度的磁带)来操纵符号。通过这个构造,Alan Turing继续提供了一个来回答(否定的)关于 _通用可计算性_(是否可以解决所有问题)问题的数学基础。他证明了存在一些不可计算的问题。具体来说,他证明 _停机问题_ _Halting Problem_(试图评估程序是否最终会停止运行)是不可解决的。

Expand Down