/.-Jで「Wolframが提唱したTuring機械がuniversalだと証明された.これは最小のUTMが見つかったことを意味する」との記事を読んで,これは証明を眺めてみたいと強く思ったのだが,証明の印刷を忘れたまま帰ってきてもう一度/.-Jを見たら,なんと証明に初歩的な誤りが発見されたそうではないか. http://slashdot.jp/science/comments.pl?sid=378622&cid=1241752 スラッシュドット ジャパン | 「ウルフラム氏のチューリングマシン」の万能性を20歳の学生が証明 > 【速報】「証明」に誤り発見かも しかしこれは定義をどう取るかの問題で,「こんな基礎の定義も知らない初歩的な誤り!」と切って捨てるのは微妙らしい? http://science.slashdot.org/comments.pl?sid=343753&cid=21166