科学を記述する言語は数学ではなくアルゴリズムだ

と、マセマティカ（Mathematica）の作者スティーブン・ウルフラム（Stephen Wolfram ）は著書（A New Kind of Science）の中で述べています。
みなさんはどう思いますか？

マセマティカ（Mathematica）に関して
http://www.wolfram.com/products/mathematica/introduction.html
http://www.wolfram.com/company/history/

スティーブン・ウルフラム（Stephen Wolfram ）に関して
http://www.stephenwolfram.com/
http://documents.wolfram.com/v5/TheMathematicaBook/FrontMatter/0.1.1.ja.html

著書（A New Kind of Science）に関して
http://www.amazon.co.jp/exec/obidos/ASIN/1579550088/250-4992496-3603461
http://www.svt-ebs.co.jp/subjects/SV-leaf/1-57955-008-8.HTM

関連記事
http://www.hotwired.co.jp/news/news/technology/story/20021025303.html

2

ありえない。歴史を見直してください。

おめーが先に意見を述べろ

詭弁。アルゴリズム自体が数学を以ってして記述可能である。

２ｃｈ物理板の真価が問われるスレですね。
どんな投稿がされるか、ヲチ、ヲチ。

アルゴリズムで記述されるのが New Kind of Science なんじゃね。

アルゴリズムで記述できるのは、数学の一部であってすべてではないんだけど。
例えば、ある問題の答が計算が終了するかどうかを判定する、という問題を解く
アルゴリズムは、「一般には」存在しないんだけど（ゲーデルの不完全性定理）。

↑日本語が変だね。ゴメン
「ある問題の答を出す計算が終了するかどうか、を判定する問題」

ウルフラムがこれを知らないはずはないので、むしろ制限的に
「アルゴリズムで記述できるものだけが科学だ」と言いたいのかな？

>>5
逆だ。
数式で記述されているものはアルゴリズムでも記述可能だけど、アルゴリズムで記述されているもの（ステップを踏むもの）は数式では表現しにくい。
そう考えると、ウルフラムの言ってることは拡張概念だろ。

>>10
それはどうかな。
アルゴリズムは群論の元である。

なにかを始元的に見立てるようなポーズとるのって今時ださいよ

New Kind of Scienceってようはニューサイエンスなんじゃないの？ｗ

>>10
>>5 で合ってるでしょ。

帰納的関数＝ラムダ-計算＝チューリング機械

なんだから。

科学を記述する言語はＨＴＭＬに決まってんだろ

いや、世界の共通語である日本語だろ。

でも日本語の「外国語を吸収する能力」はすごいと思う。

数学版
http://science2.2ch.net/test/read.cgi/math/1080373191/

↑
数学板にも計算論やアルゴリズムに興味のある人は
ほとんどいないみたいだね

シム板が出来たいきさつは知らんけど、
普通に計算機科学板にしておけばよかったのにねえ。
アルゴリズムは基本的には情報に属するものでしょ。
あんな過疎板が出来上がることもなかったのに。やれやれ。

あ、情報システム板もあったか。

>>21
いや，このスレと数学板のスレの淋しさから見て，計算機科学板にしても
そんなに変わらないのでは？理論計算機科学をやっている人って少ないし．
情報って言っても，やってることはシミュレーションとプログラミングが
ほとんどでしょ．
しかしこういう状況は，理論物理でも同じかな．
理論物理と言いながら，やってることはシミュレーションとプログラミング．

>>5
アルゴリズム体操、終わり！！！

>>21
理論物理板ってわずかな間だけどあったよ

>>23
いや，話の後半は２ちゃんの話じゃなくって実世界のつもりでした．

>>22
ピタゴラ好き！（ｗ

>>17
思うんだが、もし異星人が居たとして
「外国語を吸収する能力」は
地球人の言語と異星人の言語と、どっちが能力高いんだろう。
あと、吸収された方は吸収した方をどういう風に考えるんだろう。

>>26
わざわざ「異星人の言語」を引っ張り出す意味がわからん

その異星人には地球人と同じような発声器官をもっているのか?

やはりクソスレと化したな。

選択公理を使わないと証明できないような存在定理型の数学理論は
タングステンさんが考えてるようなアルゴリズムとは相性がよくないのでは

存在定理型って？

ここは、最低なクソスレだな。特にお前>>21だ。市ね。

ああああ

アゲ

おまえら住人がウンコくさい。
痔やろう、
独特の匂いがキモイ

ageてすと

>>35
自分が理解できない物事に遭遇したときの、おサルの反応みたいですな

>>37
それが何？

興味深い話題だ。

>>1
あり得ない。

そもそもアルゴリズムってなに？

情報科学でいうところの操作的意味論ってこと？

そもそもアルゴリズム自体が数学の派生系だと思うんだが。

「物理学が数学で記述できる」というのはそもそも幻想なんだよ（＠ｗぷ

お、東京kittyだわん。
専門理系?

アルゴリズムの意味教えて。

関連スレ

Computer 計算する時空 量子情報科学 Black Hole
http://science3.2ch.net/test/read.cgi/sci/1106309663/l50

アルゴリズムの意味が不明なんだって。

ピタゴラスイッチ　アルゴリズム体操

この世界の操作的意味をいま考えているとこなんだよ。

この世界は物理現象ではく、計算現象だよ。
つまり、この宇宙は計算機なんだよ。

・曲面とか多項式の性質は、それが明らかになればアルゴリズムに置き替えれる。
・探求する上でアルゴリズムを用いている。
・力学の方程式も置き換えれる。
・手で計算する過程や、紙上に完成した計算過程も、何らかの物理。
・以前、質問スレにあったが、将棋の駒を１つ進めて戻す過程（広く言って前の局面に戻す）では、
　進めるのも戻すのも可逆ではなく力学（熱力学）ポテンシャルは減少する。

我々にとって意味のあるのは計算現象のみ。
別に何かの物体が物理的に何でできてようが、そんなことはどうだっていい。
どうだってよくないのはその物体がどんな計算を行う計算体かってことだからさ。

東京ミュウミュウのエンディングテーマなど、
同じ音であり違う言葉を、２文それぞれの最後に全体の文の意味が通るように置くのは、
どういうふうにやるの？使用言語のセットのせいで必ず可能なの？

>>50
操作的意味論自体が表示的意味論、つまり
数学とのマッピングで定義されると聞いたけど。

>>54
戦隊もののなかよし系の

セーラームーン
東京ミュウミュウ
ぴちぴちピッチ

というのは有名だが、
なんとアキハバラ電脳組がセーラームーンと東京ミュウミュウの間に入る！
つばめっていうのは電脳組のキャラクターでしたね。

>>54のいわんとする韻とは、

イチゴをたべよう （パフェにケーキにだいふく　）（みんなたべたら　こうふく）
いろいろフルーツ （キウイ　スウィーティー　ピーチ）（くだものだいすきだもの）
つめたいアイスクリーム （れいぞうこにいれてかためーる）（さいごにソースからめーる）
どれもみんなすき。（ゆうじゅうふだんなせいかく）（でもカワイイわたしはごうかく！）
あまくとろけるような　あじだけじゃなにかたりない
（だいすきなモノをトッピング）（なければおみせでショッピング）
ア・ラ・モードだね（あら　どーも）
　*カリカリはごたえほしいし
　あまずっぱいのも　そそられるわ
　デザートだけはベツバラ
　　どんよくにいこう！
　トキメキ（ドキドキ）
　ドキドキいろんな恋（こと）がしたい