7年的nks,以及它的第一款杀手级应用

(本文最初发表于Wolfram的博客.)

2009年5月14日是7th出版周年纪念一种新的科学我的传统是在这些纪念日写一份关于NKS进展的简短报告。

在过去的几年里,看到NKS方法和NKS范式逐渐被吸收到无数不同的领域,是一件令人着迷的事情。有时会明显提到NKS,但通常没有。

在NKS中率先使用的模型类型的使用已经出现了不可阻挡的增长。在NKS中引入的各种计算实验和研究的应用一直在稳步增加。NKS思考计算的方式以及计算方面的方式越来越普遍。

NKS书中所作的许多具体调查现已得到扩展和加强。甚至NKS书中关于基础物理学的结果现在也越来越接近主流。

直接针对纯nk(对简单程序和计算宇宙的基本研究)的学术研究已经涓涓细流,尽管仍有巨大的增长机会。

我不断发现,我在不同领域遇到的很多思想领袖都读过NKS的书,而且读得非常详细。

6月我们将举行我们的7thNKS暑期学校(今年是在意大利,这是第一次在美国以外的地方)。每年我们都会收到越来越多高质量的申请,今年将是我们迄今为止最大的暑期学校。

但对我来说,今年发生的最大的事情是Wolfram | Alpha

当我在写NKS的书的时候,我一直在想什么是NKS的第一个“杀手级应用”(这是一个来自软件行业的短语)。

我试着回想1936年,当通用计算的概念被引入时,人们会怎么想。有人能预测电脑上的第一个杀手级应用程序会是什么吗?

事实上,首先是数据库——它推动了大型计算机行业,然后是文字处理器——它推动了个人计算机行业。

尽管数据库和文字处理器在实践中有着巨大的重要性,但它们实际上只是一个与通用计算一样强大的思想的平凡应用。

即使没有通用计算的完整概念,这两个应用程序也可能完成。

但关键是,通用计算的范式是至关重要的,即使是想象这两种应用都会有意义。

现在NKS和Wolfram|Alpha也是如此。

我相信,Wolfram|Alpha将成为NKS的第一个杀手级应用。

虽然Wolfram|Alpha是非凡的,但它在某种程度上仍然是平淡无奇的,相对于NKS中思想的全部力量。

然而,如果没有NKS范例,我无法想象我会认为Wolfram|Alpha是有意义的。

世界上有一个极其复杂的系统化知识网络。在NKS之前,我认为要处理如此复杂的事情,就需要构建一个相应复杂的系统——实际上完全无法实现。

但从NKS我们了解到,即使是高度复杂的东西,也可能起源于简单的规则和简单的程序。

这激发了我相信构建Wolfram|Alpha是可能的。

作为一个实际问题,Wolfram|Alpha中的许多算法是通过NKS方法找到的——通过搜索计算空间来寻找达到特定目的的程序。

而且有一种奇怪的感觉,即NKS关于计算不可约性的发现是使Wolfram|Alpha成为可能的原因。

因为Wolfram|Alpha的一个关键特性是它能够接受自由形式的语言输入,并将其映射到计算的精确符号表示上。

然而,如果这些计算可以是任何形式的,那么就很难识别代表它们的语言输入。

但是从NKS我们知道计算分为两类:可计算约化和不可计算约化。

NKS表明,在所有可能计算的抽象空间中,计算不可约是最常见的。

但关键的一点是:因为这些计算不是我们历史上研究或讨论过的内容的一部分,所以没有系统的人类语言传统来描述它们。

因此,当我们使用自然的人类语言作为Wolfram|Alpha的输入时,我们不可避免地将描述具有悠久的语言传统,并且在计算上可简化的轻量级计算集。

这些计算涵盖了传统科学。但从某种意义上说,正是计算不可约性的普遍存在,迫使计算可约性只存在一小部分——即使从相当模糊的语言输入中也能很容易地识别出来。

如果你看看今天的Wolfram|Alpha,它计算的很多东西都是基于ok(“旧的科学”),从这个意义上说,Wolfram|Alpha可以被视为一个光辉的例子,说明在nks之前的数学科学可以实现什么。

奇怪的是,经过这么多年,这也许也是通用计算在工作中的第一个清晰的消费化例子。现在,任何人都将第一次能够走近计算机,立即看到它能做的各种各样的可能计算。

那么NKS呢?NKS对于Wolfram|Alpha的概念化当然是至关重要的。

即使在今天,人们也可以使用Wolfram|Alpha来做一些NKS:你可以输入“规则30″,或者询问其他可以用语言术语指定的NKS系统。

但在未来,有巨大的机会在Wolfram|Alpha中做更多的NKS。

今天,Wolfram|Alpha使用来自科学和其他领域的现有模型,然后基于这些模型进行计算。

但如果它能找到新的模式呢?如果它能在飞行中发明呢?在飞行中进行科学研究?

这正是NKS认为应该可能实现的。根据要求探索计算领域,并找到对某些特定目的有用的东西。

几年前我们做了一个小实验沃尔夫勒姆音调我们用NKS来发明新的音乐曲调。但是还有很多事情可以做——用普通语言指导,用NKS自动发现。

我不知道今天的计算机是否足够快来做好这一点。但也许到明年,Wolfram|Alpha不仅会成为NKS让杀手级应用成为可能,它还会为NKS向我们展示的丰富的计算宇宙提供一个出口。

但是现在:明天(5月15日)是我们开始让Wolfram|Alpha live的日子——NKS的第一个杀手级应用。

(见Wolfram | Alpha的博客来跟进发射。)

Baidu