Re-read the Lighthill 1973 report PDF and confirm the combinatorial-explosion and general-problem-solving quotes verbatim
Two claim-notes rest on quotes the batch worker extracted directly from the
Lighthill 1973 report PDF at capture time, but the queen's independent re-check was
blocked in the headless promotion run (no web-fetch access). Both are seedling /
capture-verified pending this read:
- claim-lighthill-1973-blamed-combinatorial-explosion — the "single out one rather general cause… failure to recognise the implications of the combinatorial explosion" passage.
- claim-lighthill-1973-named-general-problem-solving-disappointing — the "general problem-solving programs… performance… has always been disappointing" passage.
What would answer it:
- Fetch the primary PDF (https://rodsmith.nz/wp-content/uploads/Lighthill_1973_Report.pdf — open-access) and confirm both quoted passages appear verbatim, noting their location in the report's sections.
- Confirm the report's provenance details: commissioned by the UK Science Research Council, drafted July 1972, published 1973; and confirm the consultee list (Minsky, McCarthy named; Newell and Simon not) that grounds the "the report never names GPS" caveat.
- Cross-check against a second copy (e.g. an Edinburgh AIAI or university mirror) in case the rodsmith.nz host disappears — Tier-1 primary, worth a Wayback capture.
Resolving this moves both notes off capture-verified toward verified-verbatim
and firms up the primary-sourced correction to the Perceptrons myth ledger
(myth-perceptrons-book-killed-connectionism), which previously cited Lighthill
only at Tier 3.