10 questions sur Alan Turing

À l’occasion du centenaire de sa naissance, ce film évoque l’apport de ce scientifique dont les découvertes rayonnent encore de nos jours…

Voir l'article Le modèle Turing.

En 1936, alors âgé de 24 ans, il obtient en logique mathématique des résultats qui fondent un nouveau champ théorique, celui de la « calculabilité », la théorie du calcul, qui constituera la base théorique de l’informatique.

Voir l'article Alan Turing, un souffle de génie.

Une machine de Turing calcule sur un alphabet comprenant un nombre fini de symboles, il peut donc y en avoir plus de deux. Même si les exemples présentés, y compris sur Interstices, utilisent souvent 0 et 1.

Voir l'article Sous le signe du calcul.

C’est David Hilbert qui a formulé le problème de la décision, ou Entscheidungsproblem, en 1928. Kurt Gödel est le premier à avoir énoncé qu’il existait des problèmes indécidables, en 1931. Quant à Alonzo Church, il a, indépendamment de Turing, proposé un formalisme équivalent à la machine de Turing.

Voir l'article Alan Turing : du calculable à l’indécidable.

La conception et le montage de cette machine de Turing ont nécessité des centaines d’heures de travail. Seuls des éléments du jeu de construction LEGO ® ont été utilisés : briques, engrenages, vérins pneumatiques… en tout, plus de 20 000 pièces, soit 32 vérins, 1 200 engrenages, 23 mètres d’axes, 24 leviers et 50 mètres de tuyau. La machine est conforme à la description d’Alan Turing.

Ce projet de l'École normale supérieure de Lyon s'est poursuivi avec la construction d'une deuxième version de la machine, utilisant seulement 6000 pièces.

Voir l'article Sous le signe du calcul.

Alan Turing pratiquait la course de fond. La photographie le montre lors d’une course du « NPL Sports Day » en décembre 1946. Il arriva deuxième.

© Photographie reproduite avec l'autorisation du National Physical Laboratory, NPL (Angleterre).

Voir l'article Alan Turing, un souffle de génie.

Dès le début de la seconde guerre mondiale, les services de renseignement britanniques ont fait appel au jeune Alan Turing, brillant mathématicien, pour travailler au décryptage des messages allemands.

Photo © Süddeutsche Zeitung/Rue des Archives.

Voir les articles Turing à l’assaut d'Enigma et Enigma.

Le modèle de réaction-diffusion proposé par Turing explique les motifs du pelage de certains animaux, comme le guépard. Le motif en taches régulières se transforme en motif à bandes régulières dans la queue, plus longue que large.

Photo : Thaïs Kjellberg.

Voir l'article Symétries et morphogenèse.

Il existe actuellement deux statues d’Alan Turing, l’une à Bletchley Park et l’autre à Sackville Park (Manchester), où est passée la flamme olympique.

Source photo : LOCOG/Getty Images Europe.

Voir l'article Turing à l’assaut d’Enigma et la page Wikipédia Alan Turing.

Joseph Sifakis est à l’heure actuelle l'unique Français lauréat du prestigieux prix Turing. C’est en 2008 qu'il a reçu ce prix, l’équivalent du Nobel pour les informaticiens, avec Ed Clarke et Allen Emerson, pour leurs travaux sur une technique et une méthode appelées model checking.

Voir l'article Dans l’esprit du système... portrait de Joseph Sifakis.

Leslie Valiant, qui est britannique, a reçu le prix Turing en 2010.