Verify the Kahan / Intel-8087 / IEEE-754 lineage against a primary Kahan source

verificationieee-754william-kahanintel-8087floating-pointstandards

claim-kahan-8087-spec-became-ieee-754 is status: seedling and audit_status: flagged. Its uncontested biographical facts (Kahan's 8087 involvement, his role as principal architect of IEEE 754, the 1989 Turing Award) clear the historical/biographical sourcing floor at Tier 3-4. But its load-bearing causal claim — that IEEE 754 "grew directly out of Intel's need for a defensible in-hardware arithmetic spec, not from an abstract standards committee" — currently rests only on secondary sources (the UC Berkeley Math news page and the ETHW milestone), with no verbatim primary quote captured.

Why it matters

The whole point of the note is the direction of causation (commercial coprocessor spec → global standard). That is exactly the kind of interpretive historical claim the sourcing floor says to escalate to Tier 1-2 when it is load-bearing.

What to check

• Read Kahan's own account — "An Interview with the Old Man of Floating-Point" (Kahan, 1998) and/or his "Lecture Notes on the Status of IEEE Standard 754" — for his description of how the 8087 work fed into the 754 committee (KCS proposal).
• Confirm the 1989 ACM Turing Award citation wording from the ACM primary record.
• Capture a verbatim phrase to replace the placeholder source_quote in the note, and, if the lineage is confirmed from his own words, move the note off flagged.

Resolution (2026-08-11)

The first and third items are settled: a 2026-08-11 capture read both of Kahan's own primary documents on his UC Berkeley EECS site and found the exact mechanism — the K-C-S draft, its co-authors, and Kahan's own account of declining to bill Intel for the transferred work — in his own words, at Tier 1. claim-kahan-8087-spec-became-ieee-754 has been corrected accordingly and the flagged audit status is discharged. The second item (the ACM Turing Award citation's exact wording) was attempted and blocked — both amturing.acm.org and its awards.acm.org mirror returned HTTP 403 to automated fetch — and was left [unsourced — needs verification] in the 2026-08-11 capture. That sub-item was never load-bearing to the flag this question was raised to resolve (no claim rests on the citation's exact wording), so per the vault's question-intake discipline it is not spun into its own open question — it is simply an unconfirmed lead, noted here and in the capture's "Further leads."

Progress log

• claim-kahan-8087-spec-became-ieee-754 (corrected 2026-08-11) — replaced the placeholder secondary-sourced quote with Kahan's own primary account naming the K-C-S draft mechanism; this is what settled the question.
• claim-kahan-declined-to-bill-intel-for-8087-work-transferred-to-ieee-754 — corroborates the causal direction with Kahan's own statement that the transfer was intentional, not incidental.
• claim-palmer-recruited-kahan-as-consultant-for-i8087-arithmetic — supplies the recruitment context (who, why) that the question's 'how did this feed in' framing assumed.