c.curionode图灵奖档案

1989 · 理论与算法

让数字的行为可以预期

浮点运算不仅需要快速硬件,也需要精心设计的规则。

1989图灵奖
让数字的行为可以预期: 浮点运算不仅需要快速硬件,也需要精心设计的规则。
Curionode 原创 AI 图解海报。 下方提供完整的文字版讲解。
阅读图解文字
  1. 表示

    使用有限的数字集合。

  2. 舍入

    遵循明确的运算规则。

  3. 分析

    追踪产生的数值影响。

可以预期的数值规则,使科学软件更易分析、测试和跨系统运行。

标准化运算不会消除舍入误差,也不能挽救每一种不稳定算法。

01 · 核心想法

用日常语言理解

威廉·卡汉帮助提高了浮点计算的可靠性。可表示的数字之间有间隔,因此运算必须舍入,而细小的选择可能带来显著后果。他在数值分析和 IEEE 浮点标准发展中的工作,为不同机器建立一致行为作出了重要贡献。

为什么重要

可以预期的数值规则,使科学软件更易分析、测试和跨系统运行。

02 · 人物

是谁让想法成为现实?

插画肖像:威廉·卡汉

威廉·卡汉

威廉·卡汉研究有限精度算术如何使看似合理的数值计算产生误导。他发展揭示舍入误差并减轻其影响的算法与分析方法,在伯克利把数学、软件和浮点硬件设计联系起来。他在制定 IEEE 浮点标准中发挥重要作用,帮助不同计算系统获得更可预测、更可靠的数值行为。

阅读人物介绍 ↗

03 · 延伸阅读

来自原始资料

本站原创讲解依据官方获奖记录。领域标签用于编辑导航。

  1. ACM 官方档案:William Kahan ↗amturing.acm.org
  2. 海德堡获奖者论坛:William Kahan ↗www.heidelberg-laureate-forum.org