Leon Henkin
Leon Henkin · Tecnología e ingeniería
Leon Henkin fue un lógico estadounidense conocido sobre todo por la 'prueba de Henkin' del teorema de completitud de la lógica de primer orden, técnica hoy estándar, así como por la construcción de Henkin y su trabajo en teoría de tipos.
1921, Brooklyn, Nueva York, Estados Unidos — 2006, Oakland, California, Estados Unidos
Estados Unidos · Universidad de California, Berkeley
Leon Henkin fue un lógico estadounidense conocido sobre todo por la 'prueba de Henkin' del teorema de completitud de la lógica de primer orden, técnica hoy estándar, así como por la construcción de Henkin y su trabajo en teoría de tipos. Enseñó en Berkeley y promovió la educación matemática y su acceso. Era judío.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
Leon Henkin fue un lógico estadounidense conocido sobre todo por la 'prueba de Henkin' del teorema de completitud de la lógica de primer orden, técnica hoy estándar, así como por la construcción de Henkin y su trabajo en teoría de tipos.
Fuente: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
