WOLFRAM

技术

Wolfram 科学

通过计算领域的基础科学来创建新技术

Stephen Wolfram 在 2002 年的所著 《A New Kind of Science》一书通常也被简称为“NKS”,Wolfram 科学是其基础科学的一个分支,着重于理解可程序的计算空间,即其行为、一般属性和应用。

Wolfram 科学 开启了关于计算的新的思考方法,也带来了创建计算技术的新方法。


通过 Wolfram Science 的概念挖掘可能程序的计算的领域已经成为创建 Wolfram 产品中使用的算法的关键方法。作为公司的长期愿景,Wolfram Research 会持续支持 Wolfram 科学及其智能开发。

简单程序并非都简单易用

Wolfram 科学中的一个核心发现是即便是不到一行的 Wolfram 语言代码这样的极短的程序也能有丰富而复杂的表现。

Rule 30

Stephen Wolfram最惊喜的发现:一个非常简单的程序能产生很复杂的行为,甚至使它的某些方面看起来是随机的——其随机程度足以产生一个很好的伪随机发生器。

探索计算宇宙

正如望远镜开启了现代天文学也引领了现代物理学,Wolfram 语言及其先驱开启了计算的领域的探索并产生了 Wolfram 科学。

计算等价原则

通过对计算领域的多年研究得出的 Stephen Wolfram 的核心原则,深度涵盖了对科学、技术和我们对这个世界的思考方式。

所有存在数学的空间

今天的数学——正如 Mathematica 中的许多函数——是基于一些特定定理的。Wolfram 科学强调能够产生尚未发明的数学分支的其他可能定理的丰富空间。

自然界的计算模型

随着 Stephen Wolfram 和很多其他人的大量工作,简单的程序开始取代数学方程成为大范围、尤其是有复杂行为的系统的最受欢迎的建模方法。

普遍性的阈值

制造一个通用计算机需要什么?Wolfram 科学的一个关键结果就是即使是及其简单的系统也可以作为能够计算任意事物的通用计算机。

生物学的范式?

正如数字信息的概念开启了基因组学,计算领域的概念让我们可以理解多样化的生物学过程及使医学变得困难的那些复杂性。

搜寻物理学

如果简单的程序可以产生无限复杂的行为,那么也许整个世界都可以只用一个简单的程序表示。Stephen Wolfram 已经在长期地探索这个概念了,产生了很丰富的结果,但依旧还在搜寻。

自动化的创造力

计算领域中的每个程序都像是一个新的概念,有着自己的推论,这些推论以其出乎意外、机智、有效性和美好让我们惊喜。

生成自然的美

大自然根据特定的简单程序创造了复杂而美丽的形态——但是通过计算领域中的所有程序,我们可以用取之不尽的资源来探索像自然界一样的美丽。

WolframTones:“一种新的音乐“

在 2005 年的铃声热潮中构建的 WolframTones 通过从计算领域中发掘创建了短乐曲。

生物学中的创新

搜索简单程序并不是一个新概念:实际上,它已经是生物学中的一支主要力量,和自然选择一起通向我们可以在生物学中看到的无尽的创造性的复杂形式。

Wolfram 科学的艺术

简单的程序——尤其是元胞自动机——带有可以通过搜索程序的计算领域找到的不同风格的表单,已经被广泛应用于生成装饰艺术。

建筑型式

当一个建筑项目调用既有内在逻辑又有复杂而丰富的结构的表格时,可以转而使用 Wolfram 科学来寻找可以生成它的简单程序。

挖掘算法

千年来,我们都在物理世界中挖掘技术。 现在则到了在计算领域中挖掘并发现我们未曾想到过的算法的时候了。数年来 Wolfram Research 一直在进行这个工作。

构建 Wolfram Algorithmbase

通过挖掘计算领域,我们已经在图像分析、函数求值、随机生成、机器学习及更多方面找到了越来越多的 Wolfram 语言算法。

最好的往往出其不意

多数传统算法有很有规律的迭代(周期性的)或递归(嵌套的)结构。Wolfram 科学 的搜索常产生不具有这种可识别结构的更优化的算法。

算法发现过程

正如化学领域中药物的发现,计算领域中算法的发现也需要目标——通常是用于比较或测试潜在算法的 Wolfram 语言程序。

非迭代的工程

传统方法包括在递增步骤中构建算法。Wolfram Science 方法则包含成功时可以立刻给出最终结果的大规模搜索。

在数万亿的程序中搜索

Wolfram Research 常在数万亿的程序中搜索对一个特定目的的最优算法,通常会避免容易导致意外结果的递增和演化方法。

难以理解的程序

在计算领域中,常会发现运算过程很难理解的最优程序——这就使评估性能或验证正确性的自动化方法成为必需。

Wolfram|Alpha 的秘诀

Wolfram|Alpha 在很多方面都是 Wolfram 科学的“杀手级应用”——它是通过科学上的概念发现和其介绍的实用方法实现的。

