Leon Henkin

Leon Albert Henkin fue uno de los lógicos y matemáticos más importantes del siglo XX. 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.