perl - behind the 2,3 turing machine : 404 Blog Not Found
2007年10月27日16:15 カテゴリMathLightweight Languages perl - behind the 2,3 turing machine 日本でもWiredが取り上げて知られるようになった2,3 Turing Machineですが、 Wolfram Blog: The Prize Is Won; The Simplest Universal Turing Machine Is Proved WIRED VISION / 「ウルフラム氏のチューリングマシン」を20歳の学生が証明 この証明に、Perlが使われていますというお話。 http://www.wolframscience.com/prizes/tm23/TM23Proof.pdf - 証明のPDF I have written several Perl programs, to demonstrate t
「ウルフラム氏のチューリングマシン」の万能性を20歳の学生が証明 | スラド
WIRED VISIONの記事のよれば、Wolfram氏が提案したもっとも簡単なチューリングマシンが万能チューリングマシンであることを20歳のイギリスの学生が証明して見せたのこと。Wolfram氏は、この証明に2万5000ドルの賞金をかけており、見事47日後に証明して見せた。 ちなみに、Wolfram氏は、複雑系理論の権威でもあり、Wolfram Mathematicaの設立者でもある。社名の通り、Mathematicaを開発している会社だ。 提案されたチューリングマシンは、2つの状態と3つの色を持つ装置であり、証明の内容(PDF)も公開されているので、興味のある方は追ってみてはいかがでしょうか？
The Wolfram 2,3 Turing Machine Research Prize
A universal Turing machine is powerful enough to emulate any standard computer. The question is: how simple can the rules for a universal Turing machine be? Since the 1960s it has been known that there is a universal 7,4 machine. In A New Kind of Science, Stephen Wolfram found a universal 2,5 machine, and suggested that the particular 2,3 machine that is the subject of this prize might be universa
「ウルフラム氏のチューリングマシン」を20歳の学生が証明 | WIRED VISION
「ウルフラム氏のチューリングマシン」を20歳の学生が証明 2007年10月26日 サイエンス・テクノロジー コメント： トラックバック (0) Brandon Keim 2007年10月26日 複雑系理論の権威であるStephen Wolfram氏が、あるチューリングマシンを提案し、これが考えられるありとあらゆる計算問題を解く能力を持つ、考え得る限りで最も単純なコンピューターであることを証明するよう呼びかけた。 それからわずか47日後、イギリスのバーミンガム大学コンピューター科学部の学生Alex Smithさん(20歳)が、見事にこれを証明して見せた。 チューリングマシンは、コンピューターの世界に偉大な貢献をした数学者、アラン・チューリングが1936年に提案したものだ。 今ではハードウェアをソフトウェアと切り離すことは当たり前になっているが、チューリングはこれを理論として考え出した最初の1
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Decomposition of 2,3 Turing Machine Evolutions - Wolfram Demonstrations Project
http://www.wolframscience.com/prizes/tm23/TM23Proof.pdf
