技术 ›

Wolfram Science

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

由于 Stephen Wolfram 2002年的书 A New Kind of Science,Wolfram Science 也常被称作“NKS”,它是基础科学的一个分支. 它关心的是理解可能程序的计算宇宙,即其行为、一般属性和应用.

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


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

简单程序不止能做简单的事

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

规则 30

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

探索计算的领域

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

计算等价原则

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

所有可能的数学空间

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

自然界的计算模型

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

普遍性的阈值

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

生物学的范式?

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

搜寻物理学

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

自动化的创造力

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

生成自然界的美

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

WolframTones:“一种新的音乐“

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

生物学中的创新

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

Wolfram Science 的艺术

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

建筑型式

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

挖掘算法

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

构建 Wolfram Algorithmbase

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

最好的也是最惊人的

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

算法发现过程

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

非递增的工程

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

在数万亿的程序中搜索

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

我们不理解的程序

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

Wolfram|Alpha 的秘诀

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

都只是计算

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

自动判决和美学

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

语言理解方面的突破

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

计算过程的可视化

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

计算相关教育的基础

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

Kindergarten On

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

易懂的像数学一样的思考

尤其是在较初级的阶段,Wolfram Science 教授像数学一样的抽象而严密的思考——但通常更为简洁易懂而且与现实世界有惊人的直接联系.

包容性的科学

艺术. 技术. 自然. 编程. 探索. 抽象思考. Wolfram Science 含有适合各领域中学生的组成部分.

Live Experiments

Wolfram Science 给教师提供了在课堂上通过有没有设计好的结果的实时计算机实验现场演示探索的过程的独特机会.

计算机之前的科学

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

一门科学,多种方法

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

每个人都在前沿

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

Wolfram 暑期学校

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

Wolfram 语言的角色

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

代表计算的宽度

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

Wolfram Science 内置函数

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

放大至产品层面

一个 Wolfram Science 发现以 Wolfram 语言完成后,我们就可以轻松的提取其算法和模型等并将其放大从而使用在产品层面中.

尝试一个实验

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

计算的实验室笔记本

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

历史和环境

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

推广的科学

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

复杂性的科学

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

经典的范式转换

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

带来更多证据

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

元胞自动机及更多

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

"我需要 Mathematica"

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

数万学术论文

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

论证就在结果中

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

de en es fr ja ko pt-br