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

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

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

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


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

http://youtu.be/Imd_Vhg8Afk?t=13s


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

http://youtu.be/ipdRhgLWGXo


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

http://youtu.be/pDUn7dDigvI


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

http://youtu.be/iSn8L6Uj5L8