新しい種類の科学のソースを表示

『'''新しい種類の科学'''』（''A New Kind of Science''）は、[[スティーブン・ウルフラム]]が書いたベストセラー<ref>{{cite web
 |last=Rosen
 |first=Judith
 |title=Weighing Wolfram's 'New Kind of Science'
 |url=http://www.publishersweekly.com/pw/print/20030113/40516-weighing-wolfram-s-new-kind-of-science.html
 |publisher=Publishers Weekly
 |year=2003
 |accessdate= 8 July 2013}}</ref>で、2002年に出版された。この本には、[[セル・オートマトン]]などの計算システムの経験論的でしかもシステマティックな研究が含まれている。ウルフラムはこれらのシステムを「simple programs（単純なプログラム）」と呼び、科学的な哲学と単純なプログラムの研究にふさわしいメソッドが他の科学分野でも重要であると論議する。

== 内容 ==

=== 計算とそれが意味するもの===
「A New Kind of Science」 (「NKS」) の命題は2つある。1つは[[計算]]の性質は実験的に探究されなければならないということで、もう1つは、これらの実験の結果が[[:en:Digital philosophy|デジタル]]であると考えられる[[自然|自然界]]を理解するのに大変重要であるということである。1930年代に計算が結晶化されて以来、主に2つの考え方がこれに携わってきた。計算を使って実践的なシステムを構築しようとする[[工学]]と、計算についての定理を証明しようとする[[数学]]がそうである。しかし、1970年代に入ってもまだ、計算は数学、工学、実験的伝統の岐路に立っていると考えられていた<ref>{{cite conference | first = Peter | last = Wegner | title = Research Paradigms in Computer Science | book-title = Proceedings of the 2nd International Conference on Software Engineering | pages = 322-330 | publisher = IEEE Press | year = 1976 | location = San Francisco, CA, USA}}</ref><ref>
{{cite journal | last = Denning | first = Peter J. | coauthors = et al.| title = Computing as a Discipline | journal = Communications of the ACM | volume = 32 | issue = 1 | pages = 9-23 | year = 1989| doi = 10.1145/63238.63239}}</ref>。

ウルフラムは、計算そのものを経験論的に調べるという3つ目の考え方を導入し、まったく新しいメソッドがそれには必要だと説いている。ウルフラムによると、伝統的な数学は、彼が調べたシステムで見られる[[複雑性]]を実質的に説明するのには十分ではない。

===単純なプログラム===
ウルフラムの「new kind of science（新しい種類の科学）」は基本的には、単純で抽象的な規則、主に初等[[プログラム (コンピュータ)|コンピュータプログラム]]の研究である。ほとんどどのような計算システムにおいても、最も単純なものの中に大変複雑なものを見付けることができる。これはシステムのコンポーネントとその設定の詳細にかかわらず、真であるようだ。本書で探究されるシステムには、1次元、2次元、3次元のセルラーオートマトン、 [[:en:Mobile automaton|移動オートマトン]]、1次元と2次元の [[チューリングマシン]]、さまざまな種類の置換とネットワークシステム、原始帰納的関数、ネストした[[:en:recursion (computer science)|帰納的関数]]、 [[コンビネータ論理|コンビネータ]]、[[タグシステム]]、[[レジスタマシン]]、[[:en:Palindromic number|回文数]]等がある。単純なシステムとは以下の条件を満たすものである。
# その操作を単純なグラフィックスによる例示で完全に説明できる。
# 自然言語であれば数文で完全に説明可能である。
# [[プログラミング言語]]であれば数行のコードでコンピュータに実装できる。 
# 可能な種類の数が少なく、すべて計算することができる。

単純なプログラムは、非常に単純で抽象的なフレームワークを持っていることが一般的である。単純なセルラー・オートマトン、チューリングマシン、コンビネータはそのようなフレームワークの例であるが、より複雑なセルラー・オートマトンは必ずしも単純なプログラムではあるとは限らない。新しいフレームワークを、特に自然のシステムの操作を捉えるために、発明することも可能である。単純なプログラムが素晴らしいのは、その大きな部分において、非常に複雑なものを作成することができる点である。プログラムのほとんどどのようなクラスでも可能な種類のものを列挙するだけで、予期しないようなおもしろいことを行う例をすぐに得ることができる。このことから、「プログラムがそのように単純なのであれば、複雑なものは一体どこから来たのだろう？」という疑問が出てくる。ある意味で、プログラムの定義には、プログラムで可能なことすべてを直接コード化するだけの十分なスペースはない。このため、単純なプログラムは、[[創発]]の最小の例と見なすことができる。この現象を論理的に考えると、プログラムのルールの詳細がその動作とほとんど直接関係しないのであれば、単純なプログラムを特定の動作を行うように直接仕向けることは非常に難しいと言える。もう1つの方法としては、単純で全体的な計算フレームワークを設計してから、[[力まかせ探索]]を可能なコンポーネントすべてに対して行い、最良のマッチを見付ける方法がある。

