Leon Henkin

Leon Albert Henkin (Brooklyn, Nueva York, 19 de abril de 1921-Oakland, California, 1 de noviembre de 2006) fue uno de los lógicos y matemáticos más importantes del . Sus trabajos tuvieron un fuerte papel en el desarrollo de la lógica, particularmente en la teoría de tipos. Fue un académico activo en la Universidad de Berkeley, donde hizo grandes aportaciones como investigador y docente, además de contribuir con el desempeño de cargos administrativos. En esta universidad dirigió, junto con Alfred Tarski, el ''Grupo de Lógica y Metodología de la Ciencia'', de donde surgieron muchos lógicos y filósofos de importancia. Tenía un fuerte sentido de compromiso social y defendía con pasión sus ideas pacifistas y progresistas. Participó en muchos proyectos sociales destinados a la enseñanza de las matemáticas, así como en proyectos destinados a apoyar a grupos de mujeres y minorías para impulsarlos hacia carreras de matemáticas y áreas afines. Aficionado al baile y a la literatura, apreciaba la vida en todas sus facetas: el arte, la cultura, la ciencia y, sobre todo, en la calidez de las relaciones humanas. Es recordado por sus alumnos por su gran amabilidad, así como por su excelencia académica y docente.

Henkin es conocido principalmente por sus pruebas de completitud de diversos sistemas formales, como la teoría de tipos y la lógica de primer orden (la completitud de ésta, en su versión débil, había sido probada por Kurt Gödel en 1929). La demostración de completitud de la teoría de tipos la realiza tras introducir una nueva semántica, basada en los modelos generales (también denominados ''Modelos de Henkin''). El cambio de semántica que propone permite dar un cálculo completo a la teoría de tipos y a la lógica de segundo orden, entre otras lógicas. Sus métodos han resultado fructíferos para la prueba de diversos resultados, tanto en lógica clásica como en lógicas no-clásicas. 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 la filosofía de las matemáticas, aunque los trabajos en que la aborda explícitamente son escasos, puede considerarse que tiene una postura nominalista. proporcionado por Wikipedia