William "Velvel" Morton Kahan (nacido el 5 de junio de 1933) es un matemático y científico 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, todos en el campo de las matemáticas. Kahan es ahora profesor emérito de matemáticas y de ingeniería eléctrica y ciencias de la computación (EECS) en la Universidad de California, Berkeley .
Kahan fue el arquitecto principal detrás del estándar IEEE 754-1985 para computación en punto flotante (y su continuación independiente del radio, IEEE 854 ). Se lo ha llamado "El padre del punto flotante", ya que fue fundamental en la creación de la especificación IEEE 754 original. [2] Kahan continuó 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 el costo desconocido de redondear correctamente las 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 fundamentales de la teoría de dilatación de los operadores espaciales de Hilbert y ha encontrado aplicaciones en muchas áreas diferentes. [5]
Es un abierto 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 importantes mejoras. Esto fue documentado en ese 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.