全都是计算

Stephen Wolfram 常称赞计算等效原理(Principle of Computational Equivalence)使他确信计算知识不需要类人的人工智能——因此 Wolfram|Alpha 项目是可行的。

自动判决和美学

Wolfram|Alpha 充满了能有效地自动化人类判断和美学选择的试探法。这些试探法大多是由 Wolfram 科学的方法启发或直接得到的。

语言理解方面的突破

Wolfram|Alpha 语言理解系统高度依赖于 Wolfram 科学的概念,它实际上设置了表示原始语言处理的互动简单程序的集合。

可视化计算过程

Wolfram 科学中的研究倾向于含有大量的计算过程的可视化——广泛应用于 Wolfram|Alpha 研发的技术。

计算相关教育的基础

正如数学一样,Wolfram 科学提供了抽象思考的介绍——同时也给学生提供今天的世界中无处不在的计算的重要理论和概念基础。

从幼儿园起步

遵循规则创建一个元胞自动机模式是幼儿园孩子们可以进行的一项活动,它已经教授了算法的概念和精度的重要性,并展示了它们与现实世界的联系。

打开数学思维

Wolfram 科学虽然注重在较初级的阶段教授抽象而严密的数学思维,但其通常更为简洁易懂而且与现实世界有惊人的直接联系。

包容性的科学

Wolfram 科学中包含了艺术、技术、自然、编程、探索、抽象思考等领域,适合不同年级的学生。

实时体验

Wolfram 科学让教师通过有没有设计好的结果的实时计算机实验,在课堂上为学生提供了现场演示探索过程的独特机会。

前计算机时代的科学

不需要数学,Wolfram 科学就可以介绍计算的概念并为学生提供以后学习传统计算机科学的重要框架。

一门科学,多种方法

Wolfram 科学含有计算机实验和实验观察、理论抽象思维、创新和评估模型——以及与美学相关的视觉思维。

每个人都在前沿

由于其新颖性和其方法论,Wolfram 科学中的研究对学生是很移动的——这样即便是年幼的学生也能进行自己的发现。

Wolfram 暑期学校

自2003年起,每年一度的 Wolfram 暑期学校一直是 Wolfram 科学的基于项目的教育的成功模型。

Wolfram 语言的角色

Wolfram 语言的先导使 Wolfram 科学成为可能——而 Wolfram 语言现在也为 Wolfram 科学提供着高度优化的环境。

代表计算的广泛性

Wolfram 语言的符号化基元及其模式匹配性能使其适合表示大范围的计算模型和简单程序类型。

内置的 Wolfram 科学函数

Wolfram 语言中有可以在 Wolfram 科学中进行像运行元胞自动机和图灵机等这样的一般操作的大量内置函数。

拓展为产品

一个 Wolfram 科学发现以 Wolfram 语言完成后,我们就可以轻松的提取其算法和模型等并将其拓展从而运用于产品层面中。

尝试体验

Wolfram 语言的互动性和高度自动化的特点使其极适应立刻进行计算机实验。

计算的实验室笔记本

Wolfram 笔记本文件适合记录计算机实验,显示每个步骤的结果,并在相关观察结果中提取和加入文本。

历史和环境

Wolfram 科学是很多人工作的结果,其核心贡献是 1980 年 Stephen Wolfram 做出的,这部分在他 2002 年的书 《A New Kind of Science》 中有所体现。

推广科学

自17世纪以来,大部分精密科学都是以为这个世界构建数学方程为基础的。Wolfram 科学旨在推广通过用程序取代方程来对世界建模的方法。

复杂性的科学

某种程度上由 Stephen Wolfram 在 1980 年代早期的工作产生,复杂理论研究有复杂行为的系统,但并没有和 Wolfram 科学中一样的全局观点。

经典转换范例

当 Stephen Wolfram 在 2002 年出版其书籍时,它经历了像很多历史性思考模式转移时发生过的震荡,但很快就开始了被广泛接受的长期过程。

不断涌现的证据

像计算等价原理这样需要逐步确认的概念——如 2007 年 Wolfram 资助的世界上最简单的图灵机的证明

元胞自动机及更多

Stephen Wolfram 在 1980 年代早期的发现产生了被称作元胞自动机的一类简单程序。他的 2002 年的书中展示了这些发现实际的宽广度。

"我需要 Mathematica"

为了有继续在基础科学研究中使用的工具,Stephen Wolfram 从 1986 年起开始构建 Mathematica——从 1991 年到 2002 年他使用 Mathematica 做出了 《A New Kind of Science》 中的发现。

数万学术论文

在大范围的自然科学、社会科学和数学及更多领域中的大量学术论文已经使用了 Wolfram 科学方法来创建模型并进行发现。

论证就在结果中

一门科学的最终测试就是它是否有用——而 Wolfram 科学已经有力地构建了自己作为科学、技术、艺术、哲学和其他结果的主要资源的地位。