Adolf Lindenbaum
1904–1941 · matemático y lógico polaco
Adolf Lindenbaum fue un matemático y lógico polaco, nacido en Varsovia en 1904 y asesinado en 1941. Formó parte de la Escuela de Leópolis-Varsovia y de la Escuela Matemática de Varsovia. Su nombre quedó ligado a dos resultados que siguen presentes en la lógica moderna: el lema que lleva su apellido y las álgebras de Lindenbaum-Tarski.
Estudió en la Universidad de Varsovia, donde se doctoró en 1928 con Sierpiński y obtuvo la habilitación en 1934. Fue colaborador muy cercano de Tarski en el periodo de entreguerras y publicó sobre teoría de conjuntos, topología, medida y el axioma de elección.
Su aportación más conocida es el lema de Lindenbaum: todo conjunto consistente de oraciones puede ampliarse hasta un conjunto consistente y completo, de modo que cualquier teoría consistente admite una extensión maximal. Asociada a ello, la construcción de álgebras a partir de clases de fórmulas lógicamente equivalentes impulsó la algebraización de la lógica.
Durante la guerra trabajó en Białystok. Fue asesinado en 1941 en territorio ocupado; el lugar exacto es discutido, pues las fuentes mencionan Białystok, Paneriai o Naujoji Vilnia. Su legado perdura en la lógica matemática del siglo XX.
Ideas clave
- Lema de Lindenbaum: toda teoría consistente puede extenderse a una teoría maximal consistente y completa, bajo condiciones lógicas adecuadas.
- Álgebras de Lindenbaum-Tarski: estructuras algebraicas construidas a partir de clases de fórmulas equivalentes, base de la algebraización de la lógica.
- Teoría de conjuntos: trabajos con Tarski sobre correspondencias biunívocas y aritmética de ordinales transfinitos.
- Espacios métricos: caracterización de la métrica mediante condiciones mínimas sobre una función de distancia.
Curiosidades
Matrimonio con una lógica
Hacia finales de octubre o principios de noviembre de 1935 se casó con Janina Hosiasson, también lógica de la escuela de Leópolis-Varsovia.
Sociedad Lógica Polaca
En 1936 fue uno de los cofundadores de la Sociedad Lógica Polaca, en cuya reunión inaugural formó parte de la dirección junto a Łukasiewicz y Tarski.
Texto original de Filopedia a partir de Wikipedia (es) y Wikipedia (en) y Wikidata.