The Life and Work of Leon Henkin. Editores: Manzano, M. Sain, I. y Alonso, E.

En esta obra se analiza el desarrollo intelectual de Henkin, su relación con sus predecesores y contemporáneos, y su impacto en el desarrollo de la lógica matemática. Se trata de una valiosa obra de referencia para investigadores y estudiantes en los campos de la filosofía, las matemáticas y la informática. (Si quieres ver el índice o descargarte el artículo de Peter Andrews, pincha aquí)

Este libro colectivo está dedicado a la vida y obra de Leon Henkin (1921-2006), un científico extraordinario y un profesor excelente, cuya influencia en el desarrollo de la lógica del siglo XX comienza con la publicación de los resultados de su tesis doctoral, The Completeness of Formal Systems, en el Journal of Symbolic Logic bajo la dirección de Alonzo Church.

Henkin se incorporó en 1953 al recién creado por Alfred Tarski, The Group in Logic and the Methodology of Science, del Departamento de  Matemáticas de la Universidad de California en Berkeley y allí permaneció hasta su jubilación en 1991.   

Este volumen, editado por María Manzano, Ildikó Sain y Enrique Alonso, está dividido en tres partes.

  • La primera, Biographical Studies, incluye artículos de carácter personal y biográficos, escritos por personas que mantuvieron con Leon un trato cercano, pues él dirigió sus investigaciones. A destacar en esta parte el artículo escrito por Solomon Feferman, A Fortuitous Year with Leon Henkin.
  • En la segunda parte, Henkin’s Contributions to XX Century Logic, se analizan algunas de las contribuciones más relevantes de Henkin, tanto en teoría de modelos como en lógica algebraica, en teoría de tipos y en la enseñanza de la matemática. Se incluyen trabajos de lógicos de primera línea que fueron colaboradores de Henkin, tales como Monk y Andrews. 
  • La tercera parte, Extensions and Perspectives in Henkin’s Work, incluye desarrollos posteriores de trabajos de Henkin, relacionados tanto con su influyente y novedosa demostración de completud como con otras de sus contribuciones de naturaleza más algebraica. Destacaría de esta parte los artículos de  Goldblatt, The Countable Henkin Principle, y el de van Benthem y otros,  Changind a Semantics: Opportunism or Courage?

Este es el comienzo de un interesante artículo de Henkin sobre la enseñanza de las matemáticas.

“La historia cambia profundamente nuestro país, despertando tanto a la sociedad como a las instituciones, en oleadas sucesivas. Pronto observamos cambios en el modo en el que desarrollamos nuestras actividades, incluyendo la enseñanza de las matemáticas, y las matemáticas mismas. Estos cambios crean afluentes y meandros que discurren en direcciones y ángulos diferentes de aquellas facetas de la sociedad más alejadas de las esferas de la educación, matemáticas o la ciencia. Se forman ríos, que crean poderosas corrientes que producirán a su vez las oleadas del cambio histórico. La Depresión y la Segunda guerra mundial fueron el contexto en el que se desarrollaron mis años de estudio, la Guerra fría y el Movimiento de libertades civiles lo que marcó mis comienzos como investigador en matemáticas. Más tarde me impliqué en la pedagogía de la matemática.”

The headquarter for 2017-2018 is the University of Valladolid

This master’s degree gives direct access to the interuniversity PhD programme in Logic and Philosophy of Science.

Logic and Philosophy of Science alumni

Encyclopedias, journals, learned societies , virtual libraries

Learn about the latest books published by our teachers

Master's Theses on Logic and Philosophy of Science

Get to know the coordinators of every University

Our staff

All information in one file

Our regular conferences

Our intellectual honesty decalogue

Our quality assurance system