Mathématicien et logicien britannique, Alan Turing apporta une contribution majeure aux mathématiques, au décryptage, à la logique, à la philosophie, à la biologie et à de nouveaux domaines du savoir qui allaient par la suite être baptisés informatique, sciences cognitives, intelligence artificielle et vie artificielle.
1. Jeunesse et études universitaires
Alan Mathison Turing naît le 23 juin 1912 à Londres. Fils d'un fonctionnaire britannique de l'administration indienne, Turing commence à étudier les mathématiques au King's College de l'université de Cambridge en 1931. Après avoir obtenu son diplôme en 1934, il obtient une bourse d'enseignant chercheur au King's College en reconnaissance de ses travaux sur la théorie des probabilités. En 1936, le mathématicien et logicien américain Alonzo Church (1903-1995), qui vient de publier un article arrivant aux mêmes conclusions que Turing, appuie la publication de l'article de ce dernier : « On Computable Numbers, with an Application to the Entscheidungsproblem » (traduit sous le titre « Théorie des nombres calculables, suivie d'une application au problème de la décision » dans l'ouvrage La Machine de Turing). La même année, Turing part à l'université de Princeton pour faire une thèse sur la logique mathématique sous la direction de Church, achevée en 1938.
L'Entscheidungsproblem, problème de la décision formulé par Hilbert, cherche une méthode fiable permettant de décider quels énoncés mathématiques sont prouvables ou non dans un système mathématique formel donné. En 1936, Turing et Church montrent, chacun de son côté, que ce problème n'a en général pas de solution, prouvant qu'aucun système arithmétique formel cohérent n'est décidable. Ce résultat et bien d'autres, notamment les théorèmes d'incomplétude du mathématicien et logicien Kurt Gödel, mettent fin au rêve d'un système qui pourrait bannir à jamais l'ignorance des mathématiques. (En fait, Turing et Church montrent même que certains systèmes purement logiques, bien moin […]
… pour nos abonnés, l'article se prolonge sur 2 pages…
