Satsen om oändliga apor säger att en apa som slumpmässigt slår på tangenterna på en skrivmaskin till slut kommer att skriva ett av William Shakespeares verk. När man talar om teoremet om den oändliga apan är "apan" inte alltid en riktig apa. Istället är det ett exempel på en apparat som producerar slumpmässiga bokstäver. Chansen att en apa faktiskt skriver en text, som Shakespeares Hamlet, är dock mycket liten.

Förklaring — vad menas egentligen?

Idén är ett tankeexperiment om slump och oändlighet. Antag att en apparat (eller en apa) slumpmässigt väljer tecken från ett begränsat alfabet oberoende av tidigare val. Givet godtyckligt lång tid (eller lika många apor som det finns naturliga tal) kommer varje möjlig ändlig sekvens av tecken att uppträda någon gång — och i själva verket uppträda oändligt många gånger. Teoremet handlar alltså om vad som händer när tiden eller antalet försök blir oändligt stort.

Sannolikhet — ett enkelt räkneexempel

Om alfabetet har m olika tecken och den text vi vill få fram är n tecken lång, är sannolikheten att ett slumpmässigt block på n tecken exakt matchar just den texten lika med m^(-n). Det betyder:

  • Chansen för en exakt match på ett givet ställe = 1 / (m^n).
  • Det förväntade antalet försök (ongiltiga startpositioner) innan man ser texten är ungefär m^n.

Exempel: om alfabetet har 50 tecken och vi söker en text på 100 tecken blir antalet möjliga sekvenser 50^100, vilket är ungefär 10^170 — en siffra så enorm att det i praktiken är omöjligt att uppnå med någon rimlig tid eller antal maskiner.

Varför säger man "nästan säkert" (almost surely)?

Den matematiska formuleringen använder begreppet nästan säkert eller sannolikhet 1. Under antagandet att varje tecken väljs oberoende och att varje tecken har positiv sannolikhet att väljas, gäller att sannolikheten för att en given ändlig text aldrig uppträder är 0. Därför är det med sannolikhet 1 som texten kommer att uppträda åtminstone en gång — och faktiskt oändligt många gånger — i en oändligt lång slumpsekvens.

Formell förutsättning

Satsen kräver:

  • Oberoende och identiskt fördelade (i.i.d.) teckenval eller minst att varje tecken har en positiv sannolikhet.
  • Atingen oändligt lång tid för en apa eller oändligt många apor som skriver parallellt.

Praktisk tolkning och missförstånd

  • Satsen säger inget om hur rimlig eller meningsfull en sådan händelse är i praktiken — bara att den är möjlig i en idealiserad, oändlig modell.
  • I verkligheten, med ändlig tid och resurser, är sannolikheten att få fram ett långt, meningsfullt verk som Hamlet i princip noll.
  • Teoremet används ofta som metafor för slumpens kraft och som illustration av skillnaden mellan matematisk möjlighet (med oändlighet) och praktisk möjlighet.

Matematiska samband och vidare perspektiv

Relaterade matematiska verktyg inkluderar:

  • Borel–Cantellis satser, som ger kriterier för hur ofta slumpmässiga händelser inträffar.
  • Begreppet normalitet: en oändlig slumpmässig sekvens är med sannolikhet 1 normal, vilket innebär att varje tecken och varje ändlig block uppträder med den förväntade frekvensen.
  • Informationsteori och Kolmogorov-komplexitet, som diskuterar skillnaden mellan slumpmässighet och strukturerad (komprimerbar) text.

Sammanfattning — viktiga punkter

  • Teoremet om oändliga apor är ett tankeexperiment som visar att varje ändlig text kommer att uppträda i en oändlig slumpsekvens med sannolikhet 1.
  • I praktiken är sannolikheten att åstadkomma långa, meningsfulla texter med ändliga resurser försumbar.
  • Resultatet belyser grundläggande skillnader mellan matematiska idealiseringar (oändlighet) och verklig tillämpbarhet.