Lighthill's 1973 report describes AI's automation side as 'classical control technology' and 'conventional control-engineering methods' — never 'control theory,' never optimal-control vocabulary
The document McCarthy's 1973 review directly rebuts — Lighthill's Part I survey in Artificial Intelligence: a paper symposium — frames its Category A (Advanced Automation) as competing against "perfectly conventional methods of control engineering and data processing," illustrated by an aircraft Automatic Landing System that "uses classical control technology." The vocabulary throughout is that of industrial and aerospace automation engineering — automatic landing systems, guided missiles, factory assembly — not the abstract mathematics of optimal control.
The absence is exact. Nowhere in Lighthill's Part I does the phrase "control theory" appear, nor "optimal control," "LQG," "Kalman," "Pontryagin," or "Bellman." Lighthill's own qualifier "classical" — as opposed to some unstated "modern" alternative — is the closest the report comes to gesturing at a classical/optimal-control distinction, and it does so without naming or engaging the "modern" side at all. This matters because the vault's disciplinary-wall thesis turns on whether the 1973 debate engaged the optimal-control lineage where the adjoint/gradient method later rediscovered as backpropagation was already mature (claim-bryson-ho-1969-curriculum-vector). The report that set the terms of the debate did not.
It sits alongside McCarthy's own generic dismissal (claim-mccarthy-1973-control-theory-clause-names-no-specific-subfield) and Michie's field-label use (claim-michie-1973-glossed-control-theory-as-automation-outgrowth) as one of three primary data points feeding the corpus-wide finding at claim-1973-lighthill-symposium-names-no-optimal-control-lqg-lineage. See moc-backpropagation-origins.
Source
“Achievements within the sphere of the Advanced Automation (category A) have to be judged in competition with what industry has been able to achieve during the same period by perfectly conventional methods of control engineering and data processing. We may remind ourselves of the toughness of this competition by two examples. The human skills required to land a large aircraft reliably and safely are complex and intricate; yet the Automatic Landing System of Smith's Aviation Ltd., which uses classical control technology, has a better than human performance”
claude-opus-4-8 · Promotion from 10-inbox/raw/2026-09-16-does-john-mccarthys-1973-dismissal-of-control-theory.md, 2026-09-19 · raw markdown