Leon Henkin

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. Fue un activo académico 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 muchos lógicos y filósofos importantes. Tenía un fuerte sentido de compromiso social y era un apasionado defensor de sus ideas pacifistas y progresistas. Participó en muchos proyectos sociales destinados a la enseñanza de matemáticas, así como en proyectos destinados a apoyar a mujeres y grupos minoritarios para que siguieran carreras en matemáticas y campos relacionados. Amante de la danza y la literatura, apreciaba la vida en todas sus facetas: arte, cultura, ciencia y, sobre todo, 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 integridad de diversos sistemas formales, como la teoría de tipos y la lógica de primer orden (la integridad de esta última, en su versión débil, había sido demostrada por Kurt Gödel en 1929). Para demostrar la integridad de la teoría de tipos, Henkin introduce una nueva semántica, no equivalente a la semántica estándar, basada en estructuras llamadas modelos generales (también conocidos como modelos de Henkin). El cambio de semántica que propuso 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 Tarski y Donald Monk. En cuanto a la filosofía de las matemáticas, aunque son escasos los trabajos en los que la aborda explícitamente, se puede considerar que tiene una posición nominalista.

Vida

Infancia y primera juventud

Leon Albert Henkin nació el 19 de abril de 1921 en Brooklyn, Nueva York, en una familia judía que había emigrado de Rusia una generación antes. El primero de la familia en emigrar fue Abraham Henkin, el mayor de los hermanos del padre de León. Según León, su padre había estado extremadamente orgulloso de él desde que era solo un niño. Sus grandes expectativas quedaron evidentes en el nombre que le puso: eligió llamar a su hijo Albert después de una serie de artículos sobre la teoría de la relatividad de Einstein que el New York Times publicó poco antes del nacimiento de Henkin. Su familia simpatizaba con las ideas pacifistas y progresistas y, aunque no era religioso, tenía tradiciones judías profundamente arraigadas. León creció rodeado de estrechos lazos familiares; era muy cercano a sus primos, con quienes vivió durante su infancia en Brooklyn.

Henkin estudió principalmente en escuelas públicas de la ciudad de Nueva York; Asistió a Lincoln High School, donde se graduó a los 16 años para ingresar a la Universidad de Columbia. Tanto en la universidad como en la secundaria fue miembro de los equipos de ajedrez; Siempre prefirió los juegos que implicaban el pensamiento racional a los juegos de azar. En los años de su educación secundaria, Henkin consideró convertirse en profesor de matemáticas y también llegó a desear convertirse en escritor (como expresó más tarde en una carta personal). Aunque se dedicó a la vida académica universitaria, nunca abandonó su interés por la enseñanza de las matemáticas elementales, a la que luego contribuyó activamente.

Los primeros estudios universitarios

En 1937, León ingresó a la Universidad de Columbia como estudiante de matemáticas. Fue durante su paso por esta institución cuando desarrolló un interés por la lógica, lo que determinaría el rumbo de su carrera académica. Su primer contacto con la lógica fue a través del libro de B. Russell, "Misticismo y Matemáticas", que despertó su interés durante una visita a la biblioteca. Este interés fue aumentado y cultivado por algunos cursos. Aunque el departamento de matemáticas de la Universidad no ofrecía cursos de Lógica (éstos los ofrecía el departamento de Filosofía), León era uno de los pocos estudiantes de matemáticas interesados en esa disciplina y decidió asistir a ellos. En el otoño de 1938, en su segundo año como estudiante de la Universidad de Columbia, participó en un primer curso de Lógica impartido por Ernest Nagel, quien había contribuido a la creación de la Asociación de Lógica Simbólica dos años después. más temprano. Este curso lo acercó al libro de Russell "Principios de Matemáticas", donde encontró por primera vez el axioma de elección; La presentación de Russell le causó una fuerte impresión y lo llevó a explorar los Principia Mathematica que Russell escribió con Whitehead unos años más tarde. Le impresionaron las ideas generales de la teoría de tipos y el misterioso axioma de la reducibilidad. Tanto el axioma de elección como la teoría de tipos jugaron posteriormente un papel importante en su tesis doctoral.

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 sistemas formales de lógica proposicional y lógica de primer orden. Estos constituyeron su primera experiencia con el tratamiento matemático de sistemas deductivos. El curso no abordó resultados metalógicos que establecieran una relación entre la semántica y la sintáctica, y no se abordó en absoluto la cuestión de la exhaustividad. Sin embargo, Nagel propuso a Henkin como proyecto independiente la lectura de la prueba de la completitud de la lógica proposicional dada por Quine, que había aparecido unos meses antes en el Journal of Symbolic Logic. Esta lectura fue muy significativa para Henkin, no tanto por el contenido en sí, sino porque con ella descubrió que podía comprender las investigaciones sobre lógica y matemáticas que se estaban llevando a cabo en ese momento. Según Henkin, aunque logró seguir la demostración de Quine, no logró captar la idea de la prueba: "Simplemente noté que el objetivo del artículo era mostrar que toda tautología Tenía una prueba formal en el sistema de axiomas presentado, y dediqué todo mi esfuerzo a comprobar el razonamiento de Quine de que esto era así, sin reflexionar jamás sobre por qué el autor y el lector estaban haciendo este esfuerzo. Este objetivo estrictamente limitado también me impidió preguntarme cómo pensó el autor en unir los pasos de la prueba; el resultado fue que no logré captar "la idea de la prueba", el ingrediente esencial necesario para el descubrimiento."

