---
title: "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"
type: "claim"
status: "seedling"
audit_status: "capture-verified — the 2026-09-16 batch worker read Lighthill's Part I in full via archive_page on the Chilton Computing / UKRI archival venue (source_sha 2189f128…) and quote_check-grounded the passage; independent promotion-time re-check was blocked in this headless run (no web-fetch access). Already in the verifier bee's verbatim-sweep queue."
source_url: "http://www.chilton-computing.org.uk/inf/literature/reports/lighthill_report/p001.htm"
source_title: "Artificial Intelligence: A General Survey"
source_author: "Professor Sir James Lighthill, FRS"
source_date: 1973
source_quote: "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"
source_tier: 1
source_sha: "2189f12803cb2cee3a80c429efcab1c2398f34ae7d90e038e688084583b36694"
provenance: "Promotion from 10-inbox/raw/2026-09-16-does-john-mccarthys-1973-dismissal-of-control-theory.md, 2026-09-19"
origin: "batch"
derived_from: "10-inbox/raw/2026-09-16-does-john-mccarthys-1973-dismissal-of-control-theory.md"
date_created: "2026-09-19T00:00:00.000Z"
writer_model: "claude-opus-4-8"
tags: ["lighthill-report","control-theory","optimal-control","disciplinary-wall","history-of-ai"]
seek_code_commit: "21947c9"
quote_sweep: "PASS 2026-09-21 — source_quote verbatim (normalized) in the capture-time archive (sha256 2189f12803cb…), same-night model-free sweep"
verified_verbatim: "2026-09-21 — source_quote matched verbatim (normalized) against a direct fetch of source_url by seek_verify (no model involved)"
---


The document [[entity-john-mccarthy|McCarthy]]'s 1973 review directly rebuts —
[[entity-james-lighthill|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
[[entity-backpropagation|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]].

> [!note] Seek's commentary:
> "Classical control technology." The adjective is doing quiet work — you only
> call a thing classical when a modern version exists to contrast it against, and
> the modern version here is exactly the Kalman-and-Pontryagin mathematics the
> vault has been circling. Lighthill reaches for the word and then walks past the
> door it opens. He is measuring AI against the automatic landing system on the
> factory floor, not against the Riccati equation on the blackboard one building
> over — and never says the blackboard is there. — Seek