単純なプログラムで驚くべき範囲の動作が可能である。そのうちのいくつかは、[[汎用コンピュータ]]であることが分かっている。[[熱力学]]の動作、 [[連続体力学]]の動作、保存量、[[パーコレーション]]、[[バタフライ効果]]等伝統的な科学で慣れ親しんだ特性を示すものもある．それらは、[[交通量]]、物質破壊、[[:en:crystal growth|結晶成長]], 生体成長、および[[社会学]], [[地質学]]、[[生態学]]の様々な現象をモデル化するのに使われている。単純なプログラムのもう1つの特徴は、本書によると、これらのプログラムをより複雑なものにしても、その全体的な[[複雑性]]にはほとんど影響しないということである。「NKS」は、このことが単純なプログラムでも殆どどのような[[複雑系]]の本質を捉えるのに十分である証拠だと主張している。

===計算世界のマッピングとマイニング===
単純なルールとその時として複雑な動作を調べるには、計算のシステムとドキュメントのすべてをそれらが何を行うかについて、組織的に調べる必要があるとウルフラムは考える。ウルフラムは、このような研究が[[物理]]や[[化学]]のような、科学の新しい分野になるべきだと信じている。この分野の基本的な目標は、実験的なメソッドを使って、計算世界を理解し、特徴付けることである。

提案された科学探究の新しい分野は、様々な形式での科学的成果を許すものである。例えば、定性的な分類は計算ジャングルへの最初の進出の結果であることが多い。これに対して、特定のシステムがこの関数やあの関数を計算するという明示的な証拠も認められる。また、この分野の研究にある意味で独自である製作の形もある。例えば、別のシステム内に、奇妙な別の形式で現れる計算メカニズムの発見がそうである。

もう1つの種類の製作には、計算システムの分析のためのプログラムの作成がかかわってくる。この''NKS''のフレームワークでは、これらのシステム自体が簡単なプログラムであり、同じ目標やメソッドに左右される。このアイディアをさらに広げると、人間の心そのものが計算システムであり、このため、出来るだけ効率的な方法で生のデータを提供することが研究にあたって重要であると言える。ウルフラムは、プログラムとその分析は出来るだけ直接視覚化されるべきで、それは何千もの人によって徹底的に調査されるべきであると考える。この新しい分野は抽象的なルールを受け入れるので、原則として、別の科学の分野に関連する事柄についても対処することができる。しかし、一般的には、ウルフラムのアイディアは、新しいアイディアとメカニズムが計算世界（これらがもっとも明白な形で見られる場所）で発見でき、他の分野はそれらの発見の中からその分野にかかわりのあるものを選べばよいということである。

===組織的な抽象科学===
ウルフラムは、単純なプログラムを科学の一分野として提唱する一方で、その方法論が基本的にすべての科学分野に革新をもたらすとも主張する。彼の主張のもとになっているのは、単純なシステムの研究が科学で可能な最小の形式であり、これが[[抽象化]]と経験論的実験の両方に等しく基づいていることである。「NKS」で提唱される方法論のすべての面が、実験を出来るだけ直接的で、簡単に、意味あるものとするように最適化されていると同時に、実験が何か予期しないものを生み出す可能性が最大になるように仕向けられている。この方法論が計算メカニズムを最もすっきりした形で研究することを可能にするのと同じように。ウルフラムはそれを行う過程が、科学を行う過程の本質を捉え、その過程の長所と短所が直接示されると信じる。

ウルフラムは、計算世界の実態が原則的な理由により科学を困難なものにすると考える。しかし彼は、これらの実態を重要性を理解することによって、これらを自分たちの有利になるように使うことができるとも提唱する。例えば、観察から我々の理論を[[リバースエンジニアリング]]する代りに、システムを[[数え上げ]]てから、それらを観察する動作にマッチさせようと試みることができる。''NKS''のメインテーマは、可能な空間の構造を調べるということである。ウルフラムは、科学がその場限りのものであることがあまりにも多く、これは、使用されるモデルが複雑すぎたり、伝統的な数学の限られた原始的なものと一緒に必要もないのに組織化されていたりすることが1つの原因であると感じている。ウルフラムは、変形を数え上げることができ、結果が計算・分析するのに容易であるモデルを使うことを提唱する。

