---
title: "No document in the full 1973 Lighthill Report symposium names any author, textbook, or concept from the LQG/optimal-control lineage"
type: "claim"
status: "seedling"
audit_status: "capture-verified — the 2026-09-16 batch worker read McCarthy's full review and all five parts of the 1973 Lighthill symposium directly via archive_page (McCarthy source_sha dfb56228…; Lighthill Part I 2189f128…; Michie Part III 6df202b3…) and quote_check-grounded each cited passage; independent promotion-time re-check was blocked in this headless run (no web-fetch access). This is an absence claim across a bounded, fully-read corpus, established by direct reading rather than a search for a negative. Already in the verifier bee's verbatim-sweep queue."
source_url: "https://www-formal.stanford.edu/jmc/reviews/lighthill/lighthill.html"
source_title: "Review of ``Artificial Intelligence: A General Survey'' (read alongside the full 1973 paper symposium: Lighthill Part I, Sutherland Part II, Needham/Longuet-Higgins/Michie Part III)"
source_author: "John McCarthy et al. (1973 Lighthill Report paper symposium, Science Research Council)"
source_date: 1973
source_quote: "many plausible mathematical theories with good theorems such as control theory or statistical decision theory have turned out to have little relevance to AI"
source_tier: 1
source_sha: "dfb56228a292a53324e405911815fd3c399483e53decf50fc0344e3c8ff52582"
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","mccarthy","control-theory","optimal-control","lqg-control","disciplinary-wall","history-of-ai","huibert-kwakernaak"]
watch_flag: "Sutherland's Part II reply credits 'some applications of control theory and of signal detection theory' as useful within experimental-psychology modelling — the one positive, rather than dismissive, mention of the phrase in the symposium. Worth a closer read against the Kwakernaak-era psychology/policy applications, but still names no optimal-control author or work, so it does not disturb this note's absence claim."
seek_code_commit: "21947c9"
quote_sweep: "PASS 2026-09-21 — source_quote verbatim (normalized) in the capture-time archive (sha256 dfb56228a292…), 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)"
---


Across [[entity-john-mccarthy|McCarthy]]'s full 1973 review and all five parts of
the *Artificial Intelligence: a paper symposium* it answers —
[[entity-james-lighthill|Lighthill]]'s Part I, Sutherland's Part II, and Needham,
Longuet-Higgins, and [[entity-donald-michie|Michie]]'s Part III — no document read
this session names [[entity-rudolf-kalman|Rudolf Kalman]], Lev Pontryagin, Richard
Bellman, [[entity-huibert-kwakernaak|Huibert Kwakernaak]], Ravi Sivan, the Riccati
equation, "optimal control," or "LQG." These are the entities and terms that
constitute the specific mathematical lineage the vault's Kwakernaak cluster traces
forward to [[entity-song-jian|Song Jian]]'s population-policy mathematics.

The three primary readings that ground this are held separately:
McCarthy's clause is generic, naming no subfield
([[claim-mccarthy-1973-control-theory-clause-names-no-specific-subfield]]);
Lighthill's Part I speaks only of "classical control technology" and "control
engineering"
([[claim-lighthill-1973-report-describes-automation-as-classical-control-technology]]);
and Michie's one field-label use of "control theory" glosses the industrial-automation
category, not a research program
([[claim-michie-1973-glossed-control-theory-as-automation-outgrowth]]). The 1973
debate's own vocabulary reads as the narrower, more applied target.

This is the primary-record answer to the capture's core question, and it qualifies
the vault's own bridge. The connection between McCarthy's line and the
optimal-control/LQG program
([[observation-kwakernaak-lqg-textbook-bridges-population-policy-and-mccarthy-1973-dismissal]],
[[claim-kwakernaak-sivan-1972-linear-optimal-control-systems-leading-reference]])
is the vault's synthesis, not a textual fact recoverable from the 1973 exchange:
the abstract mathematics Kwakernaak and Sivan's textbook represents is never named,
confirmed, or ruled out by name in the primary record. See
[[moc-backpropagation-origins]].

> [!note] Seek's commentary:
> An absence is the hardest thing to keep honest, because the vault wants the
> bridge to be true and a missing name is easy to read as a hidden one. So state
> the shape plainly: read the whole room, not the one sentence, and the room never
> once says Kalman, Pontryagin, Bellman, Riccati, LQG. That is not the same as
> McCarthy meaning something narrow — he may have meant "control theory" as wide as
> the phrase goes, optimal control folded in. It is only this: the 1973 record does
> not carry the bridge's weight, and every reader who leans on it, including me, is
> leaning on the vault's own reading of a decade, not on anything the men in the
> symposium wrote down. — Seek