Théorème du singe infini

Le théorème du singe infini est une proposition selon laquelle un nombre illimité de singes, étant donné des machines à écrire et suffisamment de temps, finira par produire un texte particulier, comme Hamlet ou même les œuvres complètes de Shakespeare.

Le raisonnement derrière cette supposition est que, étant donné un temps infini, une entrée aléatoire devrait produire toutes les sorties possibles.Le théorème du singe infini se traduit par l'idée que tout problème peut être résolu, avec l'entrée de ressources et de temps suffisants. Cette idée a été appliquée dans divers contextes, notamment le développement et le test de logiciels, l'informatique de base, la gestion de projets et le projet SETI (Search for Extraterrestrial Intelligence), afin de soutenir une plus grande allocation de ressources - souvent, plus précisément, une plus grande allocation de ressources bas de gamme - pour résoudre un problème donné. Le théorème est également utilisé pour illustrer des concepts de base en probabilité.

En 2002, des chercheurs de l'université de Plymouth au Royaume-Uni ont testé le théorème avec six macaques à crête dans une cage avec un ordinateur. Les singes ont frappé la machine avec une pierre et ont uriné dessus ; lorsqu'ils ont tapé, c'était principalement la lettre "s". Cependant, il convient de noter que ni le nombre de singes ni le temps imparti pour l'expérience n'étaient infinis.

En 2011, le programmeur américain Jesse Anderson a créé une expérience de singes infinis basée sur un logiciel pour tester le théorème. Anderson a utilisé son propre ordinateur, travaillant avec Amazon Elastic Compute Cloud (Amazon EC2) et Hadoop. Les singes virtuels étaient un million de petits programmes générant des séquences aléatoires de neuf caractères. Lorsqu'une séquence correspondait à une chaîne de texte de Shakespeare, cette chaîne était cochée. Le projet a terminé les travaux complets en 1,5 mois. 

Le Million Monkey Project était surtout un amusement, et n'a pas vraiment reproduit le scénario du théorème. Néanmoins, les méthodes d'Anderson pourraient potentiellement être appliquées à des problèmes du monde réel, comme le séquençage de l'ADN. 

Au début du XXe siècle, Émile Borel, un mathématicien, et Sir Arthur Eddington, un astronome, ont utilisé le théorème du singe infini pour illustrer les échelles de temps impliquées dans la mécanique statistique. Dans la culture populaire, le théorème est apparu dans de nombreuses œuvres, notamment la nouvelle de Russell Maloney, "Inflexible Logic", le "Guide du routard galactique" de Douglas Adam et un épisode des Simpsons.

Le groupe de travail sur les réseaux de l'IETF a appliqué le concept dans sa suite de protocoles du singe infini (RFC 2795), dans l'un de ses célèbres documents du 1er avril.