Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Alan Mathison Turing

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

23 June 1912

London, England

7 June 1954

Wilmslow, Cheshire, England

Présentation Wikipedia
ATTENTION - traduction automatique de la version anglaise

Alan Turing est né à Paddington, Londres. Son père, Julius Mathison Turing, un Britannique a été membre de l'Indian Civil Service et il a été souvent à l'étranger. Alan la mère, Ethel Stoney Sara, était la fille du chef mécanicien de Madras chemins de fer et les parents d'Alan se sont réunis et se sont mariés en Inde. Quand Alan était d'environ un ans, sa mère a rejoint son mari en Inde, en laissant Alan en Angleterre avec des amis de la famille. Alan a été envoyé à l'école, mais ne semble pas être l'obtention d'aucun avantage et il a été retiré de l'école après quelques mois.

Suivant il est envoyé à Hazlehurst l'école préparatoire où il semble être une 'moyenne à bonne "élève dans la plupart des sujets, mais a été fortement repris avec la suite de ses propres idées. Il s'est intéressé à d'échecs tandis que dans cette école et il a également rejoint la société de débats. Il a terminé son examen commun d'entrée en 1926 et s'est ensuite rendu à Sherborne School. Maintenant 1926 était l'année de la grève générale et lorsque la grève était en cours de Turing vélo 60 milles à l'école à son domicile, pas trop exigeant pour une tâche de Turing qui plus tard allait devenir une amende de près athlète olympique norme. Il a trouvé très difficile de s'adapter à ce que l'on attendait à cette école publique, mais sa mère a été aussi décidé qu'il devrait avoir une école publique d'éducation. La plupart des penseurs d'origine ont trouvé une scolarité classique presque incompréhensible et cela semble avoir été le cas pour de Turing. Son génie lui a poussé dans ses propres orientations plutôt que celles requises par ses professeurs.

Il a été critiqué pour son écriture, du mal à l'anglais, et même en mathématiques il est trop intéressés avec ses propres idées pour produire des solutions à des problèmes en utilisant les méthodes enseignées par ses professeurs. Malgré la production de non réponses, Turing ne gagner presque tous les prix tout en mathématiques à Sherborne. En chimie, un sujet qui a intéressé de lui un très jeune âge, il a mené des expériences suite à son propre ordre du jour qui n'a pas son professeur s’il vous plaît. Turing a écrit le directeur (voir, par exemple):

S'il est de rester à l'école publique, il doit viser à devenir instruits. S'il doit être uniquement un spécialiste de la science, il gaspille son temps à une école publique.

C'est tout dire beaucoup plus sur le système scolaire que de Turing est soumis à elle que sur lui-même de Turing. Toutefois, Turing profonde appris les mathématiques à l'école, bien que ses professeurs ne sont probablement pas pris connaissance des études qu'il faisait de ses propres ailes. Il a lu Einstein de l 'articles sur la relativité et il a également lire sur la mécanique quantique Eddington dans l' La nature du monde physique.

Un événement qui a été grandement affecter Turing tout au long de sa vie a eu lieu en 1928. Il a formé une amitié étroite avec Christopher Morcom, un élève de l'année au-dessus de lui à l'école, et les deux ont travaillé ensemble sur les idées scientifiques. Peut-être pour la première fois de Turing a été en mesure de trouver quelqu'un avec qui il pourrait partager ses pensées et ses idées. Toutefois Morcom est mort en Février 1930 et l'expérience a été un bris à une Turing. Il avait un pressentiment de la mort de Morcom à l'instant même qu'il était tombé malade et a estimé que c'était quelque chose au-delà de ce que la science pourrait expliquer. Il a écrit plus tard (voir par exemple):

Il n'est pas difficile d'expliquer ces choses loin - mais, je me demande!

Malgré les années d'études difficiles, Turing est entré King's College, Cambridge, en 1931 pour étudier les mathématiques. Cela n'a pas été atteint sans difficulté. Turing assis la bourse examens en 1929 et a remporté une exposition, mais pas d'une bourse d'études. Non satisfait de cette performance, il a pris les examens à nouveau l'année suivante, cette fois gagnante d'une bourse d'études. À bien des égards, Cambridge a été un lieu beaucoup plus facile pour des gens comme non Turing que l'école avait été. Il est maintenant beaucoup plus en mesure d'explorer ses propres idées et il a lu Russell l 'Introduction à la philosophie mathématique en 1933. À peu près au même moment où il a lu von Neumann 's 1932 texte sur la mécanique quantique, un sujet, il est revenu à un certain nombre de fois tout au long de sa vie.

L'année 1933 a vu les débuts de Turing dans l'intérêt de la logique mathématique. Il a lu un papier à la Moral Science Club de Cambridge, en Décembre de cette année, dont la minute suivante a été enregistrée (voir, par exemple):

