Leon Henkin

En 1991 se le concedió el título de Profesor Emérito de la Universidad de Berkeley y se jubiló.

Después de jubilarse, Henkin continuó trabajando en proyectos de enseñanza de matemáticas.

Henkin siempre estuvo agradecido con Tarski, ya que fue gracias a él que pudo establecerse en Berkeley.

Entre los viajes de investigación que realizó Henkin a lo largo de los años se encuentran sus visitas a universidades de Hanover, Princeton, Colorado, así como a varias Universidades europeas, como Oxford (en el Reino Unido), y otras en Yugoslavia, España, Portugal y Francia.

Aunque el primer encuentro de Henkin con la enseñanza de las matemáticas fue como profesor, más adelante en su vida también comenzó a investigar sobre la enseñanza de las matemáticas.

Henkin tuvo un papel activo en la investigación y la docencia, pero sus actividades en la universidad fueron mucho más allá.

A Henkin le gustaba escribir artículos expositivos, por algunos de los cuales recibió premios como el Premio Chauvenet (1964), por el artículo "¿Son idénticas la lógica y las matemáticas?" o el Premio Lester R. Ford, por el artículo "Fundamentos matemáticos de las matemáticas".

En algunas ocasiones Henkin acudía a los colegios de sus hijos para hablar de matemáticas a los niños de primaria, hablándoles de "los números negativos", o "cómo restar sumando".

Algunos de los proyectos sociales que formó o en los que participó son los siguientes.

A partir de 1953, la mayor parte de la actividad académica de Henkin giró en torno a Berkeley, donde colaboró ​​con un sólido grupo de investigación en Lógica.

En 1952, Tarski había logrado obtener un puesto permanente en Berkeley para Henkin.

Tarski no solo le ofreció a Henkin una oportunidad laboral, sino que también le brindó un entorno colaborativo interdisciplinario muy fértil para el desarrollo de la Lógica.

Además de sus cursos y supervisión de estudiantes graduados, el papel de Henkin en la educación de los académicos fue significativo.

En 1949 se publicó "La completitud del cálculo funcional de primer orden" y en 1950 "La completitud en la teoría de tipos". Ambos presentaron parte de los resultados expuestos en la disertación "La completitud de los sistemas formales" con la que Henkin recibió

Entre los otros teoremas de completitud dados por Henkin, el más relevante es quizás el de la Teoría de Tipos de Church, que es el primero de los teoremas de completitud que demostró Henkin.

Habiendo obtenido su Ph.D.

A pesar de ser uno de sus resultados más conocidos, Henkin llegó a la prueba de la completitud de la lógica de primer orden "accidentalmente", tratando de demostrar un resultado completamente diferente.

Una vez que terminó la guerra, Henkin regresó a Princeton en 1946, donde todavía se le exigió que escribiera una disertación para completar su doctorado.

En su último año en Columbia, en 1941, el profesor F. J. Murray, sabiendo que Henkin era un estudiante de matemáticas interesado en la Lógica, sugirió que revisaran juntos la monografía de Gödel recientemente publicada en Princeton sobre la consistencia del axioma de elección con el continuo generalizado.

Henkin comenzó sus estudios de posgrado en Princeton en 1941, estudiando bajo la dirección de Church.

En 1941 Estados Unidos entró en la Segunda Guerra Mundial, alterando los planes de Henkin.

En 1940, Henkin decidió solicitar la admisión a un programa de doctorado, sin tener completamente definido qué camino seguir en su investigación.

Al año siguiente, en el semestre de otoño de 1939, Henkin tomó un segundo curso de Lógica con Nagel, en el que se abordaron los sistemas formales de lógica proposicional y la Lógica de primer orden.

En 1937, Leon ingresó a la Universidad de Columbia como estudiante de matemáticas.

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 esta última, en su versión débil, había sido probada por Kurt Gödel en 1929).

Esta es la versión fuerte del teorema de completitud, del cual se obtiene como corolario la versión débil.

Leon Albert Henkin (19 de abril de 1921, Brooklyn, Nueva York - 1 de noviembre de 2006, Oakland, California) fue un lógico estadounidense, cuyas obras jugaron un papel importante en el desarrollo de la lógica, particularmente en la teoría de tipos.

Leon Albert Henkin nació el 19 de abril de 1921 en Brooklyn, Nueva York, en el seno de una familia judía que había emigrado de Rusia una generación antes.