Justo antes de que Henkin comenzara su segundo año en Columbia, estalló la Segunda Guerra Mundial. Esto tuvo varias repercusiones en su vida. Uno de ellos tuvo un efecto positivo en su educación. Días antes de que estallara la guerra, el matemático y lógico polaco Alfred Tarski había venido a Harvard, por invitación de Quine, para dar una serie de conferencias sobre lógica. Con la invasión de Polonia por parte de Alemania, a Tarski le resultó imposible regresar a Polonia y tuvo que permanecer en Estados Unidos. Tarski visitó varias ciudades dando conferencias sobre lógica. Una de estas conferencias fue en Columbia y Henkin, como el resto de los estudiantes de lógica, asistió con gran entusiasmo. En él, Tarski hablaba del trabajo de Gödel sobre proposiciones indecidibles en teoría de tipos y sobre la existencia de algoritmos de decisión para sistemas formales, un tema que Henkin encontró extremadamente estimulante.

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 coherencia del axioma de elección con la hipótesis del continuo generalizado. Si bien las reuniones que tuvieron para discutirlo fueron escasas y León terminó revisando esta monografía prácticamente solo, la experiencia fue considerada por él como la más enriquecedora en su formación en Columbia. Según Henkin, entonces comenzaron a tomar forma algunas de las ideas que se convirtieron en el punto de partida de su tesis doctoral.

En 1940, Henkin decidió solicitar la admisión a un programa de doctorado, sin haber definido del todo qué camino seguir en su investigación. Fue aceptado en tres universidades, de las cuales eligió Princeton, ya que allí se encontraba el reconocido lógico Alonzo Church, aunque en ese momento Henkin desconocía su trabajo.

Estudios de Postgrado

Henkin comenzó sus estudios de posgrado en Princeton en 1941, bajo la dirección de Church. El doctorado. El programa al que asistió consistió en dos años de cursos de matemáticas, después de los cuales debía realizar un curso "calificatorio" examen oral para demostrar que tenía una buena formación en al menos tres ramas de las matemáticas; con esto recibiría una maestría. Luego tendría otros dos años para escribir una tesis doctoral que contuviera una investigación original, tras lo cual obtendría el título de Ph.D.

Los dos primeros años tomó cursos de lógica -impartidos por Church-, análisis y topología general. En el primer curso de lógica con Church se estudiaron varios sistemas formales de Lógica Proposicional y Lógica de Primer Orden; Se revisaron algunas pruebas de completitud y parte discutida de los teoremas de Löwenheim-Skolem, así como una presentación de la prueba de Gödel sobre la completitud de la lógica de primer orden. En el segundo trataron con gran detalle un sistema de segundo orden para la aritmética de Peano, así como lo incompleto de esta teoría axiomática y la consiguiente incompletitud de la lógica de segundo orden.

En 1941 Estados Unidos entró en la Segunda Guerra Mundial, alterando los planes de Henkin. Tuvo que apresurar su examen de calificación oral, con el que obtuvo el título de M. A. y abandonó Princeton para participar en el Proyecto Manhattan. Esta interrupción duraría cuatro años, durante los cuales aportó sus conocimientos matemáticos trabajando en problemas de radar y en el diseño de una planta para separar isótopos de uranio. La mayor parte de su trabajo requirió análisis numérico para resolver ecuaciones diferenciales parciales. Durante este período, todos sus trabajos y lecturas sobre lógica quedaron completamente suspendidos.

Una vez terminada la guerra, Henkin regresó a Princeton en 1946, donde todavía debía escribir una tesis para completar su doctorado. estudios. A su regreso se incorporó al curso de lógica que Church había iniciado un mes antes sobre la teoría del “sentido y la referencia” de Frege. En este curso descubrió la teoría de tipos de Church, que le pareció sumamente interesante. Las preguntas que formuló al respecto finalmente lo llevaron a dar su prueba de la integridad de la teoría de tipos, que pudo adaptar para dar también una nueva prueba de la integridad de la lógica de primer orden. Estos resultados, así como otros que surgieron de las mismas ideas, pasaron a formar parte de la tesis doctoral de Henkin, que se tituló "La completitud de los sistemas formales&# 34;, con el que se graduó en junio de 1947. La disertación en sí no se publicó, aunque partes de ella fueron reescritas y publicadas en artículos, y. Muchos años después, Henkin escribió el artículo "El descubrimiento de mis pruebas de integridad", que contiene una revisión detallada del contenido de su disertación. Los procedimientos utilizados en él se han convertido en métodos frecuentes de demostración en diversas ramas de la lógica.

Después de la graduación

Habiendo obtenido su Ph.D. Licenciada, Henkin pasó dos años más en Princeton trabajando en estudios posdoctorales. Durante este tiempo, en 1948, conoció a Ginette Potvin, durante un viaje a Montreal con su hermana Estelle y el estudiante graduado de matemáticas de Princeton, Harold Kuhn. Ginette se convertiría en su esposa en 1950, medio año después de que Estelle se casara con Harold. Después de completar su segundo año de estudios postdoctorales en Princeton en 1949, León regresó a California, donde ingresó al departamento de matemáticas de la Universidad del Sur de California. Allí ocupó el cargo de profesor asistente hasta 1953.

En 1952, Tarski había logrado obtener un puesto permanente en Berkeley para Henkin. Sin embargo, Henkin no quiso aceptarlo, ya que simpatizaba con las protestas suscitadas recientemente por el controvertido juramento de lealtad que se exigía a los profesores universitarios desde 1950. Una vez que desapareció el requisito del juramento, Henkin aceptó la oferta de Tarski y Se instaló en Berkeley en 1953.

Su vida en Berkeley

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. Allí permaneció casi toda su vida académica, salvo algunos periodos en los que viajó al extranjero con becas y ayudas de diversos institutos, como la estancia de un año que tuvo en Ámsterdam o la que realizó en Israel con las Becas Fulbright de Investigación que obtuvo. (en 1954 y 1979 respectivamente).

Henkin siempre estuvo agradecido a Tarski, ya que gracias a él pudo establecerse en Berkeley. Después de la muerte de Tarski en 1983, escribió en una carta personal: “Le escribo para decirle que Alfred Tarski, que llegó a Berkeley en 1942 y fundó nuestro gran Centro para el Estudio de la Lógica y los Fundamentos, murió el miércoles por la noche. a los 82 años [...]. Fue él quien me trajo a Berkeley en 1953, por lo que le debo mucho tanto a nivel personal como científico”.