AM Turing lire un document sur "Les mathématiques et la logique". Il a suggéré qu'une vue purement logistique des mathématiques est insuffisant et que les propositions mathématiques possède une variété d'interprétations dont la logistique est simplement un.

Bien sûr, 1933 est aussi l'année de l'ascension de Hitler en Allemagne et d'un mouvement anti-guerre en Grande-Bretagne. Turing a rejoint le mouvement anti-guerre, mais il n'a pas la dérive vers le marxisme, ni le pacifisme, comme ce fut le cas pour beaucoup.

Turing a obtenu son diplôme en 1934 puis, au printemps de 1935, il a participé à Max Newman 's cours avancé sur les fondements des mathématiques. Ce cours a étudié Gödel l 'incomplet et résultats de Hilbert »sur la question de décidabilité. Dans un sens «décidabilité» était une question simple, à savoir une proposition mathématique peut-on trouver un algorithme qui décide si la proposition est vrai de faux. Pour de nombreuses propositions, il était facile de trouver un tel algorithme. La véritable difficulté se pose à prouver que, pour certaines propositions de telles algorithme existe. Face à un algorithme pour résoudre un problème, il était clair qu'il était en effet un algorithme, mais il n'y avait pas de définition d'un algorithme qui est assez rigoureux pour permettre à un de prouver que n'en existait pas. Turing a commencé à travailler sur ces idées.

Turing a été élu Fellow of King's College, Cambridge, en 1935 pour une thèse sur la fonction de Gauss erreur qui s'est avéré résultats fondamentaux sur la théorie des probabilités, à savoir le théorème de la limite centrale. Bien que le théorème de la limite centrale a récemment été découvert, Turing n'était pas au courant de cette découverte et indépendante. En 1936, Turing est un Prizeman Smith.

Les réalisations de Turing à Cambridge avait été en raison de son travail en théorie des probabilités. Toutefois, il a travaillé sur la décidabilité des questions depuis participant Newman 's cours. En 1936, il publie Le Computable Numbers, avec une application à l'Entscheidungsproblem. C'est dans ce papier que Turing a présenté une machine abstraite, maintenant appelé une "machine de Turing", qui est passé d'un état à un autre à l'aide précise un ensemble fini de règles ( donné par un tableau fini) et en fonction d'un seul et même symbole de la lire une bande.

La machine de Turing pourrait écrire un symbole sur la bande, ou supprimer un symbole de la bande. Turing a écrit:

Certains des symboles écrits constitueront les séquences de chiffres qui est la décimale du nombre réel qui est calculé. Les autres ne sont que Rough Notes à «aider la mémoire». Il ne sera rude ces notes qui sera responsable de l'effacement.

Il a défini un certain nombre calculable comme nombre réel dont le développement décimal peut être produite par une machine de Turing à commencer par une cassette vierge. Il a été montré que la comptabilisation, mais seulement depuis de nombreuses countably sont des nombres réels calculables, la plupart des nombres réels ne sont pas calculables. Il a ensuite décrit un nombre qui n'est pas calculable et les remarques que cela semble être un paradoxe, car il semble avoir fini décrit dans les termes, un nombre qui ne peuvent être décrits en termes finis. Toutefois, Turing compris la source du paradoxe apparent. Il est impossible de décider (en utilisant une autre machine de Turing) si une machine de Turing avec un tableau d'instructions va afficher une séquence infinie de nombres.

Bien que ce document contient des idées qui se sont révélés d'une importance fondamentale pour les mathématiques et d'informatique depuis qu'il est apparu, publication dans les Actes de la London Mathematical Society n'a pas été facile. La raison en est que Alonzo Church a publié un problème insoluble dans la théorie élémentaire dans l'American Journal of Mathematics en 1936 qui prouve également qu'il n'existe pas de procédure de décision pour l'arithmétique. L'approche de Turing est très différente de celle de l'Église, mais Newman a de plaider la cause de la publication de Turing du papier avant de la London Mathematical Society de publier. Turing du document révisé contient une référence à l'église de l 'résultats et le papier, tout d'abord achevé en avril 1936, a été révisée en ce sens en août 1936 et il est apparu dans la presse en 1937.

Une bonne fonction des résultats des discussions avec l'Eglise est que Turing est devenu un étudiant diplômé à l'Université de Princeton en 1936. À Princeton, Turing a entrepris des recherches en vertu de l'Eglise de l 'encadrement et il est retourné en Angleterre en 1938, après avoir été de retour en Angleterre pour les vacances d'été en 1937 quand il a rencontré pour la première fois Wittgenstein. La principale publication qui est sorti de son travail à Princeton a été de Logic Systems Sur la base de Ordinaux qui a été publié en 1939. Newman écrit:

