{{위키데이터 속성 추적}}
[[파일:monkey-typing.jpg|섬네일|300px|[[보렐-칸텔리 보조정리]]의 두 번째 정리에 따르면, 충분한 시간만 주어진다면, 제멋대로 타자를 치는 [[침팬지]]는 필연적으로 [[윌리엄 셰익스피어]]의 [[희곡]] 전체를 칠 것이다.]]

'''무한 원숭이 정리'''는 무한성에 기초한 정리로, [[타자기]] 앞에 앉아서 마음대로 쳐대는 [[원숭이]]가 [[프랑스 국립 박물관]]의 모든 책을 언젠가는 쳐 낼 가능성이 거의 확실하다는 정리이다. ‘거의 확실하다(almost surely)’라는 말은 수학적으로 확률의 극한값이 1이라는 것을 의미한다. 위의 정리는 [[영어]] 사용자들이 [[윌리엄 셰익스피어]]의 희곡 전체를 칠 수도 있다는 내용으로 각색하였다.

이를 처음으로 생각한 사람은 [[프랑스]] 수학자 [[에밀 보렐]](Émile Borel)로, [[1913년]] 논문인 〈Mécanique Statistique et Irréversibilité〉에 실렸다. 여기서 ‘원숭이’란 실제의 원숭이를 뜻하는 것은 아니다. 대신, 아주 긴 임의의 문자로 이루어진 문자열을 만들어 내는 방식을 좀 더 상상하기 쉽도록 만들어 주는 도구이다. 보렐은 백만 마리의 원숭이가 매일 10시간씩 타자를 친다고 해서, 거대한 도서관에 있는 모든 책을 정확히 만들어 낼 수 있을 것 같지는 않다고 언급했다. 하지만 그렇다고 해서, 이른바 ‘'''확률'''’이라는 법칙이 깨어지지는 않으리라고 반론하였다(즉 발생할 수도 있다는 것이다.). 보렐이 원숭이라는 것을 언급한 이유는 극히 일어나기 힘든 사건을 상상하게 하기 위한 도구였다.

1970년 이후로, 위의 설명 대신 무한이라는 개념을 혼용한 설명이 사용되었다. 즉 무한 원숭이가 무한 시간 타자를 친다면 주어진 문서를 쳐 낸다는 것이다. 하지만, 원숭이 수와 시간의 두 개 모두 무한을 가정하는 것은 별 효용성이 없다. 불사의 한 원숭이가 무한히 타자를 친다면 언젠가는 주어진 문서를 만들 수 있을 것이며, 또한 무한한 수의 원숭이가 단 한 번씩만 타자를 친다면, 그 순간 모든 문서가 만들어질 것이기 때문이다. 사실 더 엄밀히 말한다면, 두 경우 모두 모든 종류의 문서가 만들어질 가능성이 ‘거의 확실하다’고 하는 것이 옳다(무한 원숭이가 모두 똑같은 문자만 누른다면, 결과는 한 문자로만 이루어진 문자열일 것이기 때문이다).

오늘날에는 문학, 텔레비전, 라디오, 음악, 인터넷 등에서 타자를 치는 원숭이에게 대한 관심이 증대되고 있다. [[2003년]]에는 [[술라웨시 머카크]]에 대한 실험이 이루어졌지만, 결과는 알파벳 'S'가 대부분인 5장의 종이였다.

현재 진화론을 설명하는 근거로 인용되기도 한다.

== 직접 증명 ==
이에 대한 간단한 증명이 존재한다. 2가지의 사건이 [[독립 (확률론)|확률적으로 독립]]이라면(두 가지 사건은 서로의 결과에 영향을 주지 않는다) 두 가지 사건이 동시에 일어나는 확률은 두가지 확률의 곱과 같다.

[[타자기]]가 50가지 키가 있다고 하고 입력되어야 하는 단어는 [[바나나|Banana]]라고 할 때 ''b''를 칠 확률은 <math>\textstyle \frac 1 {50}</math>이며, 2번째에 ''a''를 칠 확률은 역시 <math>\textstyle \frac 1 {50}</math>이고, 나머지 다른 문자들도 이와 같다. 따라서 ''banana''라는 단어를 입력할 확률은 <math>\textstyle \frac 1 {50} \times \frac 1 {50} \times \frac 1 {50} \times \frac 1 {50} \times \frac 1 {50} \times \frac 1 {50} = \frac{1}{50^6}</math>이다. 이와 같이 6개의 입력된 알파벳이 ''banana''일 확률은 역시 <math>\textstyle \frac{1}{50^6}</math>이다.

위와 같이 단어 ''banana''를 입력하지 못할 확률은 <math>\textstyle 1-\frac{1}{50^6}</math>이다. 각 사건은 독립이기 때문에, <math>n</math>블록의 단어를 연속으로 치고 ''banana''를 한 번도 입력하지 못할 확률은 <math>\textstyle X_n=\left(1-\frac{1}{50^6}\right)^n</math>이다.

<math>n</math>이 커질수록 <math>X_n</math>는 작아진다. <math>n</math>이 백만이 되었을때는 <math>X_n = 99.99\%</math>이지만, <math>n</math>이 백억이 되었을 때는 53%이며, 천억이 되었을 때는 0.17%이다. 위와 같이 <math>n</math>이 무한으로 접근할수록 <math>X_n</math>의 [[극한]]값은 0에 근접한다(다시 말하면, <math>n</math>값이 증가할수록 <math>X_n</math>은 작아진다는 말이다).<ref>이는 미리 정해진 겹치지 않는 6개 문자 키 중에서 "banana"를 칠 확률이 1에 수렴함을 보여준다. 또한 이 단어는 두 개의 키에 걸쳐 나타날 수도 있다.</ref><ref>{{서적 인용 |성=Isaac |이름=Richard E. |제목=The Pleasures of Probability |연도=1995 |출판사=Springer |ISBN=0-387-94415-X|쪽=48–50}} Isaac generalizes this argument immediately to variable text and alphabet size; the common main conclusion is on p.50.</ref>

