当计算智能和计算合同无处不在时，世界会变成什么样？
我们今天生活在一个有趣的时刻-我们刚刚开始看到我们称之为“计算力量”的含义。最后，它会影响几乎所有事情。会发生什么事情关于人类状况，人类文明成就与我们称之为计算的事物的基本性质之间的相互作用，真的是一个深刻的故事。
那么，什么是计算？嗯，当你遵守规则或我们称之为程序时会发生什么。当然，我们人类已经编写了许多程序来执行特定的操作。但是摘要中的一般程序中的程序呢？好吧，那里有无数可能的程序。许多年前，我将望远镜的模拟转向了计算领域。这就是我所看到的：
用Wolfram语言创建的元胞自动机数组。每个框代表一个不同的简单程序。通常他们只是做一些简单的事情。但仔细看看。有一个很大的惊喜。这是我看到的第一个例子。
你从一个单元格开始，你只需遵循这个简单的程序-但这就是你得到的：所有这些复杂性。起初，很难相信你可以从这么少的事情中获得这么多。但看到这一点改变了我的整个世界观，让我意识到计算的力量是多么强大。
因为这就是制造所有复杂性的原因。这就是让自然-看似如此轻松-让它变得复杂的原因。它也是允许数学这样的东西具有丰富性的东西。它为我们人类可以做的一切提供了原材料。
现在事实是，我们才刚刚开始充分利用计算力。实际上，我们今天所做的大部分事情-以及我们构建的技术-都是专门为避免它而设置的。因为我们认为我们必须确保一切都足够简单，以便我们可以预见将要发生的事情。
但是为了利用计算领域中的所有功能，我们必须超越它。所以，这就是问题：我们人类想要做的事情-然后在计算领域就有了所有这些能力。那么我们如何将它们结合在一起呢？
嗯，实际上，我花了很多时间试图解决这个问题-我认为关键是我称之为计算语言。而且，是的，现在世界上只存在一种基本上完整的计算语言-而且它是我过去三十年建立的那种-Wolfram语言。
传统的计算机语言-“编程语言”-旨在告诉计算机该做什么，基本上是计算机使用的本机术语。但是，计算语言的想法是采取我们人类想到的那种东西，然后有办法在计算上表达它们。我们需要一种计算语言，不仅可以讨论计算机中的数据类型和数据结构，还可以讨论我们世界中存在的真实事物，以及我们用来讨论它们的知识框架。
使用计算语言，我们不仅可以帮助我们制定计算思维，还可以根据我们的条款与计算机进行通信。
我认为计算语言的到来非常重要。大约年左右的数学符号的到来有一些类比-这就是让数学起飞的原因，并在很多方面启动了我们的现代技术世界。在书面语言的整体思想中也有一些类比-它推出了很多关于我们的世界建立方式的东西。
但是，你知道，如果我们看一下历史，可能最单一的系统趋势是技术的进步。随着时间的推移，我们已经越来越多地实现了自动化。随着计算的急剧加速。最后，从某种意义上说，我们几乎可以自动化一切。但仍然存在一些无法自动化的问题：我们想要做什么的问题。
这是当今的技术模式，它将越来越成为未来的技术模式：我们人类定义我们想要做的事情-我们设定目标-然后技术尽可能高效地尝试做我们想做的事情。当然，其中一个关键部分是解释我们想要的东西。这就是计算语言至关重要的地方：因为它允许我们将思维转化为可以通过计算自动执行的东西。实际上，它是我们的思维模式和计算力之间的桥梁。
让我说一下关于计算语言的实用内容。回到计算机行业的曙光，我们只是处理用机器代码编程的原始计算机。但很快就开始出现低级编程语言，然后我们开始能够理所当然地认为我们的计算机将拥有操作系统，然后是用户界面，等等。
好吧，我的目标之一是使计算智能也无处不在。因此，当你走到你的计算机时，你可以理所当然地认为它将拥有我们文明所建立的知识-智慧。它将立即了解有关世界的事实，并能够利用科学成果和人类知识的其他领域来解决问题。
显然，使用Wolfram语言和Wolfram
Alpha等，我们已经构建了很多这样的东西。你甚至可以经常使用人类自然语言来做问题。但是如果你真的想要构建任何复杂的东西，你需要一种更系统的方式来表达自己，而这就是计算语言和Wolfram语言的关键所在。
好吧，这是一个重要的用例：计算合同。在今天的世界里，我们通常用自然语言写合同，或者实际上用更精确的东西写法：legalese。但是，如果我们能用计算语言编写合同呢？然后它们总是可以像我们希望的那样精确。但还有其他的东西：它们可以自动执行，也可以自动执行。哦，以及可验证和可模拟，等等。
计算合同比典型的区块链智能合约更通用。因为他们的本性可以谈论现实世界。它们不仅仅涉及加密货币的运动;它们涉及数据，传感器和执行器。它们涉及将人类判断的问题转化为机器学习分类器。最后，我认为它们基本上就是运行我们世界的东西。
现在，世界上大多数计算机都在执行我们基本上发起的任务。但是，根据计算合同，我们的世界将越来越多地涉及计算机彼此自主地相互作用。一旦世界发生了某些事情-建立了一些计算事实-我们将很快看到计算合同的级联执行。并且在不同计算行为的相互作用中会存在各种复杂的内在随机性。
从某种意义上说，我们所拥有的是一个完整的AI文明。有自己的活动，历史和回忆。计算合同实际上是人工智能文明的规律。我们可能希望有一种AI构成，它定义了我们希望AI行动的程度。
不是每个国家或每个国家都想要同一个国家。但我们常常想说“对人类好”。但我们怎么说呢？好吧，我们必须使用计算语言。我们最终会得到一些微小的陈述-一些黄金法则-会不会实现我们想要的一切？人类法律体系的复杂性并不会使这看起来很可能。实际上，根据我们对计算的了解，我们可以看出它在理论上是不可能的。
因为，基本上，不可避免地会出现意想不到的后果-角落案件，或者错误，或者其他什么。并且需要应用无限层次的补丁-有点像我们在人类法律中看到的那样。
你知道，我一直在谈论计算机和AI进行计算。但实际上，计算是更普遍的事情。这是你遵循任何一套规则所得到的。它们可以是计算机程序的规则。但是，对于某些技术系统或某些系统而言，它们也可能是规则。
想想计算领域中的所有程序。详细而言，他们都在做不同的事情。但他们如何比较？是谁有一个比谁更强大的整体等级？嗯，事实证明，计算世界是一个非常平等的地方-因为我发现了一些叫做计算等价原理的东西。
因为这个原则所说的是，所有行为不明显简单的程序实际上都与计算的复杂程度相当。如果你的规则非常简单或非常复杂并不重要：完成计算的复杂程度没有区别。
自通用计算的概念建立以来已有80多年了：可以使用可编程的固定机器进行任何可能的计算。显然，这是一个重要的想法-因为它是推动软件行业和当前技术的大部分。
但计算等价原理说的更多：它说不仅是普遍计算这样的东西，它无处不在。在可能程序的计算领域中，许多人实现了它，甚至是非常简单的程序，如规则30.而且，是的，在实践中，这意味着我们可以期望用比我们想象的更简单的分子组件来制造计算机。。这意味着各种甚至相当简单的软件系统都可以是通用的-并且不能保证安全。
但是有一个更基本的结果：计算不可约性的现象。能够预测东西是一件大事，例如传统的科学思维。但是，如果你要预测一个计算系统-即第30条规则-将会做什么，那意味着你必须要比你更聪明。但计算等效原则说这是不可能的。无论是计算机还是大脑或其他任何东西，它都在进行具有完全相同复杂性的计算。
因此，它无法超越实际系统本身。系统的行为在计算上是不可简化的：除了通过明确地运行或观察它之外，没有办法找出它将会是什么。你知道，我在20世纪80年代早期提出了计算不可约性的概念，并且我已经考虑了很多关于它在科学中的应用，理解像自由意志等现象。但我从来没有想到它会在区块链的工作证明中找到一个应用程序，并且世界计算机中可测量的部分将花费时间有目的地研究计算不可约性。
顺便说一下，它的计算不可约性意味着你总是会产生意想不到的后果，而你将无法拥有像简单完整的AI构成这样的东西。但它也是计算不可约性，从某种意义上说意味着历史是重要的：历史进程中有一些不可简化的东西。
你知道，到目前为止，在历史上我们只有一个例子，我们可以轻松地称之为“情报”-这就是人类的智慧。但是，计算等价原理所暗示的是，实际上有很多东西在计算上同样复杂。我们有目的地建立了人工智能。但是之后还有天气这样的事情。是的，我们可能会用某种万物有灵的方式说“天气有它自己的思想。”但计算等效原理所暗示的是，在某种真正的意义上它确实如此：大气中的水动力过程与任何事物一样复杂继续我们的大脑。
当我们观察宇宙时，有无数复杂计算的例子-我们实际上无法与“外星智能”区别开来。唯一的区别是-就像天气一样-只是计算正在进行。没有对齐当然，这是一个很滑的业务。区块链上的涂鸦是故意的吗？或者它只是一些计算过程的结果？
这就是计算语言很重要的原因：它提供了原始计算和人类思维之间的桥梁。如果我们看一下典型的现代神经网络，就很难理解它的作用。与定理的自动证明的中间步骤相同。问题在于，没有“人类故事”可以讲述那里发生了什么。这是计算，好吧。但是-有点像天气-它不是与人类经验相关的计算。
不过，这有点复杂。因为当事情变得熟悉时，它们最终会变成人类。我们为天气中的常见现象发明了词语，然后我们可以有效地使用它们来讲述正在发生的事情的故事。我作为一名计算语言设计师度过了我的大部分时光。从某种意义上说，语言设计的本质是识别那些常见的计算工作块，一个人可以在语言中制作原语。
这有点像圆形的东西。一旦一个人开发了一个特定的原语-一个特定的抽象-然后就会发现一个人可以开始用它来思考。然后，构建的东西最终会基于它。这与人类的自然语言是一样的。曾经有一段时间没有“桌子”这个词。因此，人们不得不开始用平坦的表面和腿等来描述事物。但最终出现了这种“桌子”的抽象。一旦它成功，它就开始融入人们为自己建造的环境中。
这是一个常见的故事。在数学中，有无数个可能的定理。但人们研究的是通过创建一些通用抽象然后逐步建立它来实现的。在计算方面，计算领域中发生了很多事情-就像在物理世界中发生了很多-我们没有办法连接到计算领域。
这就像AI正在走向并引领自己的存在，我们不知道发生了什么。但这是计算语言和计算合同的重要性。它们让我们将AI与人类理解和关心的东西联系起来。
让我们谈谈更遥远的未来。鉴于计算等效原则，我必须相信我们的思想-我们的意识-能够完全以纯粹的数字形式表现出来。所以，好吧，在某些时候，我们文明的未来可能基本上是一个盒子里的万亿灵魂。人工智能的外星人智慧与人类智慧的未来会有复杂的混合。
但这是可怕的事情：从外面看，那些我们未来的万亿灵魂将只是在进行计算-而且从计算等价原理来看，这些计算并不比计算机更复杂，比方说，所有这些电子在岩石内部运行。不过，区别在于框中的计算在某种意义上是我们的计算;它们是与我们的特征和目的相关的计算。
在某种程度上，如果我们文明的未来是一个万亿无实体的灵魂基本上在永恒的剩余时间里玩电子游戏，那似乎是一个糟糕的结果。但人类的目的正在发展。我的意思是，如果你试图向一千年前的某人解释为什么今天我们可能会在跑步机上走路，我们会发现它很难。而且我认为好消息是，在历史的任何时候，当时发生的事情在当时看起来都是完全有意义的。
计算等价原理告诉我们，从某种意义上说，计算是无处不在的。现在，我们定义的计算主要存在于我们构建的计算机中。但随着时间的推移，我预计我们不会只拥有电脑：一切都基本上都是电脑。有点像它如何与生物生命一起使用的概括，每个对象和每种材料都将由我们以某种方式定义的计算组成。
但压力再次出现在我们如何做这个定义上。物理学给出一些基本规则。但我们可以说更多。它是计算语言，使我们对人类说的有意义。
在更接近的术语中，有一个非常重要的转变：计算语言中的读写能力变得非常普遍。使用Wolfram语言非常棒，我们现在可以为孩子们提供一种真正实现计算思维的方法。很高兴我们现在可以拥有计算文章，人们可以用自然语言和计算语言混合表达自己。
但是这有什么可能呢？从某种意义上说，人类语言是推动文明发展的。计算语言会做什么？我们可以重新思考几乎所有事情：通过让每个人都写一篇关于他们想要什么的计算文章来实现的民主，然后将其提供给一个大的中央人工智能-它不可避免地具有政治哲学的所有标准问题。思考科学或知识的意义的新方法。组织和理解认可机构文明的方法。
其中很大一部分将从计算合同和自主计算的概念开始-这是自然法，人类法和计算法世界的一种奇怪的合并。莱布尼兹这样的人在三个世纪前就有所期待-但最终在今天变得真实。最后，一个代码运行的世界。