庆祝一个世纪的三分之一的Mathematica,并期待着

从Mathematica的30周年纪念,也可以看到:我们在30年内走了很长的路要理(但你还没有见过!)“。

庆祝一个世纪的三分之一的Mathematica,并期待着

Mathematica1.0于1988年6月23日发射.所以(有点依赖你如何进行计算今天是它的第一个三分之一世纪纪念日。很高兴看到创意和技术之塔我们长期努力奋斗的成果,在那三分之一个世纪的时间里得以发展——它变得多么高大,它还在以多么快的速度增长。

在过去的几年里,我越来越欣赏我们最终建造的东西是多么独特,我们最初的选择是多么幸运基础和原则是.即使过了三分之一个世纪,我们仍然看起来像是来自未来的藏物事实上,随着它的持续增长和发展,每年都是如此。

在里面思想史的长远观点在美国,过去的三分之一世纪将被视为计算范式第一次真正扎根的时代,也是它对“计算X”的所有影响开始增长的时代。就我个人而言,我感到非常幸运,能够生活在正确的历史时期,能够深入参与这项事业,能够为我们所建立的事业做出如此大的贡献。

回到过去的三分之一世纪,也就是1955年,我们看到了电子计算机的曙光,也是计算机开始大规模生产的时候。又过了三分之一世纪,我们回到了1921年数学逻辑刚刚开始融合成为了计算的概念。在某种程度上,我们建造的内容更多到1921年,而不是1955年。是的,Mathematica和来自它的一切都在电子电脑上运行;他们是让我们实现我们所做的事情的原因。但从一开始,Mathematica的核心 - 现在是什么Wolfram语言——是基于超越具体实施的基本理念。

对我来说,关键问题是如何采取计算的概念并将其用作描述和思考事物的框架.随着时间的推移,我越来越清楚地了解到,这一切都是为了创造一个计算语言:一种允许人类在计算形式中结晶他们的思想和知识的语言,然后利用实际计算机的力量来解决它们的后果。在一个世纪的过去三分之一,我们已经走了很长的方式,到了我觉得我们可以合理地宣布我们现在已经实现了创造一个全面计算语言的目标 - 这将超越其所设定的期望原来的名字Mathematica我们现在越来越简单地称之为Wolfram语言

这是一个精彩而深深的旅程,已经交付给世界工具,这些工具已经支持了无数的发明和发现,并帮助教育了几代学生。但是,在某些方面,这是一段越来越孤独的旅程 - 似乎似乎进一步提升并远离了今天可以用计算机和计算所做的常见期望。

回到1955年,始终持续到今日持续的趋势:我们应该将电脑视为我们“计划”的东西,实际上是讲述他们的条款 - 该条款 - 什么。而这一观点是导致了过去三分之二世纪的“编程语言”。

但我们使用计算语言的目标是有所不同的——在某种意义上,它更人性化,与世界的联系更紧密。因为我们的目标不仅仅是创造一种专门为计算机编程的语言,而是一种用计算的术语来代表一切的语言——包括世界上真实的事物。我们不仅要利用电子计算机的实际细节,还要利用计算范式的概念能力。

在某种意义上只需要编程语言只能纳入代表实用计算机的原始能力所需的内容。但要实现全面的计算语言,我们需要投入到世界广泛的实际知识并将其纳入语言。即使在愿望中,这很远离典型的预期,这意味着编程计算机。

计算机的开发及其在过去三分之二的使用中的使用是通过添加了一系列可被视为理所当然的能力。首先有编程语言。然后是操作系统。文件系统。用户界面。联网。基于互联网的服务。安全。也许更多。但是我们的目标是将计算智能的非常重要的添加到该列表中,通过开发全规模计算语言。

特别是近年来,我们一直在努力实现这一目标,简化了Wolfram语言的部署,并通过计算机行业的渠道。我认为我们能够建立一个伟大的成就之一组织和业务已经能够继续关注发展和交付计算智力的长期使命 - 现在超过三分之一世纪。我不仅为我们在技术的一贯创新方面感到骄傲,也很荣幸,也是我们商业惯例的一致性和可持续性。但最终,我们建造的核心是根本知识的。

最早的正式系统——数学和逻辑——可以追溯到古代。但直到四个世纪前,数学符号的发明使数学得以发展,并使数学科学成为可能。一个世纪以前,我们看到了计算的形式概念的发展的开端,因为它是从逻辑的思想中产生的。与计算,从某种意义上说,我们的目标语言是现在做一些数学符号的发明,但对于更广泛和更深入的计算和领域从而使大幅简化我们的思考能力在计算方面,和一个框架来构建这些“计算X”字段。

我初时开始设计mathematica和它的前身SMP-我的想法是做我现在可以称之为元建模:深入到我们所知道的形式结构的下面,并找到其下面的核心。然而,我所做的事情的本质是抽象和人类的奇妙结合:我想为世界找到抽象的计算原语,但我希望它们对我们人类来说是方便和舒适的。几十年后,我越来越意识到,从很多方面来说,我选择这个方向是非常幸运的。

我的核心思想是用符号表达式来表示一切,用符号表达式上的转换来表示所有的操作。在使用现在的Wolfram语言的三分之一个世纪的经验之后,很明显这将会成功。但是回想起来,特别是我最近从我们的形式主义中学到的物理项目,我在SMP的决定超过40年前的似乎更加富裕 - 或者可能是先验 - 而不是我想象的。

问题的NUB是从计算中“获取答案”所需的内容。一个有一个象征性的表达式,一个有一个有各种变换规则。但是应该如何应用?如果有多种选择怎么办?即使是40年前,我肯定想知道这些事情。但我决定采取最简单的方法,只是“做一个适用的第一次改造”,并继续这样做,直到什么都没有改变。

是的,有一些极端情况(比如)我知道这会失败。但问题是我们人类想要做的绝大多数计算是否会成功完成。现在我们知道答案:是的,他们可以。多年来,我们已经看到了象征性表达式可以成功地代表越来越多的事情 - 以这种方式应用的转换。

从某种意义上说,这种工作在实践中是一个有趣的 - 而且最终深——“metascientific”的事实关于人类对事物的看法但最近,我意识到,在基础科学的广泛范围内,还有更多的东西需要思考。是的,我们在Mathematica和Wolfram语言中所拥有的对于我们人类的观点和应用计算范式都是很好的优化。但也有一个整体多表型范式就是这样可能的,实际上,Wolfram语言已经让我们推动了。

建立我们的思想和技术之塔是一种令人着迷的经历。每一步都是一个严格的过程(现在经常转播画面),以达到创建一层又一层坚固而连贯的结构所需的清晰度。但随着塔的增长,有时我们突然可以看到更远的地方,可以概念化我们以前甚至没有想象过的全新领域。

技术通常有一定的暂时性,不断被新的更好的东西取代。但是Mathematica和Wolfram语言的基本特征给了它们一种永恒的恒久性——这使我们在三分之一世纪以前创建的东西在今天仍然显得新鲜和现代。看到我们所有的努力在这些年来逐步建立起来,当然令人满意。特别是在最近,有一个令人印象深刻的递归加速:对于到目前为止我们构建的所有东西,构建新东西变得越来越快。

未来会怎样?在我看来,有一部分是冷酷无情的。随着时间的推移,现在看起来像是来自未来的人工制品的东西会逐渐被人们所熟悉,成为现在的人工制品。30年前,一些看起来像是来自未来的文物已经发生了这种情况。但即使从那时起,还有更多的事情要做。从那以后的几年里,还有更多。

然后是部署。在过去的三分之一世纪里,我们已经看到了个人电脑、gui、并行、移动、嵌入式、网络、云,现在又看到了XR、区块链和更多。在每一种情况下,我们都有新的想法和机会,可以用我们的计算语言和它的核心符号框架来做什么。虽然我们不知道未来会有什么样的部署,但我认为我们可以有信心,它们将向我们展示更多的新想法和机会。

但对我个人来说,最令人兴奋的部分是概念上的突破。我们有基本的理论理由相信,在计算的宇宙中,总有更多的东西有待发现和发明。当然,在过去的三分之一个世纪里,这就是我所经历的。一般的计算范式,尤其是我们的计算语言,不断地为我们提供思考事物的新方法。一开始可能只是个想法。但很快它就变成了一种工具。然后是一个框架。然后我们可以在这个框架的基础上更进一步。

我们发明或发现的一些东西,至少在几十年前是我想象出来的。但很多时候我没有。相反,只有凭借我们所建立的独特的思想和技术,才有可能最终达到所需的理解或能力的新水平,并成功地在思想史上迈出下一步。

以现代科技的标准来看,三分之一个世纪似乎是永恒的。但是说到Mathematica和Wolfram语言的基础进步,它只是一个很小的时间跨度。但在这段时间里,我为我们所取得的成就和所建立的坚实基础感到自豪。现在,我期待着未来,看到它将带来的无情和令人惊讶的发展。这对Mathematica和Wolfram语言来说是一个伟大的前三分之一世纪。但这只是个开始....

Baidu