Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Уильям Мортон Кахан
Уильям Кахан.jpg
Родившийся( 1933-06-05 )5 июня 1933 г. (87 лет)
Торонто, Онтарио , Канада
НациональностьКанадский
Альма-матерУниверситет Торонто
Известен Алгоритм суммирования IEEE 754
Кахана
НаградыПремия Тьюринга (1989)
Премия IEEE Эмануэля Р. Пиоре (2000), член
Национальной инженерной академии
ACM
Научная карьера
ПоляМатематика
Компьютерные науки
УчрежденияКалифорнийский университет в Беркли
ТезисМетоды Гаусса – Зейделя для решения больших систем линейных уравнений  (1958 г.)
ДокторантБайрон Александр Гриффит
ДокторантыДжеймс Деммел

Уильям «Велвел» Мортон Кахан (родился 5 июня 1933 г.) - канадский математик и ученый-компьютерщик , получивший премию Тьюринга в 1989 г. за « фундаментальный вклад в численный анализ » [1], был назначен членом ACM в 1994 г. [ 1] и введен в Национальную инженерную академию в 2005 году. [1]

Родившись в канадской еврейской семье [2], он учился в университете Торонто , где получил степень бакалавра в 1954 году, степень магистра в 1956 году и докторскую степень. в 1958 г. - все в области математики. Кахан в настоящее время является почетным профессором математики, электротехники и компьютерных наук (EECS) в Калифорнийском университете в Беркли .

Кахан был основным архитектором стандарта IEEE 754-1985 для вычислений с плавающей запятой (и его независимого от системы счисления дополнения, IEEE 854 ). Его называли «отцом плавающей точки», поскольку он сыграл важную роль в создании оригинальной спецификации IEEE 754. [1] Кахан продолжил свой вклад в редакцию IEEE 754, которая привела к созданию текущего стандарта IEEE 754 .

В 1980-х он разработал программу «paranoia» - тест, который тестирует широкий спектр потенциальных ошибок с плавающей запятой. [3] Он обнаружит печально известную ошибку разделения Pentium и по-прежнему находит важное применение по сей день. Он также разработал алгоритм суммирования Кахана , важный алгоритм для минимизации ошибок, возникающих при добавлении последовательности чисел с плавающей запятой конечной точности . Он ввел термин « дилемма изготовителя стола » для обозначения неизвестной стоимости правильного округления трансцендентных функций до некоторого заранее заданного числа цифр. [4]

Теорема Дэвиса – Кахана – Вайнбергера о растяжении является одним из выдающихся результатов теории растяжения операторов гильбертова пространства и нашла приложения во многих различных областях. [5]

Он является откровенным сторонником лучшего просвещения населения в области вычислений по вопросам с плавающей запятой и регулярно осуждает решения при проектировании компьютеров и языков программирования, которые могут ухудшить качество вычислений с плавающей запятой.

Когда Hewlett-Packard (HP) представила оригинальный карманный научный калькулятор HP-35 , его числовая точность при вычислении трансцендентных функций для некоторых аргументов не была оптимальной. HP активно работала с Каханом над повышением точности алгоритмов, что привело к значительным улучшениям. Это было задокументировано в то время в Hewlett-Packard Journal. [6] [7] Он также внес значительный вклад в разработку алгоритмов серии HP Voyager и написал часть их руководств среднего и продвинутого уровней.

См. Также [ править ]

  • Intel 8087

Ссылки [ править ]

  1. ^ a b c d Хей, Томас (1989). «Уильям (« Велвел ») Мортон Кахан» . Премия AM Тьюринга . Проверено 27 мая 2017 .
  2. ^ УИЛЬЯМ («ВЕЛВЕЛ») МОРТОН КАХАН . Премия AM Тьюринга, Автор: Томас Хэй.
  3. ^ Карпински, Ричард (1985), «Паранойя: тест с плавающей запятой» , Byte Magazine , 10 (2): 223–235
  4. ^ Кахан, Уильям. "Слишком умный логарифм наполовину" . Проверено 14 ноября 2008 .
  5. ^ Дэвис, Чендлер; Kahan, WM; Вайнбергер, Х.Ф. (1982). "Сохраняющие норму дилатации и их приложения к оптимальным границам ошибок". Журнал СИАМ по численному анализу . 19 (3): 445–469. Bibcode : 1982SJNA ... 19..445D . DOI : 10.1137 / 0719029 . hdl : 10338.dmlcz / 128534 .
  6. ^ Кахан, Уильям М. (декабрь 1979 г.). «Персональный калькулятор имеет ключ для решения любого уравнения f ( x ) = 0» (PDF) . Журнал Hewlett-Packard . 30 (12): 20–26 . Проверено 14 ноября 2008 .
  7. ^ Кахан, Уильям М. (август 1980). «Ручной калькулятор для вычисления интегралов» (PDF) . Журнал Hewlett-Packard . 31 (8): 23–32 . Проверено 14 ноября 2008 .

Внешние ссылки [ править ]

  • Домашняя страница Уильяма Кахана
  • Устная история Уильяма Кахана , редакция 1.1, март 2016 г.
  • Уильям Кахан в проекте « Математическая генеалогия»
  • Беседа с Уильямом Каханом, журнал доктора Добба , 1 ноября 1997 г.
  • Интервью со Стариком Плавающей точки , 20 февраля 1998 г.
  • IEEE 754, Интервью с Уильямом Каханом, апрель 1998 г.
  • Исходный код Paranoia на нескольких языках
  • Паранойя в отношении современных графических процессоров (GPU)
  • 754-1985 - Стандарт IEEE для двоичной арифметики с плавающей запятой , 1985, заменен IEEE Std 754-2008