Idiomathique du jour
Une femme de ménage doit souvent faire ses preuves par récurrence.
Alan Turing, l'homme qui inventa l'informatique.
Le mathématicien britannique Alan Mathison Turing est né le 23 juin 1912.
Il est considéré comme un des pères fondateurs de l'informatique moderne. Avec sa machine de Turing, il est à l'origine de la formalisation des concepts d'algorithme et de calculabilité qui ont profondément marqué cette discipline.
Durant la Seconde Guerre mondiale, il a dirigé les recherches sur les codes secrets générés par la machine Enigma utilisée par les nazis.
Il est aussi à l'origine du test de Türing destiné à différencier un ordinateur d'un humain. Un Captcha est une forme de test de Turing utilisé par de nombreux sites.
En 1954, peu après avoir été condamné par la justice de son pays à la castration chimique pour avoir entretenu une relation sexuelle avec un autre homme, il se donne la mort en croquant une pomme trempée dans le cyanure. Est-ce cette pomme qui a inspiré les ordinateurs Apple ?
Pour mieux connaitre Turing, on pourra lire le livre de David Leavitt, "Alan Turing. L'homme qui inventa l'informatique." disponible sur amazon.
Jeu de briques
Snake
Pacman
Bubble