Ce document est plein d'intéressantes suggestions et idées. ... [Il] met en lumière de Turing sur le point de vue sur la place de l'intuition dans une démonstration mathématique.

Avant cet article a été publié, Turing a publié deux autres documents sur un peu plus conventionnel mathématique sujets. L'un de ces documents avec les méthodes de rapprochement des groupes de Lie de groupes finis. Le document révèle d'autres résultats sur les extensions de groupes, qui ont d'abord été révélée par Reinhold Baer, en donnant un simple et plus unifiée.

Peut-être le plus remarquable des travaux de Turing sur les machines de Turing est qu'il a été décrit un ordinateur moderne avant la technologie a atteint le point où la construction était une proposition réaliste. Il s'est révélé dans son document de 1936 une machine de Turing universelle existait:

... qui peut être fait pour faire le travail de tout un but spécial machine, c'est-à-dire à procéder à tout morceau de calcul, si un ruban portant approprié "instructions" est inséré dans celui-ci.

Bien que de Turing à un "ordinateur" est une personne qui a procédé à un calcul, nous devons voir dans sa description d'une machine de Turing universelle ce que nous pensons aujourd'hui comme un ordinateur avec le ruban que le programme.

Tout à Princeton Turing a joué avec l'idée de construire un ordinateur. De retour à Cambridge en 1938, il commence à construire un dispositif mécanique analogique à enquêter sur l'hypothèse de Riemann, que beaucoup considèrent aujourd'hui le plus grand problème non résolu en mathématiques. Cependant, son travail ne tardera pas à prendre sur un nouvel aspect car il a été contacté, peu après son retour, par le gouvernement et Cypher Code école qui lui a demandé de les aider dans leur travail d'enfreindre la machine allemande Enigma codes.

Lorsque la guerre a été déclarée en 1939 Turing immédiatement transféré à travailler à plein temps au gouvernement de code et Cypher School à Bletchley Park. Bien que le travail effectué à Bletchley Park a été couvert par la Loi sur les secrets officiels, beaucoup de choses ont récemment devenu de notoriété publique. Turing's des idées brillantes dans la résolution des codes, des ordinateurs et le développement pour aider les détruire, mai ont permis de sauver plus de vies du personnel militaire au cours de la guerre que n'importe quel autre. Il a également été un temps heureux pour lui:

... peut-être le plus heureux de sa vie, avec toute l'étendue de son inventivité, une légère forme de routine de la journée, et une sympathique série de collègues de travail.

Avec un autre mathématicien WG Welchman, Turing développé la bombe, une machine basée sur les travaux antérieurs par des mathématiciens polonais qui, à partir de fin 1940 a été de décodage tous les messages envoyés par l'énigme machines de la Luftwaffe. Les machines Enigma de la marine allemande ont été beaucoup plus difficile à casser, mais c'était le type de défi qui jouissent de Turing. Vers le milieu de 1941 de Turing approche statistique, en collaboration avec les informations saisies, a conduit à la marine allemande signaux décodés à Bletchley.

De Novembre 1942 à Mars 1943 Turing a été aux États-Unis d'assurer la liaison sur les questions de décodage et également un discours sur le secret. Les changements dans la façon dont les Allemands leurs messages codés a voulu dire que Bletchley perdu la capacité à décoder les messages. Turing n'était pas directement impliqué dans le succès de rupture de ces codes plus complexe, mais ses idées prouvé de la plus grande importance à ce travail. Turing a reçu l'OBE en 1945 pour sa contribution essentielle à l'effort de guerre.

À la fin de la guerre de Turing a été invité par le National Physical Laboratory à Londres pour la conception d'un ordinateur. Son rapport propose le calcul automatique Engine (ACE) a été présenté en Mars 1946. La conception de Turing était à l'origine un point de conception détaillée et le prospectus d'un ordinateur au sens moderne. La taille de stockage qu'il prévoyait pour l'ACE a été considérée par la plupart qui a examiné le rapport désespérément trop ambitieux et il ya eu des retards dans le projet approuvé.

Turing est retourné à Cambridge pour l'année scolaire 1947-48 où ses intérêts porté sur de nombreux sujets très éloignés de l'informatique ou en mathématiques, en particulier il a étudié la neurologie et la physiologie. Il n'a pas oublié les ordinateurs au cours de cette période, cependant, et il a écrit le code pour la programmation des ordinateurs. Il avait des intérêts en dehors du monde universitaire trop, après avoir pris au sérieux jusqu'à l'athlétisme après la fin de la guerre. Il a été membre du Club d'athlétisme Walton gagner leur 3 mille et 10 mille championnat en un temps record. Il a couru dans l'AAA Marathon en 1947 et a été placé cinquième.

