教育家庭新聞社
教材はこちら

チューリングマシンとは、コンピューターの世界に偉大な貢献をした数学者、アラン・チューリングが１９３６年に提案したものです。

今ではハードウェアをソフトウェアと切り離すことは当たり前になっていますが、チューリングはこれを理論として考え出した最初の１人で、ソフトウェアを交換すれば、単一の機器であらゆる計算が可能なことを理論的に示しました。

「ただし、チューリングマシンの実物が作られたことはない。これはあくまで理論上の概念で、このマシンに必要な条件が理論的に設定されたにすぎないからだ。そして、科学者たちは相手の理論をよりいっそう単純化しようと競い合うのが常だ。」というわけで、Wolfram氏は、著書『New Kind of Science』の中で、２つの状態と３つの色を持つ装置が、最も単純な万能チューリングマシンだという仮説を立てました。

そして２００７年５月に、Wolfram氏はこの仮説を証明した者に２万５０００ドルの賞金を払うと申し出たのです。

「誰かが賞金を勝ち取るまでにどれほど時間がかかるのかわからなかった。１ヵ月か？１年か？１０年か？１００年か？あるいはもしかするとこの問題は、そもそも決定可能ではないのかもしれない・・・」と、Wolfram氏は１０月２４日(米国時間)、自身のブログに書いていました。

しかし、コンテスト開催を発表してからわずか４７日後に、Wolfram氏は、米国の法律ではまだアルコールも買えない年齢のSmithさんから、Wolfram氏の仮説が正しいことの証明とコードが含まれた４０ページにわたるファイル(PDF形式)を受け取りました。

一通り見直しが行なわれたのち、Smithさんが提出したファイルは公認されました。こうして、１０月２６日をもって、Wolfram氏が発明したチューリングマシンは、最も単純な万能コンピューターとなったのです。

良い意味でWolfram氏の期待を裏切ってくれたAlex Smithさんに拍手ですね。年齢や経験に関係なく、好きな分野に打ち込む情熱がこの素晴らしい結果を運んできてくれたのでしょう。

■関連記事
KKSブログ: 世界で大ブーム！数字で頭の体操　Sudoku（数独）
KKSブログ: 「142857」これって何の数？　教科書に載っていない数のおはなし
KKSブログ: 女の子よ理系へ進もう！　「女子中高生の理系進路選択支援事業」

College Kid Proves That Wolfram's Turing Machine is the Simplest Universal Computer
「ウルフラム氏のチューリングマシン」を20歳の学生が証明