编者按：本文来自哈希派，作者：LucyCheng，星球日报经授权转载。作为计算机的理论模型，图灵机是英国数学家AlanTuring于1963年提出的、为了研究可计算问题而构思的抽象计算模型，可以看作等价于任何有限逻辑数学过程的终极逻辑机器。简单来说，图灵机由控制器、可无限延伸的纸带及在带子上左右移动的读写头组成；运行过程中，读写头从当前纸带上读取信息，并通过内部固定程序输出回纸带，同时转换自己内部状态在纸带上移动。这个概念简单的机器，理论上可执行任何直观可算函数。如果一门编程语言、一个指令集可实现图灵机模型里面全部的功能，或者说能够满足任意数据按照一定顺序计算出结果；我们就可称其具有图灵完备性。而上一问提到的以太坊就是一个图灵完备的区块链系统，其虚拟机可运行智能合约，理论上能够解决所有的可计算问题，从而尽最大限度满足各种现实应用场景的开发。不过图灵完备的通用性，保证的是计算的可行性，不保证计算的效率及代码的可理解性、可维护性；所以它不一定能满足某些领域的特定需求。当需求之间存在冲突时，语言开发者须进行取舍并作出优化设计，从而降低解决问题的复杂度。
声音 | 马云：数字经济监管应留下充分空间:据新浪财经消息，昨日，马云赴联合国日内瓦总部万国宫主持召开联合国数字合作高级别小组第二次全体会议。他在发言中提出，数字技术领域的规则制定必须具有前瞻性、灵活性和包容性，要从过去的强监管向智能监管转变。就数字经济监管问题，马云认为应留下充分空间。目前，很多发展中国家的数字化进程尚未开始，现在就着手制定数字经济监管规则，时机还远未成熟。[2019/1/22]
声音 | 马云：区块链等技术如果不能和制造业、服务业相结合将毫无意义:据澎湃新闻消息，在今日2018世界人工智能大会上，马云称，数据时代也是供给侧改革经济转型的重大机遇，AI技术、区块链技术、IoT技术，这些技术再先进，如果不能和制造业、服务业相结合，不能推进转型升级，不能推动社会更加绿色、更加持续发展、更加普惠的方向变革，不能让我们的生活更加健康、更加快乐，这样的技术毫无意义。[2018/9/17]
马云：未来10-20年内 机器智能、IoT和区块链三大技术让人类面临挑战:在第二十届中国科协年会开幕式上，阿里巴巴集团董事局主席马云出席并发表题为《因为相信，所以看见》的演讲。马云认为，未来10-20年以内，将有三大技术让人类面临挑战：机器智能、IoT和区块链。对于区块链，他认为区块链不是泡沫，但今天的比特币可能是泡沫。[2018/5/26]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。