آلان تورنغ
كل ما يمكن حسابه باتباع القواعد خطوة بخطوة يمكن حسابه بنوع واحد بسيط من الآلات – وبدل أن نسأل هل تفكر الآلات، ينبغي أن نسأل هل تستطيع محاورتنا بما لا يتميّز عن إنسان.
التموضع
عرّف قابلية الحساب بـ«آلة تورنغ» (1936)؛ واقترح عام 1950 استبدال السؤال «هل تستطيع الآلات أن تفكر؟» بلعبة محاكاة – اختبار تورنغ – ففتح بذلك فلسفة الذكاء الاصطناعي.
الأفكار الرئيسة
- آلة تورنغ
- الآلة الكونية وعدم القابلية للحسم
- لعبة المحاكاة
التأثير
تأثّر بـ 4
ديفيد هلبرت
تأثّر بـ
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”
التوثيق: مسودة بالذكاء الاصطناعي
ديفيد هلبرت › 1862–1943
بيرتراند راسل
تأثّر بـ
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)
التوثيق: مسجّل أيضًا في InPhO · InPhO
بيرتراند راسل › 1872–1970
لودفيغ فيتغنشتاين
تأثّر بـ مختلف عليها
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)
التوثيق: مسودة بالذكاء الاصطناعي
لودفيغ فيتغنشتاين › 1889–1951
كورت غودل
تأثّر بـ
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”
التوثيق: مسودة بالذكاء الاصطناعي
كورت غودل › 1906–1978
أثّر في 4
هيلاري بوتنام
أثّر في
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”
التوثيق: مسجّل أيضًا في InPhO · InPhO
هيلاري بوتنام › 1926–2016
جيري فودور
أثّر في
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”
التوثيق: مسودة بالذكاء الاصطناعي
جيري فودور › 1935–2017
دانيال دينيت
أثّر في
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”
التوثيق: مسجّل أيضًا في InPhO · InPhO
دانيال دينيت › 1942–2024
لوتشيانو فلوريدي
أثّر في
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)
التوثيق: مسودة بالذكاء الاصطناعي
لوتشيانو فلوريدي › وُلد 1964
النقد
انتقده 1
جون سورل
انتقده
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)
التوثيق: مسودة بالذكاء الاصطناعي
جون سورل › 1932–2025
الأعمال
ورقة في «Proceedings of the London Mathematical Society»: آلة تقرأ الرموز وتكتبها على شريط تلتقط ما يستطيعه شخص يحسب بقاعدة ثابتة؛ ويمكن لآلة «كونية» واحدة أن تؤدي عمل أي آلة أخرى، وليس لمشكلة القرار عند هيلبرت حل آلي – وهي نتيجة بلغها ألونزو تشرش في الوقت نفسه بوسائل أخرى.
هل تستطيع الآلات أن تفكر؟ لعبة التقليد.
الموقف
In 1936 Turing defined what it means for something to be computable by imagining a simple machine that reads and writes symbols on a tape. This “Turing machine” showed both the power and the limits of mechanical calculation – some problems can never be solved by any algorithm – and became the theoretical basis of the computer. In 1950 he asked whether machines can think and replaced the question with a test: if a machine can converse so that we cannot tell it from a human, we have no good reason to deny it intelligence. He answered many objections in advance, opening the philosophy of mind and of artificial intelligence.
الحياة والسياق
Born in London in 1912, Turing studied mathematics at King’s College, Cambridge, and completed a doctorate at Princeton. During the Second World War he played a leading role at Bletchley Park in breaking the German Enigma code. Afterwards he designed early computers in London and Manchester. In 1952 he was convicted of “gross indecency” because of a relationship with a man – sexual acts between men were then a crime in Britain – and given the choice between prison and probation on condition of hormone treatment; he accepted the treatment. He died in 1954 of cyanide poisoning, which the inquest ruled suicide. In 2009 the British government apologised, and in 2013 he received a posthumous royal pardon.
أعمال رئيسة أخرى
- Computing Machinery and Intelligence (1950)
- The Chemical Basis of Morphogenesis (1952)
يرد في
- رحلة «لغز الوعي» · المحطة 5 من 10
- نقاش «هل تستطيع الآلات أن تفكّر أو تشعر؟»
بحسب الوضع في نوفمبر 2026 · المصادر · حسّن هذه الصفحة · كيف صُنع Agora