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, New York, USA — 2006, Oakland, California, USA
United States · University of 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
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
