Infinite-Monkey Theorem

名詞

「infiniteな数のサルをタイプライターに向かわせれば、いずれそのうちの1匹がハムレットの台本を打ち出すだろう。」(少数のサルと非常に長い時間を仮定してもよい。)この定理は、最終的に台本を打ち出す1匹のrandomなサルの知性については何も主張していない(そして、その群れはハムレットのありうるすべての誤ったバージョンも打ち出すことに注意せよ)。これはbrute forceな手法を正当化するときに半ば真面目に言及されることがある。含意は、十分な資源を投入すれば、いかなる技術的課題もone-banana problemになるということだ。この議論は、Linuxがbazaar型の開発を正当化して以来、より尊重されるようになった。

他のハッカーは、無限のサルの定理は真ではありえないと主張する。さもなければ、Usenetは今頃、偉大な文学の正典全体を再生産していたはずだ、というのである。

2002年半ば、イングランドのPlymouth大学の研究者たちが、実際に動くコンピュータを6匹のクロザル(crested macaque)とともに檻に入れた。サルたちはマシンを石で叩き、その上に放尿し、Sの文字をたくさん打った(後にA、J、L、Mの文字も紛れ込んだ)。結果は限定版の書籍『Notes Towards The Complete Works of Shakespeare』として出版された。ある研究者はこう報告した。「彼らは画面にかなり興味を持っていて、文字を打つと何かが起こるのを見ていました。そこには一定の意図が見て取れました。」これと同程度に有能なAOLユーザーがいるという散発的な現地報告は、当然の懐疑をもって迎えられている。

この定理は1913年の数学者Émile Borelにまでさかのぼり、天文学者Sir Arthur Eddingtonによって初めて広められた。これがテック界隈の慣用句の一部となったのは、Russell Maloneyの古典的なSF短編Inflexible Logicを通じてであり、多くの若いハッカーはDouglas Adamsの『Hitchhiker's Guide to the Galaxy』への言及を通じてこれを知っている。他にもいくつかの言及がWeb上に集められている。2000年4月1日、この用法は独自のインターネット標準であるRFC2795(Infinite Monkey Protocol Suite)を獲得した。