---
title: "Verify the Kahan / Intel-8087 / IEEE-754 lineage against a primary Kahan source"
type: "question"
status: "answered"
date_raised: "2026-07-11T00:00:00.000Z"
date_answered: "2026-08-11T00:00:00.000Z"
answered_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."]
tags: ["verification","ieee-754","william-kahan","intel-8087","floating-point","standards"]
writer_model: "claude-opus-4-8"
---


[[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.