Tarski no sólo le ofreció a Henkin una oportunidad laboral, sino que también le brindó un entorno de colaboración interdisciplinario muy fértil para el desarrollo de Logic. Tarski había fundado el Centro para el Estudio de la Lógica y los Fundamentos en Berkeley, pero con la ayuda de Henkin pudo reunir a un grupo de lógicos, matemáticos y filósofos que formaron el Grupo de Lógica y Metodología de la Ciencia, que sigue activo en la actualidad. Como parte de este proyecto, crearon un programa de posgrado interdisciplinario que culminó con un doctorado. Tarski y Henkin impulsaron el proyecto organizando importantes congresos y conferencias sobre Lógica, siguiendo la concepción de Tarski de "la lógica como base común para todo el conocimiento humano". La intensa actividad que tuvo lugar en Berkeley en las décadas de 1950 y 1960 en materia de metalógica se debió en gran medida a la actividad de Tarski y Henkin, tanto en la enseñanza como en la investigación. Muchos resultados de lo que hoy es crucial para la Teoría de Modelos surgieron como resultado de la actividad académica en Berkeley que tuvo lugar en esos años.

Dentro de los viajes de investigación que Henkin realizó 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 Reino Unido), y otras en Yugoslavia, España, Portugal y Francia. En 1979, con su segunda Beca Fulbright, Henkin pasó un año en Israel, en Haifa, en el Departamento de Educación Científica de la Universidad Technion. En esta ocasión visitó también dos universidades de Egipto. En 1982 visitó España por primera vez. Dio conferencias en varias universidades, incluidas las de Barcelona, Madrid y Sevilla.

Henkin tuvo un papel activo en la investigación y la enseñanza, pero sus actividades en la universidad fueron mucho más allá. Además de la dedicación que puso en su docencia y en la orientación del Grupo en Lógica y Metodología de la Ciencia, ocupó algunos cargos administrativos; fue director del Departamento de Matemáticas de 1966 a 1968, y posteriormente de 1983 a 1985. Una de las actividades a las que dedicó más energía fue la enseñanza de las matemáticas, sobre la que también realizó algunas investigaciones.

En algunas ocasiones Henkin acudió a los colegios de sus hijos para hablar con niños de primaria sobre matemáticas, hablándoles de "los números negativos", o & #34;cómo restar mediante suma". Por esa época (alrededor de 1960), Henkin comenzó a alternar su trabajo de investigación en matemáticas con el trabajo de investigación en la enseñanza de las matemáticas; esto último se hizo cada vez más frecuente.

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

Jubilación y muerte

Después de jubilarse, Henkin continuó trabajando en proyectos de enseñanza de matemáticas. A partir de 1991, participó en un programa de cursos de verano en Mills College destinado a brindar educación en matemáticas a mujeres talentosas de todo el país para prepararlas para la universidad. Finalmente, Ginette y Henkin se mudaron a Oakland, donde Henkin murió unos años después, en noviembre de 2006.

Siempre amable con sus alumnos y compañeros, a quienes invitaba frecuentemente a su casa para disfrutar de veladas con Ginette, es recordado como un brillante investigador, un docente comprometido con su disciplina y una persona solidaria con su comunidad.

Una de las frases que mejor capta el sentimiento expresado en diversos testimonios de sus alumnos es la de Douglas Hofstadter: "Me siento muy afortunado de haber sido su alumno de posgrado ya que aprendí de él mucho más que lógica. Es su humanidad la que conquistó mi corazón. Siempre deseo no ser menos amable con mis estudiantes de posgrado y no menos ansioso por seguir su crecimiento profesional después de la graduación que él conmigo.

Legado

Álgebra

El trabajo de Henkin en álgebra se centró en álgebras cilíndricas, un tema que investigó junto con Alfred Tarski y Donald Monk. El álgebra cilíndrica proporciona estructuras que son para la lógica de primer orden lo que el álgebra de Boole es para la lógica proposicional. Uno de los propósitos de Henkin y Tarski al promover la lógica algebraica fue atraer el interés de los matemáticos por la lógica, convencidos como estaban de que la lógica podría proporcionar principios unificadores a las matemáticas: "De hecho, iríamos tan lejos como para aventurarnos a una predicción de que a través de la investigación lógica pueden surgir importantes principios unificadores que ayudarán a dar coherencia a una matemática que a veces parece en peligro de volverse infinitamente divisible".

Según Monk, la investigación de Henkin sobre álgebra cilíndrica se puede dividir en las siguientes partes: teoría algebraica, teoría de conjuntos algebraica, teoremas de representación, construcciones algebraicas no representables y aplicaciones a la lógica.

Teoremas de completitud

En 1949 "La integridad del cálculo funcional de primer orden" fue publicado, así como "Completitud en la teoría de tipos" en 1950. Ambos presentaron parte de los resultados expuestos en la disertación "La completitud de los sistemas formales" con el que Henkin recibió su doctorado. Licenciado en Princeton en 1947. Uno de los resultados más conocidos de Henkin es el de la integridad de la lógica de primer orden, publicado en el artículo de 1949 antes mencionado, que aparece como el primer teorema de la disertación de 1947. Dice lo siguiente:

Cualquier juego S{displaystyle S. de sentencias L{displaystyle L. formalmente consistente en el sistema deductivo L{displaystyle L. es satisfecha por una estructura numerable M{displaystyle M}.

Did you mean:

This theorem is nowadays called the n#39;completeness theorem#39;, since from it the following easily follows:

Si S{displaystyle S. es un conjunto de oraciones L{displaystyle L. y φ φ {displaystyle phi } es consecuencia semántica de S{displaystyle S. ()S⊨ ⊨ φ φ ){displaystyle (Smodels phi)}, entonces φ φ {displaystyle phi } es deducible de S{displaystyle S. ()S⊢ ⊢ φ φ ){displaystyle (Svdash phi)}.

Esta es la versión fuerte del teorema de integridad, de la que se obtiene la versión débil como corolario. Este último declara el resultado del caso particular en que S{displaystyle S. es el conjunto vacío, es decir, el cálculo deductivo de la lógica de primer orden es capaz de conducir todas las fórmulas válidas. La versión débil, conocida como teorema de integridad de Gödel, había sido probada por Gödel en 1929, en su propia tesis doctoral. La prueba de Henkin es más general, más accesible que la de Gödel y más fácil de generalizar a los idiomas de cualquier cardenalidad. Se acerca a la integridad desde una perspectiva nueva y fructífera y su mayor calidad es tal vez que su prueba puede adaptarse fácilmente para demostrar la integridad de otros sistemas deductivos. Otros resultados centrales a la teoría modelo se obtienen como corolarios de la integridad fuerte de la lógica de primera orden demostrada por Henkin. De ello se deriva, por ejemplo, el siguiente resultado para un idioma de primer orden L{displaystyle L.:

Cada conjunto de fórmulas bien formadas de L{displaystyle L. que es satisfizo en un L{displaystyle L.La estructura es satisfecha en una estructura numeral infinita.

Did you mean:

This result is known as the "downwards#34; Löwenheim-Skolem theorem. One other result obtained from the completeness theorem is:

Un juego S{displaystyle S. de fórmulas bien formadas de L{displaystyle L. tiene un modelo si y sólo si cada subconjunto finito de él tiene un modelo.

Este último es conocido como el "teorema de la compactidad" de la lógica de primer orden, que también se puede decir como: "Cualquier conjunto de fórmulas bien formadas de L{displaystyle L. que es finitamente satisfible es satisfible". Esto es decir, si para cada uno de los subconjuntos finitos de Δ Δ {displaystyle Delta } hay una estructura en la que todas sus fórmulas son verdaderas, entonces también hay una estructura en la que todas las fórmulas de Δ Δ {displaystyle Delta } son verdad. Se conoce como "teorema de la compactidad" porque corresponde a la compactidad de un determinado espacio topológico, definido a partir de nociones semánticas.

Entre los otros teoremas de completitud dados por Henkin, el más relevante es quizás el de completitud de la Teoría de tipos de Church, que es el primero de los teoremas de completitud que Henkin demostró. Luego, adaptó el método desarrollado en esa prueba para demostrar la integridad de otros sistemas deductivos. Este método se ha seguido utilizando para dar pruebas de completitud tanto en lógica clásica como no clásica, y se ha convertido en la prueba habitual de completitud para la lógica de primer orden en los libros de texto de Lógica. Cuando Henkin publicó este resultado en 1949, la exhaustividad ni siquiera formaba parte de los temas canónicos cubiertos por los libros de texto; Unos veinte años más tarde, este teorema, junto con su demostración y corolarios, formaba parte de prácticamente todos los libros de texto de Lógica. En cuanto a la lógica no clásica, el método de Henkin se puede utilizar, entre otras cosas, para extender la integridad de la lógica difusa desde el primer orden hasta el orden superior, produciendo una teoría de tipos difusos completa; también ofrece una manera de obtener resultados que vinculen la lógica clásica con la lógica intuicionista; y permite probar resultados de completitud en otras lógicas no clásicas, como en los casos de la teoría de tipos híbridos y la teoría de tipos proposicionales híbridos ecuacionales.

El descubrimiento de los teoremas de completitud

A pesar de ser uno de sus resultados más conocidos, Henkin llegó a la prueba de la integridad de la lógica de primer orden "accidentalmente", tratando de demostrar un resultado completamente diferente. El orden de publicación de sus artículos e incluso el orden de presentación de los teoremas en su disertación de 1947 no reflejan la evolución que siguieron las ideas que lo llevaron a sus resultados completos. Sin embargo, Henkin simplifica la difícil tarea de rastrear el desarrollo y la configuración de sus ideas en su artículo "El descubrimiento de mis pruebas de integridad", publicado en 1996. En él, describe el proceso de desarrollo de su tesis. No sólo explica el contenido de su trabajo, sino que también explica las ideas que lo llevaron, desde sus primeros cursos de lógica en la universidad hasta el final de la redacción de su tesis.

Al final de la guerra, Henkin regresó a Princeton para completar sus estudios de doctorado, para los cuales aún tenía que escribir una tesis que contenía una investigación original. Tan pronto como llegó a Princeton, asistió al curso de lógica de Church que había comenzado un mes antes y que trataba sobre la teoría de Frege sobre el "sentido y la referencia". Motivado por las ideas de Frege, Church quiso ponerlas en práctica a través de una teoría axiomática formal. Para ello, tomó la sencilla Teoría de tipos que había publicado unos años antes y le proporcionó una jerarquía de tipos, inspirada en la idea de "sentido" de la teoría. expuesto por Frege. Fue en este curso que Henkin se familiarizó con la Teoría de tipos de Church, que encontró de gran interés. Inmediatamente hizo una conjetura al respecto, cuya prueba esperaba que pudiera convertirse en su tesis doctoral.

Uno de los atributos que llamaron la atención de Henkin a la Teoría de Tipos de la Iglesia era que la λ λ {displaystyle lambda }- El operador permitió nombrar muchos objetos en la jerarquía de tipo. Como él explica en "El descubrimiento de mis pruebas de integridad", se propuso averiguar qué elementos tenían nombres en esta teoría. Comenzó explorando los elementos que fueron nombrados en los dos dominios en la base de la jerarquía tipo. Se llevó. N{displaystyle mathbb {N} como el universo de los individuos, y agregó una constante para cada número 0{displaystyle 0} y la función sucesora s{displaystyle s}, de modo que cada elemento en el dominio fue nombrado desde 0{displaystyle 0} y sucesos repetidos de s{displaystyle s}. Subiendo a través de la jerarquía, trató de especificar qué funciones sobre esos elementos eran nombrables. El conjunto de ellos era supernumerable, por lo que tenía que haber algunos sin un nombre, ya que sólo hay un número numeral de expresiones. ¿Cómo se puede decir cuáles elementos son los que se llaman? Para hacer que cada expresión corresponda al elemento que denotaba, necesitaba una función de elección, en cuya búsqueda Henkin invirtió muchos esfuerzos. Finalmente, se dio cuenta de que por medio del cálculo deductivo podría formar clases de equivalencia de expresiones cuya igualdad podría derivarse del cálculo, y formar con estas clases un modelo isomorfo a la nueva jerarquía de tipos formados por los elementos nombrados. Había estado centrándose en las interpretaciones del lenguaje formal, cuando la clave para resolver el problema mintió en el sistema deductivo. Quedaba para hacer el universo de los objetos nombrados por las proposiciones un conjunto de dos elementos: los valores de la verdad. Esto podría lograrse ampliando los axiomas para formar un conjunto máximo consistente. Una vez logrado esto, podría probarse que cada conjunto consistente de fórmulas T{displaystyle T} tiene un modelo que satisface exactamente las fórmulas de T{displaystyle T} –los elementos de tal modelo son las clases de equivalencia de las expresiones mismas–. Es decir, habría logrado dar una prueba de la integridad del cálculo deductivo.

El mismo método utilizado para demostrar la integridad de la teoría de tipos de Church podría adaptarse fácilmente para dar una prueba de la integridad (fuerte) de la lógica de primer orden y de otras que siguieron más adelante. Las ideas sobre los elementos nombrables en la jerarquía de tipos subyacentes al descubrimiento de las pruebas de completitud de Henkin condujeron a la exitosa introducción de una nueva semántica, llamada semántica general, que se basan en modelos generales (o modelos de Henkin).

Método de Henkin

Henkin's method to give the completeness proofs consists on building a certain model: it starts with a set of formulas Δ Δ {displaystyle Delta }, de los cuales se asume la consistencia. Luego se construye un modelo, que satisface exactamente las fórmulas de Δ Δ {displaystyle Delta }. La idea de Henkin de construir un modelo adecuado se basa en la obtención de una descripción suficientemente detallada de este modelo utilizando las oraciones del lenguaje formal, y para establecer qué objetos podrían ser los elementos de dicho modelo. Si fuera conocido, por cada fórmula del lenguaje Δ Δ {displaystyle Delta }, si fuera satisfecho o no por el modelo, tendríamos una descripción completa del modelo que permitiría su construcción. Esto es exactamente lo que se está buscando: un conjunto de oraciones .. {displaystyle "Gamma" que contiene Δ Δ {displaystyle Delta } para lo cual sostiene que cada frase del idioma o su negación pertenece a Gamma. En el caso de la lógica de primer orden se requiere una cosa más: que el conjunto .. {displaystyle "Gamma" ser ejemplar, esto es, para toda fórmula existencial hay una constante que actúa como testigo de ella. Por otra parte, dado que la naturaleza de los objetos que componen el universo del modelo es irrelevante, no surge objeción alguna contra tomar como individuos los términos del propio lenguaje –o clases de equivalencia de ellos–.

El primer paso que debe tomarse es extender el lenguaje de Δ Δ {displaystyle Delta } añadir una colección infinita de nuevas constantes individuales, y luego ordenar las fórmulas del lenguaje (que son infinitas). Una vez hecho esto, el objetivo es construir inductivamente una cadena infinita de conjuntos consistentes y ejemplares: empezamos desde Δ Δ {displaystyle Delta }, añadiendo sistemáticamente a este conjunto cada fórmula que no hace que el conjunto resultante sea inconsistente, añadiendo también ejemplos de las fórmulas existenciales. Así se construye una cadena infinita de conjuntos consistentes y ejemplares, cuya unión es un conjunto máximo consistente y ejemplar; este será el conjunto requerido .. {displaystyle "Gamma".

Habiendo logrado construir este conjunto máximo consistente y ejemplar, el modelo descrito por él puede ser construido. ¿Qué individuos constituyen el universo del modelo? En el caso de la lógica de primer orden sin igualdad, los elementos del dominio serán los términos del lenguaje formal. Para construir las funciones y relaciones del modelo seguimos a fondo lo que .. {displaystyle "Gamma" dicta: si el idioma contiene un n{displaystyle n}-relator R{displaystyle R., su interpretación en el modelo será una relación formada por todos los n{displaystyle n}-tuples de términos en el universo del modelo tal que la fórmula que dice que están relacionados pertenece a .. {displaystyle "Gamma". Si el idioma incluye la igualdad, el dominio del modelo son clases de equivalencia de los términos del idioma en su lugar. La relación de equivalencia se establece por las fórmulas del conjunto máximo consistente: dos términos son iguales si hay en .. {displaystyle "Gamma" una fórmula declarando que lo son.

Did you mean:

Summarizing, the demonstration in the case of an enumerable language has two parts:

1. Extender el conjunto Δ Δ {displaystyle Delta } a un conjunto máximo consistente y ejemplar.
2. Construyendo el modelo descrito por las fórmulas de este conjunto utilizando los términos del lenguaje –o sus clases de equivalencia– como objetos del universo del modelo.

Modelos generales

La simple Teoría de Tipos, con la λ λ {displaystyle lambda }-calculus y la semántica estándar es suficientemente rica para expresar aritmética categóricamente, desde donde sigue, por el teorema de la incompleta de Gödel, que es incompleta. Tras la idea de identificar los elementos namables en la jerarquía de tipos, Henkin propuso un cambio en la interpretación del idioma, aceptando como tipos jerárquicas algunos que anteriormente no fueron admitidos. Si se le preguntó desde cada nivel de la jerarquía no que debe haber todas las funciones correspondientes, sino sólo aquellas que son definibles, entonces se obtiene una nueva semántica, y con ella una nueva lógica. La semántica resultante se conoce como semántica general. En él las estructuras que son admisibles como modelos son aquellas conocidas como 'modelos generales'. Estos pueden utilizarse no sólo en la Teoría de Tipo, sino también, por ejemplo, para obtener lógicas completas (y compactas) de orden superior.

La obtención de lógicas completas de orden superior mediante el uso de la semántica general logra el equilibrio esperado entre el poder expresivo de una lógica y el poder de su cálculo deductivo. En lógica de segundo orden con semántica estándar se sabe que cuantificar variables predicativas confiere al lenguaje un inmenso poder expresivo, a cambio de lo cual se pierde el poder del cálculo deductivo: este último no es suficiente para producir el extenso conjunto de fórmulas válidas de esta lógica (con semántica estándar). Cambiar el cálculo no resuelve nada, ya que el teorema de incompletitud de Gödel asegura que ningún cálculo deductivo podría alcanzar la completitud. Por el contrario, al cambiar la semántica, es decir, al cambiar los conjuntos que forman los universos en los que se interpretan las variables y constantes predicativas, la lógica resulta completa, a costa de perder capacidad expresiva.

En lógica de segundo orden el conjunto de fórmulas válidas es tan grande porque el concepto de estructura estándar es demasiado restrictivo y no hay suficientes para encontrar modelos que refuten las fórmulas. Al relajar las condiciones que pedimos a las estructuras sobre las que se interpreta el lenguaje, hay más modelos en los que las fórmulas deben ser verdaderas para ser válidas y por tanto se reduce el conjunto de fórmulas válidas; lo hace de tal manera que coincide con el conjunto producido por un cálculo deductivo, dando lugar a la completitud.

Hacia una traducción entre lógicas

Una de las áreas en las que las bases sentadas por el trabajo de Henkin han resultado fructíferas es en la búsqueda de una lógica que funcione como un marco común para la traducción entre lógicas. Este marco está destinado a ser utilizado como una herramienta metalógica; su propósito no es elegir "una lógica" por encima de los demás, lo que suprimiría la riqueza que aporta la diversidad de ellos, sino proporcionar el contexto adecuado para contrastarlos, comprenderlos y así aprovechar al máximo las cualidades de cada uno.

Una investigación que lleva las ideas de Henkin en esta dirección es la de María Manzano, una de sus alumnas, cuya propuesta es utilizar la Lógica Multiordenada como marco común para la traducción de lógicas. Los objetivos de esta propuesta se pueden sintetizar en dos: 1) utilizar un único cálculo deductivo para todos ellos; y 2) utilizar las metapropiedades de la lógica multiclasificada para probar más fácilmente las metapropiedades de otras lógicas. Además, contar con un marco lógico es útil para comparar diferentes lógicas comparando las teorías que las representan. Aunque Henkin no habla de traducción de fórmulas, ni hace explícito un lenguaje multiordenado o cálculo, las ideas que utiliza en dos de sus artículos sirven como base para el enfoque de la traducción: "Completitud en la teoría de tipos" y "Desterrar la regla de sustitución de variables funcionales".

Inducción Matemática

El tema de la inducción matemática fue abordado frecuentemente en las actividades de Henkin sobre la enseñanza. Probablemente su experiencia en este campo fue el resultado de su artículo "En la inducción matemática". Este era el artículo favorito de Henkin, del cual incluso escribió que lo consideraba su mejor artículo expositivo. En él definió Peano Modelos como aquellos que cumplen los tres Axiomas e Inducción de Peano como los que satisfacen al tercero de ellos: el axioma de inducción. Demostró que aunque todas las operaciones recursivas pueden introducirse en los modelos Peano, este no es el caso en los Modelos de Inducción. En concreto, existen modelos de inducción en los que no se puede definir la operación de exponente. En este artículo, Henkin también presenta la estructura matemática que los modelos de Inducción pueden tener, que es bastante simple: pueden ser el modelo estándar, es decir, isomorfo a los números naturales, o de dos maneras más; isomorfo a ciclos – que corresponden a los Z{displaystyle mathbb {Z} módulo enteros n{displaystyle n}; o isomorfosicn a lo que Henkin llamó "spoons", que es una combinación de una lista finita seguida de un ciclo.

Posición filosófica

De los artículos publicados por Henkin, el más filosófico es "Algunas notas sobre el nominalismo", que escribió en respuesta a dos artículos sobre el nominalismo, uno de Quine y el otro escrito conjuntamente por Quine y Goodman. Las discusiones relevantes a esta doctrina filosófica surgen naturalmente en las pruebas de completitud dadas por Henkin, así como en su propuesta de un cambio en la semántica a través de modelos generales. Tanto por el contenido de sus obras como por sus propias declaraciones se considera que su postura era nominalista.

Enseñanza

La actividad de Henkin como profesor universitario fue vigorosa. Enseñó en todos los niveles, poniendo el mismo cuidado y dedicación en cada uno de ellos. Algunos de los cursos que impartió estuvieron directamente relacionados con su área de investigación, como "Lógica Matemática", "Metamatemáticas" o "Álgebra Cilíndrica", pero otros se extendieron a una gran diversidad de áreas, incluyendo, entre otros, "Fundamentos de Geometría&# 34;, "Álgebra y trigonometría", "Matemáticas finitas", "Cálculo con análisis Geometría" o "Conceptos matemáticos para profesores de educación primaria". Sus alumnos coinciden en que sus explicaciones fueron sumamente claras y captaron la atención del oyente. En palabras de uno de sus alumnos, "parte de su magia era su elegante expresión de las matemáticas, pero también trabajó duro para involucrar a su audiencia en conjeturas y viendo el siguiente paso o sorprendiéndose por él".. Sin duda capturó el interés de su público."

Uno de los aspectos de sus conferencias en el que puso especial cuidado fue en encontrar un ritmo adecuado, ante el constante dilema de cómo encontrar la velocidad óptima para el aprendizaje. Consideró importante que los alumnos pudieran seguir el ritmo de la clase, aunque esto implicara que a algunos les resultara lenta, podían continuar a su propio ritmo con las lecturas. Sin embargo, también consideraba que lo que se aprende fácilmente se olvida fácilmente, por lo que buscó un equilibrio entre hacer sus clases accesibles y desafiantes para los estudiantes, para que estos hicieran el esfuerzo de aprender más profundamente. Sobre su propia experiencia como estudiante, comentó en una entrevista: "Esa manera fácil en que surgían las ideas hacía que fuera demasiado fácil olvidarlas. Probablemente aprendí material más densamente condensado en lo que llamamos el "seminario para bebés sobre topología conjuntiva", dirigido por Arthure Stone. Aprendí más porque nos obligó a hacer todo el trabajo."

Además de sus cursos y supervisión de estudiantes de posgrado, el papel de Henkin en la educación de los académicos fue significativo. Tarski lo había invitado a Berkeley con un propósito claro. Como matemático, Henkin tuvo un papel clave en el proyecto de Tarski de hacer de Berkeley un centro de desarrollo de la lógica, reuniendo a matemáticos, lógicos y filósofos. Henkin lo ayudó a llevar a cabo el proyecto, ayudándolo en la creación del Grupo interdisciplinario en Lógica y Metodología de la Ciencia, cuyo exitoso desempeño se debió en gran medida al impulso de Henkin. Parte de este proyecto fue la creación de un programa universitario interdisciplinario que culminó con un doctorado. en "Lógica, Metodología y Filosofía de la Ciencia". También colaboró en la organización de importantes encuentros y congresos que promovieron la colaboración interdisciplinar unida por la lógica. El resultado fue que en las décadas de 1950 y 1960 hubo un vibrante desarrollo de la lógica en Berkeley, del que surgieron muchos avances en la teoría de modelos.

Aunque el primer encuentro de Henkin con la enseñanza de las matemáticas fue como profesor, más adelante en su vida comenzó a investigar en matemáticas. enseñanza también. Algunos de sus escritos en este campo son: "Retracing Elementary Mathematics", "Nuevas direcciones en matemáticas de la escuela secundaria" o "Los roles de la acción y del pensamiento en la educación matemática". A partir de 1979 puso especial énfasis en esta faceta de su investigación y las últimas tesis doctorales que dirigió están relacionadas con la enseñanza de las matemáticas o la integración de grupos minoritarios en la investigación.

A Henkin le gustaba escribir artículos expositivos, por algunos de los cuales recibió premios como el Premio Chauvenet (1964), por el artículo "¿Are Logic and Mathematics Identical? " o el Premio Lester R. Ford, por el artículo "Mathematical Foundations of Mathematics".

Proyectos sociales

A lo largo de su vida, Leon Henkin mostró un profundo compromiso con la sociedad y a menudo fue llamado un activista social. Muchos de sus proyectos de enseñanza de las matemáticas buscaron acercar las matemáticas y áreas afines a grupos minoritarios o socialmente desfavorecidos. Era consciente de que somos parte de la historia y del contexto que nos rodea, como registra uno de sus escritos:

"Cuevas de historia lavan sobre nuestra nación, revolviendo nuestra sociedad y nuestras instituciones. Pronto vemos cambios en la forma en que todos nosotros hacemos cosas, incluyendo nuestras matemáticas y nuestra enseñanza. Estos cambios se forman en rivulets y arroyos que se fusionan en varios ángulos con los que surgen en partes de nuestra sociedad bastante diferentes de la educación, las matemáticas o la ciencia. Se forman ríos, aportando corrientes poderosas que producirán futuras olas de la historia.La Gran Depresión y la Segunda Guerra Mundial formaron el fondo de mis años de estudio; la Guerra Fría y el Movimiento de los Derechos Civiles fueron el telón de fondo en el que empecé mi carrera como matemático de investigación, y más tarde comenzó a involucrarme con la educación matemática."

Henkin estaba convencido de que se podían lograr cambios a través de la educación y, fiel a su idea, se comprometió tanto con programas de educación matemática elemental como con programas cuyo objetivo fuera combatir la exclusión. Mostró un compromiso político con la sociedad, defendiendo ideas progresistas. Inspiró a muchos de sus estudiantes a involucrarse en la educación matemática. Diane Resek, una de sus estudiantes con afinidad por la enseñanza, lo describió de la siguiente manera:

"Leon se comprometió a trabajar en favor de la equidad en la sociedad. Fue capaz de ver que los matemáticos profesionales podían hacer una diferencia, en particular en lo que respecta a las desigualdades raciales en los Estados Unidos. Fue uno de los primeros en decir que una cosa que retiene a las minorías raciales y a las personas más pobres en América es su baja tasa de participación en las carreras de matemáticas y ciencias. Él creía que había maneras de enseñar y nuevos programas que podrían corregir este problema."

Consciente de los aportes que los matemáticos podrían hacer a través de la enseñanza, Henkin defendió que la enseñanza debe ser valorada en el ambiente académico, como expresó en una carta personal: "En estos tiempos en que nuestros Ph.D. en matemáticas tradicionalmente formados Aunque los doctores se encuentran con dificultades en el mercado, me parece que nosotros, los profesores, deberíamos buscar especialmente nuevos ámbitos en los que la formación en matemáticas pueda hacer una contribución sustancial a los objetivos básicos de la sociedad."

Algunos de los proyectos sociales que formó o participó son los siguientes. Entre 1957 y 1959 formó parte de los Institutos de Verano, dirigidos a profesores de matemáticas y dedicados a mejorar la educación secundaria y universitaria. En 1958 la National Science Foundation autorizó al comité de la American Mathematical Society –que se había interesado desde hacía algunos años en el uso de películas y material visual para la educación matemática– a producir películas experimentales con este fin, acompañadas de manuales impresos con apéndices que profundizar en los contenidos y problemas a resolver. Henkin participó en este proyecto con una película sobre inducción matemática, cuyo manual complementario fue impreso por la American Mathematical Society. La película fue transmitida en la serie "Mathematics Today". Entre 1961 y 1964 participó en una serie de cursos para profesores de educación primaria, organizados por la Comisión del Programa de Licenciatura en Matemáticas. También por esa época impulsó la iniciativa Actividades para Ampliar Oportunidades, que buscaba brindar oportunidades a estudiantes prometedores de grupos étnicos minoritarios ofreciéndoles cursos de verano y becas. Participó en el programa SEED (Educación Primaria Especial para Desfavorecidos), que incentivó a estudiantes universitarios a participar en la educación primaria, así como en SESAME (Excelencia Especial en Educación Científica y Matemática), el programa de doctorado interdisciplinario creado por miembros de varios departamentos de ciencias, cuyo propósito era investigar la enseñanza y el aprendizaje de las ciencias, la ingeniería y las matemáticas. Entre 1960 y 1968 participó en una serie de conferencias en escuelas de matemáticas, y estuvo involucrado en el desarrollo de varias películas producidas por el Consejo Nacional de Profesores de Matemáticas (NCTM). Estas películas trataron temas como el sistema de números enteros y el sistema de números racionales. También participó en cursos de apoyo para estudiantes de cálculo y convenció al departamento de matemáticas para que permitiera a los estudiantes de posgrado recibir el mismo apoyo financiero para trabajar como profesores de escuela primaria que para trabajar como profesores asistentes en la universidad. "No sólo creía en la igualdad, sino que también trabajó activamente para lograrla."

Henkin's main articles

• Henkin, L. (1949). La integridad del cálculo funcional de primer orden. The Journal of Symbolic Logic, 14(3), 159-166.
• Henkin, L. (1950). La integridad en la teoría de los tipos. The Journal of Symbolic Logic, 15 2), 81-91.
• Henkin, L. (1953). Desterrar el Estado de sustitución de variables funcionales. The Journal of Symbolic Logic, 18(3), 201-208.
• Henkin, L. (1953). Algunas interconexiones entre el álgebra moderna y la lógica matemática. Transacciones de la Sociedad Americana de Matemáticas, 74, 410-427.
• Henkin, L. (1953). Algunas notas sobre el nominalismo, The Journal of Symbolic Logic, 18(1), 19-29.
• Henkin, L. (1954) Una generalización del concepto de $omega$-consistencia. The Journal of Symbolic Logic. 19 3), 183-196.
• Henkin, L. (1955) La interpretación nominalista del lenguaje matemático. Boletín de la Sociedad Matemática Belga. 7, 137-141.
• Henkin, L. (1955) El teorema de representación para álgebras cilíndricas. En Skolem, Th., Hasenjaeger, G., Kreisel, G., Robinson, A. (Eds.) Interpretación matemática de sistemas formales, págs. 85 a 97.
• Henkin, L. (1957) Una generalización del concepto de -complesión. The Journal of Symbolic Logic22 1), 1-14.
• Henkin, L. (1960). En la inducción matemática. American Mathematical Monthly. 67(4), 323-338.
• Henkin, L. (1961). Inducción matemática. En MAA Film Manual No.1 La Asociación Matemática de América, Universidad de Buffalo, Nueva York.
• Henkin, L., Tarski, A. (1961) Álgebras cilíndricas. En Dilworth, R.P. (Ed.) Teoría de Lattice. Proceedings of Symposia in Pure Mathematics. American Mathematical Society, 2, 83-113.
• Henkin, L. Smith, W. N., Varineau, V. J., Walsh, M. J. (1962) Retracing Elementary Mathematics. Macmillan, Nueva York.
• Henkin, L. (1962). ¿La lógica y las matemáticas son idénticas?, Ciencia, vol.138, 788-794.
• Henkin, L. (1963). Nuevas direcciones en matemáticas secundarias. En Ritchie, R. W. (Ed.) Nuevas direcciones en matemáticas, 1-6. Prentice Hall, Nueva York.
• Henkin, L. (1963). Una extensión del teorema de Interpolación Craig-Lyndon. The Journal of Symbolic Logic. 28 3), 201-216.
• Henkin, L. (1963). Una teoría de tipos proposicionales. Fundamenta mathematicae52, 323-344.
• Henkin, L. (1971). Fundaciones matemáticas para las matemáticas. American Mathematical Monthly. 78(5), 463-487.
• Henkin, L. (1975). Identidad como un primitivo lógico. Filosofía 5, 31-45.
• Henkin, L. (1977). La lógica de la igualdad.American Mathematical Monthly. 84(8), 597-612.
• Henkin, L. (1995). Los papeles de la acción y del pensamiento en la educación matemática – el pasaje de un matemático. Fisher, N.D., Keynes, H.B., Wagreich, Ph.D. (Eds.), Cambio de la Cultura: Educación Matemática en la Comunidad de Investigación, CBMS Issues in Mathematics Education, vol. 5, págs. 3 a 16. American Mathematical Society en cooperación con Mathematical Association of America, Providence.
• Henkin, L. (1996). El descubrimiento de mis pruebas de integridad, Boletín simbólico, vol. 2(2), 127-158.

Premios recibidos

• 1964 — El Premio Chauvenet, Asociación Matemática de América otorga al autor un artículo expositivo sobre un tema matemático por parte de un miembro de la Asociación.
• 1972 — Premio Lester R. Ford — para fundaciones matemáticas, American Mathematical Monthly 78 (1971), 463-487.
• 1990 Primer receptor del Premio Gung y Hu al Servicio Distinguido a Matemáticas.
• 1991 — Berkeley Citation — el más alto honor/award otorgado por la Universidad de California.
• 2000 — Leon Henkin Citación — para el Servicio Distinguido, que se presenta a un (UC) profesorado para "el compromiso exclusivo con el desarrollo educativo de estudiantes de grupos que están insuficientemente representados en la academia".