Уильям «Велвел» Мортон Кахан (родился 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-х годах он разработал программу «Паранойя», тест, проверяющий широкий спектр потенциальных ошибок с плавающей запятой. [3] Он также разработал алгоритм суммирования Кахана , важный алгоритм для минимизации ошибки, возникающей при добавлении последовательности чисел с плавающей запятой конечной точности . Он ввёл термин « дилемма столовщика » для обозначения неизвестной стоимости правильного округления трансцендентных функций до некоторого заранее заданного числа цифр. [4]
Теорема о расширении Дэвиса-Кахана-Вайнбергера является одним из знаковых результатов в теории расширения операторов гильбертового пространства и нашла приложения во многих различных областях. [5]
Он является ярым сторонником лучшего информирования населения в области вычислений с плавающей запятой и регулярно осуждает решения при проектировании компьютеров и языков программирования, которые, по его мнению, могут ухудшить качество вычислений с плавающей запятой. [6] [7] [8]
Когда компания Hewlett-Packard (HP) представила оригинальный карманный научный калькулятор HP-35 , его численная точность при вычислении трансцендентных функций для некоторых аргументов не была оптимальной. HP активно работала с Каханом над повышением точности алгоритмов, что привело к значительным улучшениям. Это было задокументировано в то время в журнале Hewlett-Packard Journal . [9] [10] Он также внес существенный вклад в разработку алгоритмов серии HP Voyager и написал часть их промежуточных и продвинутых руководств.