技術 ?

Wolfram Science?

通過計算領域的基礎科學來創建新技術

Stephen Wolfram 在 2002 年的所著 《A New Kind of Science》一書通常也被簡稱為“NKS”,Wolfram Science 是其基礎科學的一個分支,著重于理解可程序的計算空間,即其行為、一般屬性和應用。

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 筆記本文件適合記錄計算機實驗,顯示每個步驟的結果,并在相關觀察結果中提取和加入文本。

歷史和環境

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 RB88 热博体育| 热博体育在线| rb88热博电竞手机版| 热博rb88| 热博体育官网| 热博88| 热博| 热博体育官网| rb88| 热博手机版| 热博官网| rb88热博电竞平台| BTI体育|