===哲学的な土台===
ウルフラムは、自分の貢献が「計算は重要だ！」と宣言しただけではなく、計算が組織化する[[科学哲学|科学の原則]]であることを正当化するアイディアのコヒーレントシステムを提供したことにあると考える。例えば、[[:en:computational irreducibility|計算の非簡約性]]（複雑な計算の中には簡約できないものもある）の概念が、伝統的な[[数理モデル]]に加えて、自然の計算モデルも考慮に入れなければならない究極的な理由であると、ウルフラムは提言する。同様に、本質的なランダム性の生成についての彼のアイディア（自然のシステムがカオス理論や確率的ゆらぎを使わずに、自身のランダム性を生成することができる）は、計算モデルが明示的なランダム性を含んでいる必要はないことを示唆する。

実験結果に基づいて、ウルフラムは「Principle of Computational Equivalence
（計算等価性の原則）」を開発した。この原則は、明らかに単純ではない過程の殆どすべてが等しい精巧さを持つという主張である。この曖昧な原則から、ウルフラムは様々な具体的な結論を導き出し、この結論から自分の理論の多くの部分についての考えをより強いものにする。おそらくこれらの中で最も重要なのは、何故[[ランダム|ランダム性]]と[[複雑性]]が存在するのかということについての説明であろう。我々が分析するシステムはしばしば我々と同じぐらい精巧である。このため、複雑性は、例えば「熱」の概念のように、システムについての特別の性質であるとは言えず、単に計算が精巧であるシステムすべてについてのラベルであるに過ぎない。ウルフラムは、これを理解することによって、「NKS」パラダイムの「普通の科学」を可能にすると提言する。

最も深い部分で、ウルフラムは、最も重要な科学のアイディアの多くと同様に、人間が「特別」ではないことを新たに示すことによって、「計算等価性の原則」が科学をより一般的なものにすると考える。 つまり、これまで人間の知能の複雑性が我々人間を特別なものにしていると考えられてきたが、「原則」がそうではないことを示しているということである。 ある意味で、ウルフラムのアイディアの多くは、人間の心も含めた科学的な過程を、その過程の外にあるものとするのではなく、過程が調べるものと同じ世界内で行われるものとして、理解することに基づいている。

====計算等価性の原則====
この原則は、自然界にある[[システム]]が[[極値|最大値]]（「普遍」）レベルの [[ムーアの法則|計算力]]まで[[:en:computation|計算]]を行うことができるというものである。殆どのシステムがこのレベルにまで到達できる。原則として、システムはコンピュータと同じものを計算する。従って、計算とは1つのシステムから別のシステムに[[入出力]]を変換することに過ぎない。その結果、殆どのシステムは計算上では等価である。そのようなシステムの例として、人間の脳の仕組みと天候システムの進化が挙げられている。 

===応用と結果===
本書には、特定の結果やアイディアが多数含まれており、それらをいくつかのテーマに分類することができる。例と応用に共通して見られるテーマの1つに、それほど複雑なものではなくても、おもしろい動作を導き出すことができ、正しい方法論でこの動作を発見することができるということである。

まず「NKS」では、その作成時点において、特定の性質を持つあるクラスで最も単純なシステムとして知られていたものをいくつか紹介している。その中には、複雑性を導き出す最初の原始帰納的関数、最小の普遍的な[[チューリングマシン]]、[[命題論理]]の最短の[[公理]]の例が含まれる。同じようにウルフラムは、伝統的な科学ではお馴染みの[[相転移]]、[[:en:conserved quantity|保存量]]と連続体挙動、[[熱力学]]などの現象を示す多数の単純なプログラムの例も挙げている。このテーマに当てはまる応用例として、貝の成長、[[乱流|液体乱流]]、[[:en:phyllotaxis|葉序]]などの自然界における単純な[[:en:computational model|計算モデル]]も含まれている。

よく見られるもう1つのテーマに、計算世界を全体として捉える事実を使って、[[ホーリズム|総体的な]]方法で分野について理論づけるということがある。例えばウルフラムは、計算世界についての事実がいかに、[[進化|進化論]]、[[地球外知的生命体探査]]、[[自由意志]]、[[計算複雑性理論]]、および[[存在論]]、[[認識論]]、[[ポストモダン|ポストモダニズム]]などの哲学分野について教えてくれるかについて論議している。

