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] y fue admitido en la Academia Nacional de Ingeniería en 2005. [2]
William Morton Kahan | |
---|---|
Nació | Toronto, ontario , canadá | 5 de junio de 1933
Nacionalidad | canadiense |
alma mater | Universidad de Toronto |
Conocido por | Algoritmo de suma IEEE 754 Kahan |
Premios | Premio Turing (1989) Premio IEEE Emanuel R. Piore [1] (2000) Miembro de la Academia Nacional de Ingeniería ACM |
Carrera científica | |
Campos | Matemáticas Informática |
Instituciones | Universidad de California, Berkeley |
Tesis | Métodos de Gauss-Seidel para resolver grandes sistemas de ecuaciones lineales (1958) |
Asesor de doctorado | Byron Alexander Griffith |
Estudiantes de doctorado | James Demmel |
Biografía
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 Ph.D. 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 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 el cálculo de punto flotante (y su continuación independiente de la raíz, 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 actual IEEE 754 .
En la década de 1980, desarrolló el programa "paranoia", un punto de referencia que prueba una amplia gama de posibles errores de coma flotante. [3] Continuaría detectando el infame error de la división Pentium [ cita requerida ] y continúa teniendo usos importantes hasta el día de hoy. También desarrolló el algoritmo de suma de Kahan , un algoritmo importante para minimizar el error introducido al agregar una secuencia de números de punto flotante de precisión finita . Acuñó el término " dilema del fabricante de tablas " por el costo desconocido de redondear correctamente las funciones trascendentales a un número preasignado de dígitos. [4]
El teorema de la dilatación de Davis-Kahan-Weinberger es uno de los resultados más importantes en 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 los problemas del punto flotante y denuncia regularmente las decisiones en el diseño de computadoras y lenguajes de programación que, en su opinión, perjudicarían los buenos cálculos del punto flotante. [6] [7] [8]
Cuando Hewlett-Packard (HP) presentó la calculadora científica de bolsillo HP-35 original , su precisión numérica en la evaluación de 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 se documentó 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.
Ver también
- Intel 8087
Referencias
- ^ "Destinatarios del premio IEEE Emanuel R. Piore" (PDF) . IEEE . Archivado desde el original (PDF) el 24 de noviembre de 2010 . Consultado el 20 de marzo de 2021 .
- ^ a b c d e Haigh, Thomas (1989). "William (" Velvel ") Morton Kahan" . Premio AM Turing . Consultado el 27 de mayo de 2017 .
- ^ Karpinski, Richard (1985), "Paranoia: A floating-point benchmark" , Byte Magazine , 10 (2): 223-235
- ^ Kahan, William. "Un logaritmo demasiado inteligente por la mitad" . Consultado el 14 de noviembre de 2008 .
- ^ Davis, Chandler; Kahan, WM; Weinberger, HF (1982). "Dilataciones que preservan la norma y sus aplicaciones para límites de error óptimos". Revista SIAM de Análisis Numérico . 19 (3): 445–469. Código bibliográfico : 1982SJNA ... 19..445D . doi : 10.1137 / 0719029 . hdl : 10338.dmlcz / 128534 .
- ^ Kahan, William (1 de marzo de 1998). "Cómo el punto flotante de Java perjudica a todos en todas partes" (PDF) . Consultado el 1 de marzo de 2021 .
- ^ Haigh, Thomas (marzo de 2016). "Una entrevista con William M. Kahan" (PDF) . Consultado el 1 de marzo de 2021 .
- ^ Kahan, William (31 de julio de 2004). "La pérdida de Matlab es ganancia de nadie" (PDF) . Consultado el 1 de marzo de 2021 .
- ^ Kahan, William M. (diciembre de 1979). "La calculadora personal tiene la clave para resolver cualquier ecuación f ( x ) = 0" (PDF) . Diario de Hewlett-Packard . 30 (12): 20-26 . Consultado el 14 de noviembre de 2008 .
- ^ Kahan, William M. (agosto de 1980). "Calculadora de mano evalúa integrales" (PDF) . Diario de Hewlett-Packard . 31 (8): 23–32 . Consultado el 14 de noviembre de 2008 .
enlaces externos
- Página de inicio de William Kahan
- Una historia oral de William Kahan , revisión 1.1, marzo de 2016
- William Kahan en el Proyecto de genealogía matemática
- Una conversación con William Kahan, Dr. Dobb's Journal , 1 de noviembre de 1997
- Una entrevista con el anciano de Floating-Point , 20 de febrero de 1998
- IEEE 754 Una entrevista con William Kahan , abril de 1998
- Código fuente de Paranoia en varios idiomas
- Paranoia para las modernas unidades de procesamiento de gráficos (GPU)
- 754-1985 - Estándar IEEE para aritmética binaria de coma flotante , 1985, reemplazado por IEEE Std 754-2008