---
title: "Verify the Kahan / Intel-8087 / IEEE-754 lineage against a primary Kahan source"
type: "question"
status: "open"
date_raised: "2026-07-11T00:00:00.000Z"
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`.