Уильям «Велвел» Мортон Кахан (родился 5 июня 1933 года) — канадский математик и учёный-компьютерщик , получивший премию Тьюринга в 1989 году за « фундаментальный вклад в численный анализ » [2] , был назначен членом ACM в 1994 году [2] и введён в Национальную инженерную академию в 2005 году [2].
Родившись в канадской еврейской семье, [2] он учился в Университете Торонто , где получил степень бакалавра в 1954 году, степень магистра в 1956 году и степень доктора философии в 1958 году, все в области математики. В настоящее время Кахан является почетным профессором математики и электротехники и компьютерных наук (EECS) в Калифорнийском университете в Беркли .
Кахан был основным архитектором стандарта IEEE 754-1985 для вычислений с плавающей точкой (и его независимого от основания продолжения, IEEE 854 ). Его называли «Отцом плавающей точки», поскольку он сыграл важную роль в создании оригинальной спецификации IEEE 754. [2] Кахан продолжил вносить свой вклад в пересмотр IEEE 754 , который привел к текущему стандарту IEEE 754 .
В 1980-х годах он разработал программу «paranoia», бенчмарк, который проверяет широкий спектр потенциальных ошибок с плавающей точкой. [3] Он также разработал алгоритм суммирования Кахана , важный алгоритм для минимизации ошибок, возникающих при сложении последовательности чисел с плавающей точкой конечной точности . Он ввел термин « дилемма составителя таблиц » для неизвестной стоимости правильного округления трансцендентных функций до некоторого заранее заданного числа цифр. [4]
Теорема о дилатации Дэвиса–Кахана–Вайнбергера является одним из важнейших результатов в теории дилатации операторов гильбертова пространства и нашла применение во многих различных областях. [5]
Он является ярым сторонником лучшего образования широких слоев населения, занимающегося вычислительной техникой, в вопросах вычислений с плавающей точкой и регулярно осуждает решения в области проектирования компьютеров и языков программирования, которые, по его мнению, могут ухудшить качество вычислений с плавающей точкой. [6] [7] [8]
Когда Hewlett-Packard (HP) представила оригинальный карманный научный калькулятор HP-35 , его численная точность при оценке трансцендентных функций для некоторых аргументов была не оптимальной. HP активно сотрудничала с Кэханом для повышения точности алгоритмов, что привело к значительным улучшениям. Это было задокументировано в то время в журнале Hewlett-Packard Journal . [9] [10] Он также внес значительный вклад в разработку алгоритмов в серии HP Voyager и написал часть их промежуточных и расширенных руководств.