Alan Turing

Suivant le cognitivisme, l’esprit est comparable à une machine au sens où l’entend Alan Mathison Turing (1912-1954), un mathématicien britannique qui jouera avec John Von Neumann (1903-1957) un rôle capital dans la conception des ordinateurs tels qu’ils sont connus aujourd’hui. L’esprit est considéré comme une machine automatique destinée à résoudre des problèmes sous la forme d’algorithmes. Bien que la machine de Turing (créée en 1936), du nom de son inventeur, soit une pure abstraction, son concept

plutôt que sur la fonction qu’il est censé réaliser. En résumé, l’architecture du système est dictée par la structure du problème. 1.3.3  Approche fonctionnelle vs. approche objet Selon la thèse de Church-Turing, tout langage de programmation non trivial équivaut à une machine de Turing. Il en résulte que tout programme qu’il est possible d’écrire dans un langage pourrait également être écrit dans n’importe quel autre langage. Ainsi, tout ce que l’on fait avec un langage de programmation par

math´maticien anglais, Alan e e e Turing (1912/1954). En 1936, Turing pr´cisa la notion d’algorithme et imagina une machine e automatique (dite machine de Turing) qui pouvait r´soudre n’importe lequel probl`me : c’´tait e e e une machine universelle, qui fonctionnait de mani`re automatique en suivant machinalement des e instructions exprim´es en fonction d’op´rations logiques ´l´mentaires et en ´crivant, copiant ou e e ee e lisant de l’information dans un registre. Turing ne voulait pas vraiment

France) Centre Jaude - 31 rue Gonod - 63000 CLERMONT-FERRAND Président : Dominique Andrieux Tél : 04 73 17 14 14 - Fax : 04 73 17 14 17 www.tresor.economie.gouv.fr/region/auvergne OSEO Parc Technologique La Pardieu Immeuble Olympe - 17bis, allée Alan Turing - 63170 AUBIERE Tél : 04 73 34 49 90 - Fax : 01 41 79 96 07 clermont-ferrand@oseo.fr 115 Mission EXPORT ZONE SUD-EST Annuaire des PARTENAIRES EXPORT • AUVERGNE • LANGUEDOC-ROUSSILLON • PROVENCE ALPES CÔTE D’AZUR CORSE • RHÔNE-ALPES

acteurs institutionnels à l’origine du réseau, émergent, à partir des années 1970 et surtout de la décennie suivante, les cow-boys de l’informatique. Outil : niveaux matériel et logiciel Les bases de cet outil ont été théorisées par le Britannique Alan Turing en 1936, mais les premières générations d’ordinateurs ne sont apparues qu’à partir de 1940. Tout d’abord, il convient de rappeler que la naissance de la micro-informatique demeure un phénomène récent. Et l’entrée sur le marché de nouveaux acteurs

internaute. Voir annexe B en fin de fascicule Partie C. La cryptologie Préambule Parler de cryptologie est un exercice très délicat. Dans l'esprit du grand public, la cryptographie évoque souvent l'image des casseurs de code mythiques comme Alan Turing qui réussit à déchiffrer le code de l'Enigma, ce qui permit aux alliés de débarquer un an plus tôt en Normandie pendant la Deuxième Guerre mondiale. Pour les spécialistes, la cryptologie n'est qu'une affaire de factorisation et de nombres premiers

travaux qui visaient à fabriquer une machine capable de réaliser des opérations jusqu’alors dévolues à l’esprit humain, une machine à traiter de l’information. Pour Alan Turing ou John von Neumann, les pères de l’ordinateur, l’analogie entre cerveau et ordinateur7 est 5 6 7 Cf. par exemple Houdé (2006). Op. cit. p. 77. Pour Turing, il s’agit plus précisément de la machine universelle. Le mot ordinateur n’apparaît qu’en 1956. Le terme anglais computer renvoie plus immédiatement à la fonction de

titre, Garry Kasparov. Le film Blade Runner, tiré d’un roman de Philip K. Dick, va plus loin : le détective chargé de détecter les robots génétiques tombe amoureux de l’une des créatures qu’il est censé pourchasser. Le fondateur de l’informatique, Alan Turing, prévoyait qu’en 2000 des machines seraient capables de tromper 30 % des humains sur le test suivant : dialoguant par ordinateur avec quelqu’un, dans combien de cas l’humain comprend-il qu’il s’agit d’un robot ? Aucune machine, à ce jour, n’est

astrophysique de thermodynamique (dont fait partie Costa de Beauregard), prendre au sérieux Georgescu-Roegen et le citer dans son magistral ouvrage Cosmology, Physics, and Philosophy, qui contient deux préfaces élogieuses, de Sir Karl Popper et de Sir Alan Cottrell 3. Parce qu'il s'intéresse à tous les aspects de la Loi de l'Entropie et de la révolution carnotienne, Georgescu-Roegen a toujours été passionné par le débat cosmologique, qui est depuis des siècles, l'une des clefs de la philosophie de la

sont vérifiés par de longues procédures de tests que l’on espère exhaustifs ; on imagine sans mal l’intérêt que représenterait un programme informatique sûr, capable de les vérifier automatiquement. Un programme qui vérifie d’autres programmes  ! Alan Turing, le père de l’informatique moderne, avait déjà anticipé ce besoin dans les années 1940. La tâche est d’autant moins simple que les programmes ne sont jamais écrits directement dans le langage binaire que parlent les ordinateurs : on commence par