Accueil - Boutique - Contact - Assistance
Zone de recherche

Altas Auteurs Recherche thématique Dictionnaire
 

TURING ALAN MATHISON (1912-1954)

Page précédente Page suivante

3.  Débuts de l'informatique 

Au lendemain de la guerre, en 1945, Turing est recruté par le Laboratoire national de physique (National Physical Laboratory, N.P.L.), à Londres, pour concevoir et mettre au point un calculateur électronique. Les plans de la machine de calcul automatique (Automatic Computing Engine, A.C.E.) qu'il dessine constituent les premières spécifications relativement complètes d'un calculateur numérique à programme destiné à un usage général. Si l'A.C.E. de Turing avait été construite selon ses plans, elle aurait disposée d'une mémoire et d'une vitesse de calcul bien supérieures à celle de tout autre calculateur de la première heure. Les collègues de Turing au N.P.L. pensent cependant que sa mise au point est trop complexe et construisent une machine beaucoup plus simple, le modèle pilote A.C.E.

Le laboratoire finit par se laisser distancer dans la course à la construction du premier ordinateur électronique programmable opérationnel, exploit qui revient à un laboratoire de l'université de Manchester, le Royal Society Computing Machine Laboratory, en juin 1948. Découragé par le retard pris par le N.P.L., Turing accepte le poste le directeur adjoint du laboratoire de Manchester la même année, sachant que le poste de directeur est vacant. Son concept théorique de machine de Turing a eu dès le départ une influence fondamentale sur le projet de calculateur de Manchester. Après son entrée en fonction, Turing travaille essentiellement à la conception du système de programmation du Ferranti Mark-I, le premier ordinateur commercialisé au monde.

 […]

… pour nos abonnés, l'article se prolonge sur 2 pages…Offre essai 7 jours

Thématique

Classification thématique de cet article :

Retour en haut

Autres références

« TURING ALAN MATHISON (1912-1954) » est également traité dans :

TURING MACHINE DE

Écrit par :  Bernard PIRE

Dans l'article « On computable numbers, with an application to the Entscheidungsproblem », publié en 1936 dans les Proceedings of the Mathematical Society, Alan Mathison Turing (1912-1954) montre qu'il existe des nombres définissables qui ne sont pas calculables. Cela implique qu'il n'existe pas de solution au célèbre problème de la… Lire la suite
COGNITIVES SCIENCES

Écrit par :  Daniel ANDLER

Dans le chapitre "Les prodromes (1936-1950)"  : …  années 1930 et la fin des années 1940. Deux articles fondamentaux du grand logicien anglais A. M. *Turing encadrent symboliquement cette préhistoire : en 1936, il jetait les bases mathématiques et conceptuelles de ce qui deviendrait, au cours de la décennie suivante, et en partie une seconde fois grâce à lui, l'ordinateur électronique programmable… Lire la suite
CRYPTOLOGIE

Écrit par :  Jacques STERN

Dans le chapitre "Le XXe siècle"  : …  de diverses disciplines avec pour mission de cryptanalyser les chiffres allemands. Parmi eux, *le grand logicien Alan Turing, déjà connu pour avoir, en 1936, apporté une solution négative au problème dit « de la décision », le célèbre Entschdungproblem du mathématicien David Hilbert. Le génie de Turing vient également à bout de l'… Lire la suite
CYBERLITTÉRATURE

Écrit par :  Jean CLÉMENT

Dans le chapitre "Une littérature générée"  : …  Les premiers essais de cyberlittérature sont aussi anciens que l'informatique elle-même. *Dès les années 1940, Alan Turing, logicien et pionnier de l'informatique, découvre les potentialités de l'ordinateur dans le domaine de la combinatoire en programmant des Lettres d'amour en forme de « cadavres exquis ». Mais c'est seulement à partir de… Lire la suite
GÖDEL KURT (1906-1978)

Écrit par :  Daniel ANDLER

Dans le chapitre "L'œuvre"  : …  à la définition générale de fonction récursive, par Herbrand et Gödel, et à l'élucidation par *Turing de la notion de calculabilité, qui permettait de dégager la véritable généralité des théorèmes de Gödel. C'est en théorie des ensembles, à l'axiomatisation de laquelle il contribua, que Gödel fit sa troisième grande découverte, en… Lire la suite
INFORMATIQUE - Principes

Écrit par :  Jacques HEBENSTREIT

Dans le chapitre "Automates de Turing"  : …  Les automates définis dès 1936 par le mathématicien anglais *Alan Mathison Turing se sont révélés d'excellents modèles abstraits des ordinateurs réalisés à partir de 1943. Un automate de Turing est composé d'un automate à nombre fini d'états, muni d'une tête de lecture-écriture devant laquelle se trouve un ruban divisé en cellules et qui peut se… Lire la suite
PENSÉE

Écrit par :  Pascal ENGEL

Dans le chapitre "Pensée, machines et fonctionnalisme"  : …  de la pensée naturelle. L'un des principaux fondateurs de la théorie logique des automates, *Turing (1950), soutenait qu'il n'y avait aucune objection de principe à ce que les machines « pensent », pourvu qu'elles puissent imiter suffisamment de ce que nous appelons le comportement intelligent. À cela les philosophes ont opposé une série d'… Lire la suite
PREMIERS ORDINATEURS - (repères chronologiques)

Écrit par :  Pierre MOUNIER-KUHN

…  de réseaux à haute tension, analyse de circuits électroniques) et en mécanique rationnelle (balistique). * Alan Mathison Turing, jeune mathématicien britannique, publie On Computable Numbers with an Application to the Entscheidungsproblem. Dans cet article sur la calculabilité et le problème de la décision, il imagine une « machine »… Lire la suite
PROGRAMMATION

Écrit par :  Jean-François MONIN

Dans le chapitre "Programmes informatiques"  : …  remarquons que les premiers modèles abstraits de calcul étaient eux-mêmes des interpréteurs. Ainsi, *Alan Mathison Turing (1912-1954) considérait dès les années 1930, c'est-à-dire bien avant la naissance du premier ordinateur, des machines imaginaires composées d'une tête de lecture-écriture et d'un ruban, une instruction consistant à lire le… Lire la suite
RÉCURSIVITÉ, logique mathématique

Écrit par :  Kenneth Mc ALOONBernard JAULINJean-Pierre RESSAYRE

Dans le chapitre "Énumération universelle (principe du fonctionnement des ordinateurs)"  : …  Signalons au passage que l'existence d'une énumération universelle récursive avait été trouvée par le logicien A. *Turing avant la construction des ordinateurs. L'application ϕ possède de nombreuses propriétés et D. Lacombe en a fait une théorie générale abstraite. Mentionnons seulement deux propriétés élémentaires ayant des applications immédiates… Lire la suite

Afficher la liste complète (10 références)

Retour en haut

Médias

Médias de cet article dans l'Encyclopædia Universalis :

Alan Mathison Turing

Retour en haut

Accueil - Contact - À propos
Consulter les articles d'Encyclopædia Universalis : 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Consulter les articles d'Encyclopædia Britannica.
© 2012, Encyclopædia Universalis France S.A. Tous droits de propriété industrielle et intellectuelle réservés.

chargement du média