Alan Turing

-----------------------------

Enfance et jeunesse[modifier]

Alan Turing est né à Paddington du fonctionnaire d'administration coloniale Julius Mathison Turing et de sa femme Ethel Sarah Turing (née Stoney). À partir de l'âge d'un an, le jeune Alan est élevé par des amis de la famille Turing.

Sa mère rejoint alors son père qui était en fonction dans l'Indian Civil Service. Ces derniers reviendront au Royaume-Uni à la retraite de Julius en 1926. Très tôt, le jeune Turing montre les signes de son génie. Il est par exemple relaté qu'il apprit seul à lire en trois semaines.[réf. nécessaire] De même, il montra une affinité précoce pour les chiffres et les énigmes.

Ses parents l'inscrivent à l'école St. Michael's, à l'âge de six ans. La directrice reconnaît rapidement en lui un génie[réf. nécessaire], comme beaucoup de ses professeurs consécutifs au Marlborough College. À Marlborough, il est pour la première fois confronté à des camarades plus âgés que lui, il deviendra l'une de leurs têtes de Turc. À partir de 13 ans, il fréquente le Sherborne School, où son premier jour de classe fut couvert par la presse locale en raison de son exploit sportif. En effet, une grève générale avait éclaté au Royaume-Uni et Turing s'était rendu à son école distante de près de 90 kilomètres à vélo, s'arrêtant la nuit dans un motel.

Sportif accompli, Alan Turing arrivera même 4e à l'arrivée du marathon de l'Association des athlètes amateurs (AAA Marathon), dont les meilleurs coureurs sont traditionnellement qualifiés pour les Jeux olympiques en 1949, en 2 heures 46 minutes et 3 secondes, un très bon temps à l'époque. Blessé à une jambe, Turing cessera de courir sérieusement à partir de 1950[5].

Le penchant naturel de Turing pour les sciences ne lui apporte le respect ni de ses professeurs, ni des membres de l'administration de Sherborne, dont la définition de la formation mettait plus en valeur les disciplines classiques (littérature, arts, culture physique) que les sciences. Malgré cela, Turing continue de faire des prouesses dignes d'intérêt dans les matières qu'il aime, résolvant des problèmes très ardus pour son âge. Par exemple, en 1928, Turing découvre les travaux d'Albert Einstein et les comprend alors qu'il a à peine 16 ans, allant même jusqu'à extrapoler la loi du mouvement d'Einstein à partir d'un texte dans lequel elle n'était pas décrite explicitement.

-------------------------------------------------

Études supérieures et travaux sur la calculabilité[modifier]

La salle informatique de King's College à Cambridge porte désormais le nom de Turing.

À cause de son manque d'enthousiasme à travailler aussi dur dans les matières classiques que dans les matières scientifiques, Turing échoue plusieurs fois à ses examens, et finit par n'être admis que dans l'établissement qu'il avait mentionné par défaut, King's College de l'université de Cambridge, alors qu'il avait demandé Trinity College en premier choix. Il étudie de 1931 à 1934 sous la direction de Godfrey Harold Hardy, mathématicien émérite alors titulaire de la chaire de Sadleirian puis responsable du centre de recherches et d'études en mathématiques. Il suit également les cours d'Arthur Eddington et, la dernière année, de Max Newman qui l'introduit à la logique hilbertienne. En 1935, Turing est élu fellow, équivalent d'enseignant-chercheur, du King's College.

Dans son remarquable article « On Computable Numbers, with an Application to the Entscheidungsproblem » (1936), il répond à un problème posé par Hilbert à savoir celui de la décision (Entscheidung) dans les théories axiomatiques, qui demande s'il est possible de trouver une méthode effectivement calculable qui affirme si, oui ou non, une proposition est démontrable. Pour montrer que cela n'est pas possible, il faut caractériser ce qu'est un procédé effectivement calculable.

Turing le fait en introduisant les machines de Turing. Dans le cours de son raisonnement, il démontre que le problème de l'arrêt d'une machine de Turing ne peut être résolu par algorithme : il n'est pas possible de décider avec un algorithme (c'est-à-dire avec une machine de Turing) si une machine de Turing donnée s'arrêtera. Bien que sa preuve fût publiée après celle de Alonzo Church, le travail de Turing est plus accessible et intuitif. Il est aussi complètement nouveau dans sa présentation du concept de « machine universelle (de Turing) », avec l'idée qu'une telle machine puisse accomplir les tâches de n'importe quelle autre machine. L'article présente également la notion de nombre réel calculable. Il déduit de l'indécidabilité du problème de l'arrêt que l'on peut définir des nombres réels qui ne sont pas calculables.

Turing passe la plus grande partie de 1937 et de 1938 à travailler à l'université de Princeton, sous la direction d'Alonzo Church. Il obtient en mai 1938 son Ph.D.[6] de l'université de Princeton ; son manuscrit présente la notion d'hypercalcul, où les machines de Turing sont complétées par ce qu'il appelle des oracle[7], autorisant ainsi l'étude de problèmes qui ne peuvent pas être résolus de manière algorithmique. L'appellation de « machine de Turing » vient de Church, son directeur de thèse, qui l'emploie pour la première fois dans un compte-rendu du travail de son élève dans le Journal of Symbolic Logic.

De retour à Cambridge en 1939, il participe à des cours publics de Ludwig Wittgenstein sur les fondements des mathématiques. Tous les deux discutent de manière véhémente et tombent en désaccord, Turing défendant le formalisme alors que Wittgenstein pense que les mathématiques sont surestimées et qu'elles ne permettent pas de découvrir une quelconque vérité absolue.

-------------------------------------------------