En 1948 Newman a été le professeur de mathématiques à l'Université de Manchester et il a offert un lectorat de Turing. Turing a démissionné du National Physical Laboratory de prendre le poste à Manchester. Newman écrit dans ce à Manchester:

... travaux ont été ouverts à la construction d'une machine informatique par le FC Williams et T Kilburn. L'espoir est que Turing conduirait le côté mathématique des travaux, et pendant quelques années, il a continué de travailler, d'abord sur la conception des sous-programmes à partir de laquelle les plus grands programmes pour une telle machine sont construits, puis, comme ce type de travail est devenu standard, plus les problèmes généraux de l'analyse numérique.

En 1950, Turing publié Computing Machinery et de renseignement à l'esprit. Il est un autre remarquable travail de son esprit brillamment inventive qui semble prévoir les questions qui se posent que les ordinateurs mis au point. Il a étudié les problèmes qui aujourd'hui sont au cœur de l'intelligence artificielle. C'est dans ce document de 1950, il a proposé que le test de Turing, qui est encore aujourd'hui le test personnes appliquer pour tenter de répondre si un ordinateur peut être intelligent:

... il s'est impliqué dans les discussions sur les contrastes et les similitudes entre les machines et les cerveaux. Turing du point de vue, exprimé avec beaucoup de vigueur et d'esprit, est qu'il est pour ceux qui ont vu un fossé infranchissable entre les deux-à-dire là où la différence réside.

Turing ne pas oublier les questions de décidabilité qui a été le point de départ de sa brillante publications mathématiques. L'un des principaux problèmes dans la théorie du groupe de présentations a été la question: étant donné un mot dans un des groupes finiment présentés est-il un algorithme pour décider si le mot est égale à l'identité. Post avait révélé que, pour les semigroupes aucun algorithme existent. Turing pensé en premier lieu qu'il avait prouvé le même résultat pour les groupes mais, juste avant de donner un séminaire sur sa preuve, il a découvert une erreur. Il a réussi à sauver de son mauvais preuve le fait qu'il y avait un semigroupe cancellative insolubles mot problème et il a publié ce résultat en 1950. Boone a utilisé les idées de ce document de Turing à prouver l'existence d'un groupe de mot insoluble problème en 1957.

Turing a été élu Fellow de la Royal Society de Londres en 1951, principalement pour ses travaux sur les machines de Turing en 1936. En 1951, il travaillait sur l'application de la théorie mathématique de formes biologiques. En 1952, il publie la première partie de son étude théorique de la morphogenèse, le développement du modèle et la forme dans les organismes vivants.

Turing a été arrêté pour violation des lois britanniques homosexualité en 1952 quand il a signalé à la police les détails d'une affaire homosexuels. Il s'était rendu à la police parce qu'il avait reçu des menaces de chantage. Il a été jugé comme un homosexuel le 31 Mars 1952, n'offrant pas de défense autre que celui qu'il voyait rien de mal dans ses actions. Trouvé coupable, il a reçu les alternatives de prison ou des injections d'oestrogènes pendant un an. Il a accepté ce dernier et renvoyé à un large éventail d'activités académiques.

Non seulement at-il aller de l'avant avec une étude plus approfondie de la morphogenèse, mais il a également travaillé sur de nouvelles idées dans la théorie quantique, sur la représentation des particules élémentaires par spinors, et sur la théorie de la relativité. Bien qu'il soit complètement ouverte sur sa sexualité, il avait plus d'un malheur qui il était interdit de parler en raison de la Loi sur les secrets officiels.

L'opération de décodage à Bletchley Park est devenu la base pour le nouveau décodage et les services de renseignements du GCHQ. Avec la guerre froide ce fut une importante opération de Turing et a continué à travailler pour GCHQ, bien que ses collègues de Manchester ont été totalement ignorant de ce fait. Après sa condamnation, de sécurité a été retiré. Pire que cela, les agents de sécurité sont aujourd'hui extrêmement préoccupés par le fait que quelqu'un en toute connaissance des travaux en cours au GCHQ est désormais qualifié de risque pour la sécurité. Il avait de nombreux collègues étrangers, que tout serait académique, mais la police a commencé à enquêter sur ses visiteurs étrangers. Les vacances de Turing, qui a pris en Grèce en 1953 a causé la consternation parmi les agents de sécurité.

Turing est décédé d'un empoisonnement au cyanure de potassium tout en menant des expériences d'électrolyse. Le cyanure a été trouvé sur une demi pomme mangé à côté de lui. Une enquête a conclu qu'il était auto-administré, mais sa mère toujours maintenu qu'il était un accident.

Source:School of Mathematics and Statistics University of St Andrews, Scotland