מהי תיאורמת הקוף האינסופי?

משפט הקוף המקליד גורס שבסופה של הקלדת כל רצף ארוך מספיק של תווים אקראיים, יופיע כמעט בוודאות, כל טקסט אפשרי. התאוריה אומרת שאם תהיה ההקלדה אינסופית, יווצר בוודאות כל טקסט שהוא, כולל נבואות, טקסטים של שייקספיר ורשימות מכולת מאתמול. זהו סדר שנוצר מתוך כאוס.

מתמטיקאי צרפתי בשם אמיל בורל היה הראשון שכתב את הדברים. הוא ניסח זאת כך שניתן לומר שאם קוף יקליד תווים אקראיים במכונת כתיבה, לבסוף הוא יקליד גם את כל כתבי וויליאם שייקספיר.

בגישה זו ניתן לענות גם לטענה שנבואות קדומות ניבאו כל מיני אירועים שקרו במאה האחרונה (כולל עלית היטלר, רצח רבין ועוד). הם גורסים בפשטות שבתנ"ך ניתן למצוא "רמזים" לאירועים אלה ואחרים, אם רק מחפשים מספיק...

אבל מה ניתן להפיק מהקלדות אקראיות כמו מה שהקופים מקלידים? - משפט הקוף המקליד הוא ניסוי מחשבתי בלבד. בניסוי שערכו ב-2003 בגן חיות, הסתבר שקופי המקוק שקיבלו 6 מכונות כתיבה למשך חודש כתבו רק 5 עמודים, שרובם היו מלאים באות "S" והרסו את מכונות הכתיבה. אתר שמדמה את הקופים המקלידים בעזרת תוכנה שיוצרת אינספור הקלדות אקראיות, הצליח להפיק 24 אותיות רצופות מתוך המחזה "הנרי הרביעי" של שייקספיר.

על תיאורמת הקוף האינסופי, או משפט הקוף המקליד (ללא מילים):

תיאור ציורי של תיאורת הקופים האינסופיים:

על תוצאותיו של הניסוי עם קופים ומכונות כתיבה:

וסימולטור שמדמה את תיאורמת הקופים האינסופיים: