Five-minute digest

On Computable Numbers and Computing Machinery

Alan Turing

Summary

This paired entry brings together Alan Turing's 1936 paper On Computable Numbers, with an Application to the Entscheidungsproblem and his 1950 essay Computing Machinery and Intelligence. The first paper attacks a precise mathematical problem: what does it mean for a number or function to be computable? Turing answers by imagining a simple abstract machine that reads and writes symbols on a tape according to a finite table of instructions. By stripping calculation down to discrete operations, memory, and rule-governed motion, he turns human computation into a formal object. The paper proves that there is no general method for deciding every mathematical proposition of the relevant kind, linking Turing's work to Hilbert's program and Godel's incompleteness results. It also gives later engineers and theorists a way to compare many different machines under one concept of effective procedure. The later essay changes tone and audience. Rather than asking what can be computed, it asks whether machines can think, then replaces the vague question with an operational test involving conversation and imitation. Turing surveys objections from theology, consciousness, disability, Lady Lovelace, mathematics, nervous systems, and extrasensory perception, responding with a mixture of logical discipline and speculative boldness. He does not claim that a machine has a soul or a private inner life; instead, he asks what evidence would count in ordinary judgment. Together the two works define computing as both formal limitation and cultural provocation. Turing shows that mechanical procedure has exact power, then asks how far such procedure may enter territories once reserved for mind. The pair is therefore foundational not only for computer science but for psychiatry, cognitive science, and philosophy of mind. It makes intelligence discussable as behavior, symbol manipulation, learning, error, and social judgment, while never letting readers forget that the most powerful machines are bounded by mathematical impossibility.

Top Lessons

Definition can create a field
Turing's machine is powerful because it defines computation in a form that can be reasoned about. The lesson is that a good abstraction does not merely simplify a problem; it makes new proofs, machines, and disciplines possible.
Related across the library
- On Friendship, Lesson: Friendship as union
  Friendship as union. Montaigne describes friendship not as an exchange of favours but as a merging of wills. The essay sets a high, perhaps impossible, ideal against which to measure our relationships.
- Discourse on Method, Lesson: Medicine as the purpose of the new science
  Medicine as the purpose of the new science. Part VI hopes that knowing nature will cure diseases of body and mind and perhaps slow ageing, because the mind depends closely on the body's organs. Descartes makes medicine the main reason for doing science.
- Novum Organum, Aphorisms--Book Ii
  the same time limit the subtilty of things We will now proceed to speak of them singly XXXIX In the sixteenth rank then of prerogative instances we will place the instances of the door or gate by which name we designate such as assist the immediate action of the senses It is obvious that sight holds the first rank among the senses with regard to information for which reason we must seek principally helps for that sense These helps appear to be threefold either to enable it to perceive objects not naturally seen...
- Galen: Selected Works, Introduction
  standing separating him from the cosmological speculator Hippocrates confined the medical man to medicine He did with medical thought what Socrates did with thought in general--he brought it down from heaven to earth His watchword was Back to Nature At the same time while assigning the physician his post Hippocrates would not let him regard that post as sacrosanct He set his face against any tendency to mystery-mongering to exclusiveness to sacerdotalism He was in fact opposed to the spirit of trade-unionism in...
- Summa Theologica, Lesson: The soul is the form of the body
  The soul is the form of the body. Against the Platonic view that a person is a soul using a body, Aquinas argues that the intellectual soul is the single form of the human being. Thinking always needs sense images and the brain, so injury, sleep or illness can impair understanding, while the soul itself is not reducible to matter.
Limits are discoveries, not defeats
The undecidability result is negative, but it gives computation a rigorous boundary. Turing shows that knowing what cannot be done is part of understanding what mechanical procedure is.
Related across the library
- The Art of War, Introduction
  the author of a short treatise on war who lived in the latter part of the th century Ho Shih s commentary in the words of the T ien-i-ko catalogue contains helpful additions here and there but is chiefly remarkable for the copious extracts taken in adapted form from the dynastic histories and other sources CHANG YU The list closes with a commentator of no great originality perhaps but gifted with admirable powers of lucid exposition His commentator is based on that of Ts ao Kung whose terse sentences he contrive...