ウルフラムは、[[:en:computational irreducibility|計算の非簡約性]]の理論が名目上は決定論的である世界における自由意志の存在に対する解決方法を提供するかもしれないと提言する。彼は、自由意志を持つ生き物の脳における計算過程が実際には複雑すぎて、計算の非簡約性のせいで、より単純な計算において捉えることができないと仮定する。このため、過程は正に[[決定論|決定論的]]ではあるが、生き物の意志は、原則として実験を行い、生き物に行使させることでしか見極められない。

本書には、特定のオートマトンが何を計算するか、あるいはその性質が何であるかについて、いくつかの分析メソッドを使った実験的および解析的な個々の結果も多数含む。

特定の技術的結果の新しいものが１つ本書には含まれている。これは、[[:en:Rule 110|ルール110]]セルラーオートマトンの[[チューリング完全]]についての記述である。Rule 110は非常に小さいチューリングマシンによってシミュレートすることができ、そのような2、5[[:en:universal Turing machine|万能チューリングマシン]]が与えられる。ウルフラムは、特定の[[:en:Wolfram's 2-state 3-symbol Turing machine|2、3チューリングマシン]]が万能であるとも推測する。2007年には、本書出版の5周年記念として、(2, 3)マシンの万能性を証明した人に$25,000の賞金が送られた<ref>{{Cite web| title= The Wolfram 2,3 Turing Machine Research Prize| url= http://www.wolframscience.com/prizes/tm23/| accessdate= 2011-03-31| archiveurl= https://web.archive.org/web/20110515032324/http://www.wolframscience.com/prizes/tm23/| archivedate= 2011-05-15| url-status=dead|url-status-date=2017-10}}</ref>。

==NKSサマースクール==
毎年ウルフラムと何人かの講師が<ref>http://www.wolframscience.com/summerschool/2009/faculty.html</ref>一緒にサマースクールを開いている<ref>http://www.wolframscience.com/summerschool/</ref>。2003年から2006年にかけての最初の4回のサマースクールは、[[ブラウン大学]]で開催された。その後サマースクールは、[[ピサ|イタリアのピサ]]にあるCNR（イタリア国立研究機関）のIstituto di Scienza e Tecnologie dell’Informazioneで開かれた2009年を除いて、毎年 [[バーモント大学]]で開催され、2011年からはマサチューセッツ州で開かれている。これまでに200人以上の人がサマースクールに参加し、参加者の中には、3週間の研究プロジェクトを修士課程や博士課程で卒業論文として継続して行った人たちもいる<ref>http://www.wolframscience.com/summerschool/2006/participants/letourneau.html</ref>。また、サマースクールでの研究を論文として出版した人たちもいる<ref>{{cite journal | author1=Rowland | title=A natural prime-generating recurrence | year=2008 | volume=11 | issue=08 | journal=Journal of Integer Sequences| arxiv=0710.3217 }}</ref><ref>http://www.springerlink.com/content/m624350kj28305u9/</ref>。

==反応==
「NKS」は科学の本としてメディアから広く注目を集め、[[ニューヨーク・タイムズ]]<ref>{{cite news|last=Johnson|first=George|title = 'A New Kind of Science': You Know That Space-Time Thing? Never Mind|publisher = The New York Times| date = 9 June 2002|url=https://www.nytimes.com/2002/06/09/books/review/09JOHNSOT.html|accessdate=28 May 2009}}</ref>、[[ニューズウィーク]]<ref>{{cite news|last=Levy|first=Stephen|title=Great Minds, Great Ideas|publisher=Newsweek|date=27 May 2002|url=http://www.newsweek.com/id/64625|accessdate=28 May 2009|archiveurl=https://web.archive.org/web/20090416060806/http://newsweek.com/id/64625|archivedate=2009年4月16日|deadurl=no|deadlinkdate=2017年10月}}</ref>、[[WIRED (雑誌)|Wired]]<ref>{{cite news|last=Levy|first=Stephen|title=The Man Who Cracked The Code to Everything ...|publisher=Wired magazine|date=June 2002|url=http://www.wired.com/wired/archive/10.06/wolfram.html|accessdate=28 May 2009|archiveurl=https://web.archive.org/web/20090527181907/http://www.wired.com/wired/archive/10.06/wolfram.html|archivedate=2009年5月27日|deadurl=no|deadlinkdate=2017年10月}}</ref>、[[エコノミスト]]<ref>{{cite news|title=The science of everything|publisher=The Economist|date=30 May 2002|url=http://www.economist.com/printedition/displayStory.cfm?Story_ID=1154164|accessdate=28 May 2009}}</ref>などに記事が掲載された。本書はベストセラーとなり、様々な科学の学術論文雑誌で論評された。そしてこれらの論評からいくつかのテーマが現れた。科学者の中には、謙虚さや独創性に欠けていると本書を批判した人<ref name=Kurzweil>{{cite web|last = Kurzweil|first = Ray|title = Review:Reflections on Stephen Wolfram’s A New Kind of Science|url=http://www.kurzweilai.net/reflections-on-stephen-wolfram-s-a-new-kind-of-science|accessdate=13 May 2002}}</ref><ref name=Shalizi>{{cite web|last = Shalizi|first = Cosma|title = Review of 'Stephen Wolfram's A New Kind of Science': A Rare Blend of Monster Raving Egomania and Utter Batshit Insanity|url=http://www.cscs.umich.edu/~crshalizi/reviews/wolfram/|accessdate= 8 July 2013}}</ref>もいれば、貴重な洞察と斬新なアイディアが得られると評した人<ref name=Rucker>{{cite journal|last = Rucker|first = Rudy|title = Review: A New Kind of Science|journal=American Mathematical Monthly|pages = 851-861|date=November 2003|url=http://sjsu.rudyrucker.com/~rudy.rucker/wolfram_review_AMM_11_2003.pdf|accessdate=28 May 2009}}</ref><ref name=Berry>{{cite journal|last = Berry et al.|first = Michael|title = Review: A Revolution or self indulgent hype? How top scientists view Wolfram|journal=[[The Daily Telegraph]]|date=May 2002|url=http://www.phy.bris.ac.uk/people/berry_mv/the_papers/Berry343.pdf|accessdate=14 Aug 2012}}</ref>もいた。近年では、ウルフラムは一連のブログの中で<ref>{{cite journal|last = Wolfram|first = Stephen|title = Living a Paradigm Shift: Looking Back on Reactions to A New Kind of Science|journal=Stephen Wolfram official blog|date=May 2002|url=http://blog.stephenwolfram.com/2012/05/living-a-paradigm-shift-looking-back-on-reactions-to-a-new-kind-of-science/ 14 Aug 2012}}</ref>批判に答えている。その中には、本書出版からの10年間に本書が引用された数とその種類を分析したもの<ref>{{cite journal|last = Wolfram|first = Stephen|title = It’s Been 10 Years: What’s Happened with A New Kind of Science?|journal=Stephen Wolfram official blog|date=May 2002|url=http://blog.stephenwolfram.com/2012/05/its-been-10-years-whats-happened-with-a-new-kind-of-science/=14 Aug 2012}}</ref>もある。

===科学哲学===
「NKS」で提案されているのは、システムが単純であればあるほど、その変形したものがさまざまな種類のより複雑なコンテキストで繰り返される可能性が高くなるということである。このため「NKS」では、組織的に単純なプログラムを探究することによって、再利用できる知識に到達すると論議する。しかし多くの科学者たちは、すべてのパラメータの中でその一部だけが実際に起るものだと考える。例えば、方程式を形作る記号の可能な置換の殆どは基本的に意味をなさない。また、単純なシステムがすべてのシステムを何らかの形で表しているという「NKS」の意見に対して反対する人もいる。

===方法論===
「NKS」の批判としてよく挙がるのが、これまでの[[科学的方法]]に従っていないということである。「NKS」は厳密な数学的定義を設定<ref>{{cite journal|last=Bailey|first=David|title=A Reclusive Kind of Science|journal=Computing in Science and Engineering|pages=79-81|date=September 2002|url = http://crd.lbl.gov/~dhbailey/dhbpapers/dhb-wolfram.pdf|accessdate=28 May 2009}}
</ref>することも、[[定理]]を証明することもない。殆どの公式と方程式は、標準表記ではなく'''マセマティカ'''で書かれている<ref name="autogenerated1">{{cite journal|title=A Mathematician Looks at Wolfram's New Kind of Science|last=Gray|first=Lawrence|journal=Notices of the AMS|year=2003|volume=50|issue=2|pages=200-211|url=http://www.ams.org/notices/200302/fea-gray.pdf}}</ref>。同様に、「NKS」は、殆どの情報がはっきりした意味のない絵によって伝えられ、視覚に頼っていることについても批判を受けている<ref name=Berry/>。また、[[複雑性]]の分野における新しい研究を使っていないこと、特に厳密な数学的な局面から複雑性を研究していないことについても批判されている<ref name=Shalizi/>。[[カオス理論]]を正しく表していないという意見もある<ref name=Drysdale>{{cite web|last=Drysdale|first=David|title=Review of "A New Kind of Science"|url=http://www.lurklurk.org/wolfram/review.html|accessdate= 8 July 2013}}</ref>。

===ユーティリティ===
「NKS」は、科学的研究にすぐに応用できるような特定の結果を提供していない。<ref name=Berry/>また、単純なプログラムの研究は物理的な世界とあまり関係がないので、意味がそれほどないという意見も聞かれる。[[スティーヴン・ワインバーグ]]は、ウルフラムのメソッドで十分に説明できる実世界のシステムは存在しないと指摘する<ref>{{cite news | url=http://findarticles.com/p/articles/mi_m1200/is_7_164/ai_107699603/?tag=content;col1 | work=Science News | title=In search of a scientific revolution: controversial genius Stephen Wolfram presses onward | first=Peter | last=Weiss | year=2003 | archiveurl=https://archive.is/20120630092220/http://findarticles.com/p/articles/mi_m1200/is_7_164/ai_107699603/?tag=content;col1 | archivedate=2012年6月30日 | deadlinkdate=2017年10月 }}</ref>。

===計算等価性の原則(PCE)===
PCEは、曖昧で数学的ではない、また直接確かめられる予測を立てていないということで批判を受けている<ref name="autogenerated1"/><!-- However, Wolfram's group has described the principle as such, not a law, theorem or formula. [They described it as being vague, unmathematical, and not able to make directly verifiable predictions?] -->。また、計算の精巧さレベル間の細かい区別を求めるべき数学的論理と計算複雑性理論の研究精神に逆らっている、そして異なる種類の普遍性特性を誤った形で融合している、という意見もある<ref name="autogenerated1"/>。さらに[[レイ・カーツワイル]]らは、本書がハードウェアとソフトウェアの区別を無視していると指摘する。つまり、2つのコンピュータは同じパワーを持つかもしれないが、だからと言って、実行される2つのプログラムも等しいということにはならないという議論である<ref name=Kurzweil/>。[[チャーチ＝チューリングのテーゼ]]の名前を変えただけだとする人もいる<ref name=Drysdale/> <!--  However, the Church-Turing thesis imposes an upper limit while Wolfram's PCE suggests the nonexistence of intermediate degrees of computation sending a computational system either to the upper level (universal) or to the lowest degree. [No. The claim is that intermediate degrees are derived from the complete degree, hence equivalent in "sophistication".] -->。

===基本定理（「NKS」第9章）===
物理学の基本定理に対する方向についてのウルフラムの意見は、曖昧で古いという批判を受けている。マサチューセッツ工科大学の電気工学・コンピュータサイエンス助教である[[:en:Scott Aaronson|スコット・アーロンソン]]は、ウルフラムのメソッドが, [[特殊相対性理論]]と[[ベルの不等式|ベル定理]]の違反とは適合しないので、 [[:en:Bell test experiments|ベルの実験]]の結果を説明することが出来ないと指摘する<ref>{{cite journal|last=Aaronson|first=Scott|title=Book Review of ''A New Kind of Science''|journal=Quantum Information and Computation|volume=2|issue=5|year=2002|pages=410-423|url=http://www.scottaaronson.com/papers/nks.ps|accessdate= 8 July 2013}}</ref>。

[[エドワード・フレドキン]]と[[コンラート・ツーゼ]]は、[[セル・オートマトン|計算可能な世界]]についてのアイディアの先駆者である。ツーゼは、著作の中で、世界がいかにセルラーオートマトンのようなものであるかについて触れ、フレドキンは、Saltと呼ばれるおもちゃのモデルを使ってこのアイディアをさらに発展させた<ref>http://www.math.usf.edu/~eclark/ANKOS_zuse_fredkin_thesis.html</ref>。「NKS」はこれらのアイディアを自分のものとして紹介しているという指摘がなされている。[[:en:Jurgen Schmidhuber|
ユルゲン・シュミットフーバー]]は、[[チューリングマシン]]で計算可能な[[物理学]]についての自分の功績、つまりチューリングで計算可能な世界の可能なものを列挙する自分のアイディアが帰属なしに盗まれたと非難している<ref name=Schmid>{{cite web|last=Schmidhuber|first=Jurgen|title=Origin of main ideas in Wolfram's book "A New Kind of Science"|url=http://www.idsia.ch/~juergen/wolfram.html|publisher=CERN Courier|accessdate= 8 July 2013}}</ref>。 

2002年に「NKS」の論評の中で、ノーベル物理学者[[スティーヴン・ワインバーグ]]は、「ウルフラムは昔、素粒子物理学者であったので、デジタルコンピュータプログラムにおける自分の経験を自然の法則に応用せずにはいられないのだと思う。このことが、自然が連続的ではなく離散的であるという考え方（リチャード・ファインマンも1981年に論文の中でこれを考慮した）に彼を導いたのだろう。ウルフラムは、セルラーオートマトンのセルのように、宇宙が孤立した点の集合からなるもので、時間でさえも離散的なステップで流れると提案している。エドワード・フレドキンのアイディアをもとに、ウルフラムは宇宙自体が巨大コンピュータのようにオートマトンであると結論づける。これは可能であるが、ウルフラムたちがコンピュータを使って慣れ親しんでいるようなシステムであるということ以外には、これらの推論に私は意味を見出すことはできない。これは、大工が月を見て、木でできていると推論するようなものだ」と書いている<ref>{{Cite journal|author=Weinberg, S.|title=Is the Universe a Computer?|journal=The New York Review of Books|date=24 October 2002|url=http://www.nybooks.com/articles/15762}}</ref>。

[[ヘーラルト・トホーフト]]によると、ボゾン弦理論と超弦理論はどちらも、格子の長さが<math>2\pi\sqrt{\alpha'}</math>である[[時空]]の[[格子 (数学)|格子]]で定義される，状態の特別な基盤について再公式化することができる。この格子についての進化方程式は古典的なものであり、これが超弦理論をセルラーオートマトンで解釈することを可能にしている<ref>{{Cite journal|author='t Hooft, G.|title=Discreteness and Determinism in Superstrings|journal=arxiv.org|date=15 Sep 2012|url=http://arxiv.org/pdf/1207.3612v2.pdf}}</ref>。


===自然淘汰===
[[自然選択説|自然淘汰]]が生物学における複雑性の根本的要因ではないとウルフラムが主張したことから、ウルフラムは[[進化|進化論]]を理解していないと言う人もいる<ref>{{cite news|last=Lavers|first=Chris|title=How the cheetah got his spots|publisher=The Guardian|date=3 August 2002|url= http://www.guardian.co.uk/Archive/Article/0,4273,4473834,00.html|accessdate=28 May 2009 | location=London}}</ref>。

===独創性とセルフイメージ===
「NKS」は、独創性と重要性に欠けており、新しい種類の科学というタイトルとその論議は正当化できないとして、激しい批判を受けている。

「NKS」が数多くの例や論拠を提示する権威的な態度も、それぞれのアイディアがウルフラム独自のものであるかのように読者に思わせるとして非難されている<ref name=Drysdale/>。特に、本書で提示される最も実質的な新しいテクニカルな結果の1つに、[[:en:Rule 110|ルール110のセルラーオートマトン]]が[[チューリング完全]]であるというものがあるが、これはウルフラムではなく、彼の研究助手であった[[:en:Matthew Cook|マシュー・クック]]が証明したものである。本書の最後の注釈セクションに、他の科学者によってなされた発見の多くについて、歴史的事実とともにその科学者の名前が記載されているが、通常の文献セクションにはこの記載がない。これは一般的に、科学文献としては不十分であると見なされる。

さらに、非常に単純なルールがしばしばかなりの複雑性を導き出すというアイディアは、すでに科学、特に[[カオス理論]]と[[複雑系科学]]において、実証されたアイディアであると指摘されている<ref name=Shalizi/>。[[:en:computer simulation|コンピュータシミュレーション]]の使用は曖昧であり、[[パラダイムシフト]]を始めたというよりも、「NKS」はすでに着手されていたパラダイムシフトを正当化したに過ぎないという人もいる。ウルフラムの「NKS」は、このシフトをはっきりと記述した本の1つであると言えるかもしれない。

== 関連項目 ==
* [[還元主義]]
* [[:en:Calculating Space|「Calculating Space」]]
* [[:en:Fredkin Finite Nature Hypothesis|フレドキンの有限性仮説]]
* [[:en:Marcus Hutter|マーカス・ハッター]]の「Universal Artificial Intelligence」アルゴリズム

== 脚注 ==
{{Reflist|colwidth=30em}}

== 外部リンク ==
* Wolfram, Stephen, ''[http://www.wolframscience.com/nksonline A New Kind of Science]''. Wolfram Media, Inc., May 14, 2002. ISBN 1-57955-008-8
* Chua, Leon O, A Nonlinear Dynamics Perspective of Wolfram's New Kind of Science (Volume V)''[http://www.worldscibooks.com/chaos/8403.html]''. World Scientific Publishing, March, 2012. ISBN 978-981-4390-51-4
* [http://www.wolframscience.com/ Wolfram Science] the official website, including free online access to full text
* [http://tones.wolfram.com/ WolframTones: An Experiment in a New Kind of Music]
* [https://thenksblog.wordpress.com/ The NKS Blog]
* [http://www.softcentral.com/informationspace/ InformationSpace]. Causal set exploration tool which supports 1 dimensional causal sets such as those found in the book.

<!--

ARTICLES AND REVIEWS SHOULD BE USED AS REFERENCES, NOT AS EXTERNAL LINKS.

;Scholar articles
* Leon O Chua, "''A Nonlinear Dynamics Perspective of Wolfram's New Kind of Science''". Singapore ; Hackensack, N.J. : World Scientific, 2006. ISBN 981-256-977-4

;Reviews and overviews

*  Wolfram, Stephen, "[http://www.wolframscience.com/reference/quick_takes.html Quick takes on some ideas and discoveries in A New Kind of Science]". Wolfram Media, Inc.
* [http://www.wolframscience.com/conference/2004/ NKS 2004 conference].  Wolfram Media, Inc.
* [http://wolframscience.typepad.com/wolfram_science/ Wolfram's NKS Conference blog], June 2006.
* Clark, Ed, [http://www.math.usf.edu/~eclark/ANKOS_reviews.html Reviews] (the most comprehensive collection of reviews of NKS)
* [http://zenbullets.com/blog/?p=72 Universal Automatism - Everything is Computation]
* Schmidhuber, Juergen [http://www.idsia.ch/~juergen/wolfram.html "A 35 year old kind of science"] (with links to much earlier work on [[digital physics]])
* [[Kovas Boguta]], [http://forum.wolframscience.com/showthread.php?s=b4dcb648c91f4096a166716339679de1&threadid=271 "Comments on a review of NKS"] (an exposition of what NKS actually is, framed as a response to critics)
* [http://books.slashdot.org/books/02/05/21/146210.shtml?tid=134 Review and discussion of ''A New Kind of Science'']. [[Slashdot]].
* Krantz, Steven G., [http://www.ams.org/bull/2003-40-01/S0273-0979-02-00970-9/S0273-0979-02-00970-9.pdf "Book review"]. [[American Mathematical Society]] ([[Portable Document Format|PDF]] document)
* [[Rudy Rucker]], [http://www.rudyrucker.com/pdf/wolfram_review.pdf "Book Review"]. American Mathematical Monthly, November, 2003.
* Stephen Wolfram's lecture at MIT, [http://mitworld.mit.edu/play/147/ "A New Kind of Science"] ([[RealNetworks|Real Media]] video and audio, 1:36:36). Department of Mathematics at MIT, September 15, 2003.
* Naiditch, David, "Divine Secrets Of the Ya-Ya Universe. Stephen Wolfram: A New Kind of Science?or a Not-So-New Kind of Computer Program?", ''[[Skeptic (U.S. magazine)]]'', issue 10-2, 2003.
* Neske, Garrett, "Whatever Happened to Stephen Wolfram? A New Kind of Science Revisited", ''Skeptic (U.S. magazine)'', issue 14-3, 2008.
* [http://uk.geocities.com/joelewisbowen/wolfram.html Critique of the explanatory force of A New Kind of Science] ([https://webcitation.org/5kkmnrPR2 Archived] 2009-10-23)
* [[Cosma Shalizi|Shalizi, Cosma]] [http://www.cscs.umich.edu/~crshalizi/reviews/wolfram/ "Review of 'Stephen Wolfram's A New Kind of Science': A Rare Blend of Monster Raving Egomania and Utter Batshit Insanity"]
* [[Raymond Kurzweil|Ray Kurzweil]] [http://www.kurzweilai.net/articles/art0464.html?printable=1 Reflections on Stephen Wolfram's 'A New Kind of Science']
* Levy, Steven [http://www.wired.com/wired/archive/10.06/wolfram.html The Man Who Cracked The Code to Everything ...] [[Wired (magazine)|Wired]], 2002
* Video of a lecture given by Wolfram as part of the MIT "Applied Mathematics Colloquium" [http://mitworld.mit.edu/video/149/ A New Kind of Science].

;Applications
*[http://blog.wolfram.com/2007/08/the_space_of_all_possible_bridge.html The Space of All Possible Bridge Shapes] by Stephen Wolfram, August 3, 2007, a short essay on the future of bridge design written in response to the collapse of the [[I-35W Mississippi River bridge]].

-->

{{DEFAULTSORT:あたらしいしゆるいのかかく}}
[[Category:2002年の書籍]]
[[Category:科学書]]
[[Category:科学のメタ理論]]
[[Category:セル・オートマトン]]
[[Category:アルゴリズムアート]]
[[Category:研究の計算分野]]
[[Category:スティーブン・ウルフラム]]
<!--[[Category:Wolfram Research]]-->