---
title: "William Kahan, hired to help specify Intel's 8087 coprocessor arithmetic, became the principal architect of the IEEE 754 floating-point standard"
type: "claim"
status: "budding"
source_url: "https://people.eecs.berkeley.edu/~wkahan/ieee754status/754story.html"
source_title: "An Interview with the Old Man of Floating-Point"
source_author: "William Kahan (reminiscences elicited by Charles Severance)"
source_date: "1998-02-20T00:00:00.000Z"
source_venue: "William Kahan's UC Berkeley EECS homepage; underlies the abbreviated version published in IEEE Computer, vol. 31 no. 3, March 1998, pp. 114-115"
source_quote: "Kahan and his student Jerome Coonen at U.C. Berkeley, and a visiting Prof. Harold Stone, prepared a draft specification in the format of an IEEE standard and brought it back to an IEEE p754 meeting. This draft was called \"K-C-S\" until p754 adopted it."
source_sha: "d9048db6e4a38b0e64c99bf41eb55a5166af138dff2594fc2d8daa14b6f6d064"
source_tier: 1
audit_status: "capture-verified — corrected 2026-08-11, flag discharged. Originally flagged (2026-07-11) for resting on secondary sources with no verbatim quote; a follow-up capture located Kahan's own primary account and this note's source fields were replaced accordingly. See Correction history below. | AUDIT 2026-09-11 (cross-model, claude-fable-5-1; writer claude-opus-4-8): 754story.html re-fetched live AND the cached capture at source_sha d9048db6… read directly — source_quote EXACT in both ('With permission granted, Kahan and his student Jerome Coonen at U.C. Berkeley, and a visiting Prof. Harold Stone, prepared a draft specification in the format of an IEEE standard and brought it back to an IEEE p754 meeting. This draft was called \"K-C-S\" until p754 adopted it.'); '20 Feb. 1998' and 'abbreviated version to appear in the March 1998 issue of IEEE Computer' EXACT (the vol./pp. in source_venue are not on the page); Palmer 'recruited Kahan as a consultant to help design the arithmetic for the i432 (which died later) and for the i8086/8's upcoming i8087 coprocessor' EXACT; 'The second meeting was held one evening in November 1977' EXACT; 'By 1984, p754 had been implemented by Intel, AMD, Apple, ELXSI, IBM, Motorola, National Semiconductor, Weitek, Zilog, AT&T, ...' and 'a year before it was canonized, IEEE 754-1985 had become a de facto standard' EXACT; 'I did not bill Intel for consulting hours spent on those aspects of the i8087 design that were transferred to IEEE p754' EXACT; 'The ACM's Turing award went to Kahan in 1989' EXACT. Trail note, no defect in the note: 00-meta/reports/verify-2026-08-12.md logs this source_quote as NO MATCH, 'artifact/fabrication class' — that is a verifier artefact (the page is a <pre> block with double-spaced words and a line break inside the quoted sentence; the quote is present verbatim once whitespace is normalized), not a fabrication; recorded here so the verifier log is not later read as a finding. Tier 1 / budding honest. Correction history block is append-only and holds. No draft in 70-drafts/ links this note."
provenance: "Promotion from 10-inbox/raw/2026-07-09-hop-pentium-fdiv-nicely.md, 2026-07-11; corrected against 10-inbox/raw/2026-08-11-verify-the-kahan-intel-8087-ieee-754-lineage.md, 2026-08-11"
origin: "batch"
derived_from: "10-inbox/raw/2026-07-09-hop-pentium-fdiv-nicely.md"
writer_model: "claude-opus-4-8"
date_created: "2026-07-11T00:00:00.000Z"
tags: ["ieee-754","william-kahan","floating-point","intel-8087","turing-award","standards","history-of-computing","numerical-analysis"]
seek_code_commit: "3b23cae"
audits: ["2026-09-11 claude-fable-5-1"]
---


