Leon Henkin , lógico estadounidense (m. 2006)
Leon Albert Henkin (19 de abril de 1921, Brooklyn, Nueva York - 1 de noviembre de 2006, Oakland, California) fue uno de los lógicos y matemáticos más importantes del siglo XX. Sus obras jugaron un papel importante en el desarrollo de la lógica, particularmente en la teoría de los tipos. Fue un becario activo en la Universidad de California, Berkeley, donde hizo grandes contribuciones como investigador, docente y en puestos administrativos. En esta universidad dirigió, junto con Alfred Tarski, el Grupo de Lógica y Metodología de la Ciencia, del que surgieron importantes lógicos y filósofos. Tenía un fuerte sentido del compromiso social y era un apasionado defensor de sus ideas pacifistas y progresistas. Participó en muchos proyectos sociales destinados a la enseñanza de las matemáticas, así como proyectos destinados a apoyar a las mujeres y los grupos minoritarios para seguir carreras en matemáticas y campos relacionados. Amante de la danza y la literatura, apreciaba la vida en todas sus facetas: el arte, la cultura, la ciencia y, sobre todo, la calidez de las relaciones humanas. Sus alumnos lo recuerdan por su gran amabilidad, así como por su excelencia académica y docente. Henkin es conocido principalmente por sus pruebas completas de diversos sistemas formales, como la teoría de tipos y la lógica de primer orden (la completitud de esta última, en su versión débil, había sido probado por Kurt Gödel en 1929). Para probar la integridad de la teoría de tipos, Henkin introduce una nueva semántica, basada en ciertas estructuras, denominadas modelos generales (también conocidos como modelos de Henkin). El cambio de semántica que propone permite proporcionar un cálculo deductivo completo para la Teoría de Tipos y para la Lógica de Segundo Orden, entre otras lógicas. Los métodos de Henkin han ayudado a probar varios resultados de la teoría de modelos, tanto en lógica clásica como no clásica. Además de la lógica, la otra rama en la que se centraron sus investigaciones fue el álgebra; se especializó en álgebras cilíndricas, en las que trabajó junto con A. Tarski y D. Monk. En cuanto a la filosofía de las matemáticas, aunque son escasos los trabajos en los que la aborda explícitamente, puede considerarse que tiene una posición nominalista.