- Candide: Or Optimism, Candide I
  Mount Atlas and the neighbouring countries They fought with the fury of the lions tigers and serpents of the country to see who should have us A Moor seized my mother by the right arm while my captain's lieutenant held her by the left a Moorish soldier had hold of her by one leg and one of our corsairs held her by the other Thus almost all our women were drawn in quarters by four men My captain concealed me behind him and with his drawn scimitar cut and slashed every one that opposed his fury At length I saw all...
- Meditations on First Philosophy, Summary
  Meditationes de prima philosophia, published in Paris in 1641, compresses Descartes's metaphysics into six meditations, each imagined as a day's reflection by a solitary thinker seated by the fire in a dressing gown. The book was issued with six sets of Objections from learned readers (Caterus, Mersenne's circle, Hobbes, Arnauld, Gassendi and others) and Descartes's Replies, which are longer than the Meditations themselves; a second edition (Amsterdam, 1642) added the Jesuit Bourdin's Seventh Objections. The fir...
- Galen: Selected Works, A I
  Vitalists and the Epicurean Atomists cf p et seq A unity or continuum an individuum Lit to the physis or the psyche that is a denial of the autonomy of physiology and psychology Lit somata For natures in the plural involving the idea of a separate nature immanent in each individual cf p note A lost work For Asclepiades v p note Le corps tout entier a unit de souffle perspiration et expiration et unit de flux courants circulation des liquides Daremberg Conspirabile et confluxile corpus esse Linacre Apparently Gal...
- Novum Organum, Aphorisms--Book Ii
  the same time limit the subtilty of things We will now proceed to speak of them singly XXXIX In the sixteenth rank then of prerogative instances we will place the instances of the door or gate by which name we designate such as assist the immediate action of the senses It is obvious that sight holds the first rank among the senses with regard to information for which reason we must seek principally helps for that sense These helps appear to be threefold either to enable it to perceive objects not naturally seen...
Mind can be approached through behavior
The imitation game moves debate from inner essence to observable exchange. This does not settle consciousness, but it gives a practical way to test claims about intelligence without pretending to inspect another mind directly.
Related across the library
- Dementia Praecox or the Group of Schizophrenias, Fundamental symptoms
  Association, affect, ambivalence, and autism become organizing signs for the diagnosis.
- The Gay Science, Lesson: The Gay Science complicates mind and body
  The Gay Science complicates mind and body. Whether medical, philosophical, or scientific, the work refuses a simple split between inner life and bodily condition. Its best passages make symptoms, emotions, habits, and values part of one historical field.
- A Logical Calculus of the Ideas Immanent in Nervous Activity, Lesson: Simplification can open a research program
  Simplification can open a research program. The paper's neuron is not a faithful biological portrait, but it makes formal reasoning possible. A model may be valuable when it exposes structure, even if it omits much of the living system.
- The Gay Science, Book III, §125, The Madman
  God is dead! God remains dead! And we have killed him Nietzsche's madman announces the cultural collapse of inherited Christian certainty.
- Cybernetics, Chapters on feedback and servomechanisms
  Wiener's account of circular control gives a framework for reflexes, motor coordination, tremor, and homeostasis.

Verified Quotes

Medical Lens

Turing is central for psychiatry-adjacent readers because the 1950 essay recasts mind as behavior, learning, communication, and judgment by observers. That frame touches cognitive assessment, artificial intelligence in clinical settings, and the ethics of attributing agency to machines. The essay's discussion of nervous systems and disability also records mid-century assumptions about embodiment, cognition, and social evaluation.

Mind Body Psychology Unconscious Medical Ethics Disability Deformity

1936 paper, definition of computing machines
The reduction of calculation to symbolic operations offers a formal ancestor for computational models of cognition.
1950 essay, imitation game
The replacement of the thinking question by a behavioral test matters for psychiatric interviews and modern AI evaluation.
1950 essay, objections about nervous systems and disability
Turing's survey of objections shows how embodiment and impairment enter debates about intelligence.

On Computable Numbers and Computing Machinery

Summary

Top Lessons

Definition can create a field

Limits are discoveries, not defeats

Mind can be approached through behavior

Verified Quotes

Medical Lens