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