위의 증명과 같이 무한히 많은 [[원숭이]]가 최소한 1단어를 칠 수 있다는 의견이 있다. <math>n</math>마리의 [[원숭이]]가 6개의 알파벳으로 구성된 단어를 하나도 입력하지 못할 확률은 <math>\textstyle X_n=\left(1-\frac{1}{50^6}\right)^n</math>로 정의한다. 천억 마리의 [[원숭이]]가 있다고 할 때 확률은 0.17%로 떨어지며, [[원숭이]]의 숫자인 <math>n</math>이 무한으로 증가할시는 [[원숭이]]가 목표하는 단어를 입력하지 못할 확률은 0에 가까워진다.

=== 진짜로 셰익스피어의 희곡 전체를 칠 수 있는가? ===
위의 증명법에 따라 진짜로 [[원숭이]]가 셰익스피어의 희곡을 칠 확률을 알아보자.

일단 셰익스피어의 희곡에 나올 만한 글자들을 모두 모아보면, 알파벳 대·소문자, 숫자, 큰 따옴표(“ ”), 작은 따옴표(‘ ’), 마침표(.), 쉼표(,), 물음표(?), 느낌표(!) 등으로 모두 70자이다.

셰익스피어의 희곡은 14편이고, 한 책은 약 400페이지라고 하고, 한 페이지당 약 3600개의 문자가 있으므로 셰익스피어 희곡 전체의 글자는 약 20,160,000자가 된다.

위의 공식에 따라 [[원숭이]] 한 마리가 70개의 문자 중 하나를 무작위로 골라 20,160,000자의 희곡을 입력할 가능성은 <math>\frac{1}{70^{20160000}}</math>에 불과하다. 이는 <math>3.2607...\times10^{-37197177}</math> 정도로 매우 희박한 가능성이나, 역시 [[원숭이]]가 늘어난다면 가능성은 100%에 가깝게 늘어난다.

=== 뜻 ===
이것은 따라서 무한히 많은 [[원숭이]]가 목표의 단어를 입력할 확률은 거의 100%라는 뜻이다. 이에 따라 완전한 단어를 입력할 [[원숭이]]의 숫자도 무한이 된다. 이를 확장하면 난해한 문장, 노벨상 논문, SCI 논문, 법률 문장, 명작 소설, 인간의 DNA 염기 서열, 명희극을 작성할 수 있는 [[원숭이]]가 있을 수도 있다는 뜻이다.

하지만 이 세상에서 무한이라는 것은 달성할 수 없다. 따라서 이것은 불가능에 가깝다. 이에 대한 설명은 글의 나머지 내용을 참고하라. 하지만 확률이라서 이론상으로 한번에 뚫을 수 있기는 있다.

=== 무한급수 ===
위의 두 정의는 더 일반적이고 간단하게 표현될 수 있으며, [[문자열]]을 이용해서 가능하다.

== 무한 [[원숭이]] 프로토콜 스위트 ==
'''RFC 2795 무한 [[원숭이]] 프로토콜 스위트'''(The Infinite Monkey Protocol Suite)는 장난으로 만들어진 [[RFC]]의 일종으로 무한 [[원숭이]] 프로토콜에 관련된 것이다. 주 내용은 무한 수의 [[원숭이]]를 사용하여 [[윌리엄 셰익스피어]]의 [[희곡]]이나 멋진 [[텔레비전]] 쇼가 만들어졌는지를 검증하는 프로토콜을 제안하는 것이다. RFC 2795<nowiki/>는 [[2000년]] [[4월 1일]] [[만우절]]에 S. Christey가 제안하였으며, [[만우절 RFC]]의 일종이다.

RFC 2795<nowiki/>는 무한 수의 [[원숭이]]를 관리해 주는 ZOO(Zone Operations Organizations, 지역 작업 기구)를 비롯한 통신 및 제어 [[통신 프로토콜|프로토콜]]을 정의하고 있다. 하지만 모든 제안은 말장난인데, 일례로 ZOO는 [[영어]]로 [[동물원]]을 뜻하고, [[동물원]]은 실제로 [[원숭이]]를 사육하는 장소이다. RFC 2795<nowiki/>는 [[RFC 1149]]와는 달리 실제로 구현된 적이 없으며, 무한 수의 [[원숭이]] 혹은 영생을 누리는 [[원숭이]] 어느 것도 가능하지 않기 때문에 앞으로의 구현 역시 요원해 보인다.

<!--
=== 확률 ===
{{빈 문단}}

== 역사 ==

=== 통계학 ===
{{빈 문단}}

=== 근원 ===
{{빈 문단}}

== 응용과 비판 ==

=== 발전 ===
{{빈 문단}}

=== 문학 이론 ===
{{빈 문단}}

=== 임의 숫자 제조 ===
{{빈 문단}}

== 실제 [[원숭이]] ==
{{빈 문단}}

== 일상 문화 ==
-->

== 같이 보기 ==
* [[만우절 RFC]]

== 각주 ==
<references />

{{전거 통제}}

[[분류:문학 이론]]
[[분류:확률론 정리]]
[[분류:통계적 무작위성]]
[[분류:사고 실험]]
[[분류:난수의 응용]]
[[분류:무한]]
[[분류:원숭이에 대한 비유]]
[[분류:네트워크 프로토콜]]
[[분류:만우절]]