Utilisateur:Monsieur Brouillon/Georges Gonthier

Un article de la désencyclopédie.
Aller à la navigation Aller à la recherche
Stub.gif
Cet article est une ébauche. Tout comme l'organe sexuel de son auteur, il est sympa et amusant, mais plutôt court. Vous pouvez aider la Désencyclopédie en le faisant grandir.

Georges Gonthier est un chercheur rageux en informatique connu pour ses célèbres livres de coloriage. Il a obtenu le prix Nobel d'éco-informatique pour sa contribution à la réduction de la consommation de crayons-feutres en résolvant une question ouverte depuis plus d'un siècle : « tout livre de coloriage peut être rempli de manière correcte et complète en utilisant au plus quatre couleurs. »

Ses domaines de prédilection sont les métaphores à base de murs, les preuves en une demi-ligne, ainsi que la certification de programmes télé.

« Vous n'utilisez pas les bons outils au bon endroit. À la moindre instanciation, vous allez vous prendre un mur de complexité en pleine face... »

~ Georges Gonthier à propos d'un gentil conférencier

« Votre outil fait-il des choses non-triviales ? Pour l'instant, je résous tous vos exemples en une demi-ligne... »

~ Georges Gonthier à propos de techniques de preuve élaborées
Récupérée de « https://desencyclopedie.org/w/index.php?title=Utilisateur:Monsieur_Brouillon/Georges_Gonthier&oldid=452446 »