William "Velvel" Morton Kahan (nacido el 5 de junio de 1933) es un matemático e informático canadiense , que recibió el Premio Turing en 1989 por " sus contribuciones fundamentales al análisis numérico ", [2] fue nombrado miembro de la ACM en 1994, [ 2] e incluido en la Academia Nacional de Ingeniería en 2005. [2]
Nacido en una familia judía canadiense , [2] asistió a la Universidad de Toronto , donde recibió su licenciatura en 1954, su maestría en 1956 y su doctorado. en 1958, todo en el campo de las matemáticas. Kahan es ahora profesor emérito de matemáticas y de ingeniería eléctrica y ciencias informáticas (EECS) en la Universidad de California, Berkeley .
Kahan fue el arquitecto principal detrás del estándar IEEE 754-1985 para cálculo de punto flotante (y su seguimiento independiente de la base, IEEE 854 ). Se le ha llamado "El padre del punto flotante", ya que jugó un papel decisivo en la creación de la especificación IEEE 754 original. [2] Kahan continuó con sus contribuciones a la revisión IEEE 754 que condujo al estándar IEEE 754 actual .
En la década de 1980 desarrolló el programa "paranoia", un punto de referencia que prueba una amplia gama de posibles errores de punto flotante. [3] También desarrolló el algoritmo de suma de Kahan , un algoritmo importante para minimizar el error introducido al sumar una secuencia de números de punto flotante de precisión finita . Acuñó el término " dilema del fabricante de tablas " para referirse al costo desconocido de redondear correctamente funciones trascendentales a un número preasignado de dígitos. [4]
El teorema de dilatación de Davis-Kahan-Weinberger es uno de los resultados emblemáticos de la teoría de la dilatación de los operadores espaciales de Hilbert y ha encontrado aplicaciones en muchas áreas diferentes. [5]
Es un firme defensor de una mejor educación de la población informática en general sobre cuestiones de punto flotante y denuncia regularmente decisiones en el diseño de computadoras y lenguajes de programación que, en su opinión, perjudicarían los buenos cálculos de punto flotante. [6] [7] [8]
Cuando Hewlett-Packard (HP) presentó la calculadora científica de bolsillo HP-35 original , su precisión numérica al evaluar funciones trascendentales para algunos argumentos no era óptima. HP trabajó extensamente con Kahan para mejorar la precisión de los algoritmos, lo que condujo a mejoras importantes. Esto fue documentado en su momento en el Hewlett-Packard Journal . [9] [10] También contribuyó sustancialmente al diseño de los algoritmos de la serie HP Voyager y escribió parte de sus manuales intermedios y avanzados.