Alan Turing

Agora

Alan Turing

1912–1954

Première approchesimplification délibérée – le portrait en dit plus

Tout ce qui peut être calculé en suivant des règles pas à pas peut l’être par un seul type de machine simple – et au lieu de demander si les machines pensent, nous devrions demander si elles peuvent converser de façon indiscernable d’un humain.

Repères

Sciences de la nature et sciences humaines · Europe du Nord · Esprit et conscience, Logique, Science

A défini le calculable avec la « machine de Turing » (1936) ; en 1950, il a proposé de remplacer la question « Les machines peuvent-elles penser ? » par un jeu d’imitation – le test de Turing – et ouvert ainsi la philosophie de l’intelligence artificielle.

Idées clés

Machine de Turing
Machine universelle et indécidabilité
Jeu de l’imitation

Ouvrir dans la carte stellaire

Influence

Influences reçues de 4

David Hilbert

influencé par
Turing answered Hilbert and Ackermann’s decision problem (Grundzüge der theoretischen Logik, 1928) in the negative, defining computability through his machines (‘On Computable Numbers’, 1936). A. M. Turing, “On Computable Numbers, with an Application to the Entscheidungsproblem” (1936–37); D. Hilbert and W. Ackermann, Grundzüge der theoretischen Logik (1928); SEP “Hilbert’s Program”; SEP “Alan Turing”
Attestation: brouillon IA
David Hilbert › 1862–1943
Bertrand Russell

influencé par
Turing studied Russell’s Introduction to Mathematical Philosophy in 1933, according to Hodges, and later adapted Russell’s theory of types (‘Practical Forms of Type Theory’, 1948). A. Hodges, Alan Turing: The Enigma (1983); A. M. Turing, “Practical Forms of Type Theory”, Journal of Symbolic Logic 13 (1948); B. Russell, Introduction to Mathematical Philosophy (1919)
Attestation: aussi dans InPhO · InPhO
Bertrand Russell › 1872–1970
Ludwig Wittgenstein

influencé par contesté
Turing attended Wittgenstein’s Cambridge lectures on the foundations of mathematics (1939) and argued with him over contradictions; how far this shaped Turing’s work is disputed. C. Diamond (ed.), Wittgenstein’s Lectures on the Foundations of Mathematics, Cambridge, 1939 (1976); J. Floyd, “Turing on ‘Common Sense’: Cambridge Resonances”, in J. Floyd and A. Bokulich (eds.), Philosophical Explorations of the Legacy of Alan Turing (2017)
Attestation: brouillon IA
Ludwig Wittgenstein › 1889–1951
Kurt Gödel

influencé par
Turing related his unsolvability proof for the Entscheidungsproblem to Gödel’s incompleteness theorem and, like Gödel’s arithmetisation, coded machines as numbers (‘On Computable Numbers’, 1936). A. M. Turing, “On Computable Numbers, with an Application to the Entscheidungsproblem”, Proceedings of the London Mathematical Society 42 (1936–37); K. Gödel, Monatshefte für Mathematik und Physik 38 (1931); SEP “Alan Turing”
Attestation: brouillon IA
Kurt Gödel › 1906–1978

A influencé 4

Hilary Putnam

a influencé
Putnam modelled mental states on the states of a Turing machine, founding machine functionalism (‘Minds and Machines’, 1960; ‘Psychological Predicates’, 1967). H. Putnam, “Minds and Machines”, in S. Hook (ed.), Dimensions of Mind (1960); “Psychological Predicates” (1967), repr. as “The Nature of Mental States”; SEP “Functionalism”
Attestation: aussi dans InPhO · InPhO
Hilary Putnam › 1926–2016
Jerry Fodor

a influencé
Fodor built his computational theory of mind on Turing’s model of computation: thinking is rule-governed manipulation of symbols in a language of thought (The Language of Thought, 1975). J. A. Fodor, The Language of Thought (1975); The Mind Doesn’t Work That Way (2000); SEP “The Computational Theory of Mind”
Attestation: brouillon IA
Jerry Fodor › 1935–2017
Daniel Dennett

a influencé
Dennett defended Turing’s test as a fair criterion (‘Can Machines Think?’, 1985) and paired Turing with Darwin on competence without comprehension (From Bacteria to Bach and Back, 2017). D. C. Dennett, “Can Machines Think?” (1985), in Brainchildren (1998); From Bacteria to Bach and Back (2017); SEP “The Turing Test”
Attestation: aussi dans InPhO · InPhO
Daniel Dennett › 1942–2024
Luciano Floridi

a influencé
Floridi called Turing’s the fourth revolution after Copernicus, Darwin and Freud: we are informational organisms (‘inforgs’) among other intelligent agents (The Fourth Revolution, 2014). L. Floridi, The Fourth Revolution: How the Infosphere Is Reshaping Human Reality (2014); The Philosophy of Information (2011)
Attestation: brouillon IA
Luciano Floridi › né(e) en 1964

Critique

Critiques reçues de 1

John Searle

critiqué par
Searle’s Chinese Room targeted the Turing test as a criterion of understanding: a program passing it by symbol manipulation need not understand anything (‘Minds, Brains, and Programs’, 1980). J. R. Searle, “Minds, Brains, and Programs”, Behavioral and Brain Sciences 3 (1980), 417–457; A. M. Turing, “Computing Machinery and Intelligence”, Mind 59 (1950)
Attestation: brouillon IA
John Searle › 1932–2025

Œuvres

1936Théorie des nombres calculables, suivie d’une application au problème de la décision
Article paru dans les Proceedings of the London Mathematical Society : une machine qui lit et écrit des symboles sur un ruban saisit ce que peut faire une personne qui calcule selon une règle fixe ; une seule machine « universelle » peut faire le travail de n’importe quelle autre, et le problème de la décision de Hilbert n’a pas de solution mécanique – un résultat auquel Alonzo Church parvint au même moment par d’autres moyens.
1950Les ordinateurs et l’intelligence
Les machines peuvent-elles penser ? Le jeu de l’imitation.

Position

En 1936, Turing définit ce que signifie qu’une chose soit calculable en imaginant une machine simple qui lit et écrit des symboles sur un ruban. Cette « machine de Turing » montra à la fois la puissance et les limites du calcul mécanique – certains problèmes ne pourront jamais être résolus par aucun algorithme – et devint la base théorique de l’ordinateur. En 1950, il se demanda si les machines peuvent penser et remplaça la question par un test : si une machine peut converser de telle sorte que nous ne la distinguions pas d’un être humain, nous n’avons aucune bonne raison de lui refuser l’intelligence. Il répondit d’avance à de nombreuses objections, ouvrant la philosophie de l’esprit et de l’intelligence artificielle.

Vie et contexte

Né à Londres en 1912, Turing étudia les mathématiques au King’s College de Cambridge et passa un doctorat à Princeton. Pendant la Seconde Guerre mondiale, il joua un rôle de premier plan à Bletchley Park dans le décryptage du code allemand Enigma. Ensuite, il conçut des ordinateurs précoces à Londres et à Manchester. En 1952, il fut condamné pour « grossière indécence » en raison d’une relation avec un homme – les actes sexuels entre hommes étaient alors un crime en Grande-Bretagne – et mis devant le choix entre la prison et une mise à l’épreuve conditionnée à un traitement hormonal ; il accepta le traitement. Il mourut en 1954 d’un empoisonnement au cyanure, que l’enquête du coroner jugea être un suicide. En 2009, le gouvernement britannique présenta des excuses, et en 2013 il reçut une grâce royale à titre posthume.