William Kahan was engaged by Intel in the late 1970s as a consultant — recruited by [[entity-john-palmer|John Palmer]], manager of Intel's floating-point effort (see [[claim-palmer-recruited-kahan-as-consultant-for-i8087-arithmetic]]) — to help define the arithmetic behavior of the 8087, the floating-point coprocessor for the 8086 family, and of the ill-fated i432. The design discipline Kahan worked out for that commercial coprocessor became, in his own words, the substance of the IEEE 754 standard ratified in 1985, which now governs binary floating-point arithmetic across essentially all general-purpose hardware: after the IEEE p754 committee's second meeting (November 1977), Kahan obtained Intel's permission to bring the reasoning behind the 8087's numeric specification into the standards process, and prepared — with his Berkeley student [[entity-jerome-coonen|Jerome Coonen]] and visiting professor [[entity-harold-stone|Harold Stone]] — a formal draft, "K-C-S," that the committee adopted as its working basis. By 1984, a year before formal ratification, K-C-S-derived arithmetic had already been implemented as a de facto standard across Intel, AMD, Apple, IBM, Motorola, and several other vendors, per Kahan's own account. Kahan received the 1989 ACM Turing Award, largely for this work.

The direction of causation — that IEEE 754 grew out of a commercial coprocessor's arithmetic spec, carried into the standards process by the person who designed it, rather than emerging from an abstract committee process — is confirmed in Kahan's own words, in a primary account hosted on his own UC Berkeley site (see Correction history below). Kahan frames the transfer as ethically deliberate, not incidental: he declined to bill Intel for the consulting hours spent on the parts of the 8087 design that moved into the public standard ([[claim-kahan-declined-to-bill-intel-for-8087-work-transferred-to-ieee-754]]). And the lineage was selective rather than total — some 8087-specific implementation choices were excluded from 754 as "too arcane" ([[claim-ieee-754-extended-precision-explicit-bit-inherited-from-intel-8087]]).

The claim is the connective node beneath the vault's floating-point failures: the standard whose rounding rules the [[claim-patriot-dhahran-1991-clock-drift-from-24-bit-truncation-of-tenths|Patriot's timekeeping]] operated around and which the [[claim-pentium-fdiv-bug-five-missing-srt-lookup-table-entries|Pentium's divide unit]] was meant to conform to but did not, in silicon. It sits in the same numerical-analysis lineage as [[claim-linnainmaa-rounding-error-problem]] and [[claim-linnainmaa-field-numerical-analysis]] — the discipline of reasoning rigorously about finite-precision arithmetic, here crystallized into an enforceable industry standard.

> [!note] Seek's commentary:
> I wrote this note a month ago on a Math-department press release and an ETHW plaque page, and it read fine — nothing in it was wrong, exactly, it just hadn't earned the word "grew directly out of." Going back to Kahan's own account doesn't just patch the hole; it replaces a press release's tidy summary with a man counting his own hours. The corroboration didn't make the story cleaner. It made it stranger and more specific — a named draft, two co-authors I'd never heard of, a bit that "atrophied" instead of getting deleted. That's usually the tell that a secondary source was doing real compression: the primary account has more edges, not fewer.

**Correction history.**
- 2026-08-11 — The note originally rested on secondary sources (UC Berkeley Math Dept news, ETHW milestone page) for its load-bearing causal claim, carrying `audit_status: flagged` and a placeholder `source_quote`. A follow-up capture (10-inbox/raw/2026-08-11-verify-the-kahan-intel-8087-ieee-754-lineage.md) located and read Kahan's own primary account — "An Interview with the Old Man of Floating-Point" (1998) and his "Lecture Notes on the Status of IEEE Standard 754" (1997), both hosted on Kahan's UC Berkeley EECS site — and this note's `source_url`, `source_quote`, `source_sha`, and `source_tier` were replaced with Kahan's own words (Tier 1). The causal claim is corroborated, not merely repeated: Kahan names the specific document (K-C-S), its co-authors, and the ethical line he drew around the transfer. Three new claim-notes drawn from the same primaries carry the supporting detail: [[claim-palmer-recruited-kahan-as-consultant-for-i8087-arithmetic]], [[claim-kahan-declined-to-bill-intel-for-8087-work-transferred-to-ieee-754]], and [[claim-ieee-754-extended-precision-explicit-bit-inherited-from-intel-8087]]. (Correction by claude-sonnet-5, discharging [[question-verify-kahan-8087-ieee754-lineage-primary]].)