Adolf Lindenbaum

Adolf Lindenbaum
Información personal
Nacimiento	12 de junio de 1904 Varsovia, Imperio ruso
Fallecimiento	1941 Białystok (Alemania nazi)
Causa de muerte	Asesinato masivo
Nacionalidad	polaca
Familia
Cónyuge	Janina Hosiasson-Lindenbaum
Educación
Educado en	Universidad de Varsovia
Supervisor doctoral	Wacław Sierpiński
Información profesional
Ocupación	matemático, lógico
Área	lógica matemática, teoría de conjuntos, topología, metamatemática
Conocido por	lema de Lindenbaum; álgebra de Lindenbaum-Tarski
Empleador	Universidad de Varsovia
Obras notables	Álgebra de Lindenbaum-Tarski Lema de Lindenbaum
Partido político	Partido Comunista de Polonia (1935-1938)
[editar datos en Wikidata]

Adolf Lindenbaum (Varsovia, Imperio ruso, 12 de junio de 1904 - 1941) fue un matemático y lógico polaco, vinculado a la Escuela de Leópolis-Varsovia y a la Escuela Matemática de Varsovia. Trabajó en topología, teoría de conjuntos, lógica matemática, metamatemática y fundamentos de las matemáticas. Es conocido principalmente por el lema de Lindenbaum, el método de construcción de matrices lógicas y las llamadas álgebras de Lindenbaum-Tarski.

Trayectoria académica

Lindenbaum nació en Varsovia en una familia judía polaca. Fue hijo de Mowsza Henoch Lindenbaum y Emilja Krykus. Estudió en el gimnazjum de Rocha Kowalski y después en el gimnazjum de Michał Kreczmar, donde obtuvo la matura en 1922. Ese mismo año ingresó en la Universidad de Varsovia para estudiar Matemáticas.

En la Universidad de Varsovia tuvo como profesores, entre otros, a Wacław Sierpiński, Stefan Mazurkiewicz, Kazimierz Kuratowski, Jan Łukasiewicz, Stanisław Leśniewski, Tadeusz Kotarbiński y Alfred Tarski. Su tesis doctoral, dirigida por Sierpiński, se tituló O własnościach metrycznych mnogości punktowych («Sobre las propiedades métricas de los conjuntos de puntos») y fue defendida el 22 de junio de 1928.

En 1934 obtuvo la habilitación en la Facultad de Matemáticas y Ciencias Naturales de la Universidad de Varsovia. Desde 1935 trabajó como adiunkt en el Seminario Filosófico de esa facultad, dirigido por Łukasiewicz, donde impartió cursos sobre teoría de conjuntos, teoría de la medida, álgebra moderna, fundamentos de la matemática y metrología.

Fue miembro de la Sociedad Matemática Polaca desde 1926 y participó en sus congresos de Leópolis, Vilna y Varsovia. En 1936 fue uno de los cofundadores de la Sociedad Lógica Polaca, actual Sociedad Polaca de Lógica y Filosofía de la Ciencia. En su reunión inaugural, Łukasiewicz fue elegido presidente, Tarski vicepresidente y Lindenbaum formó parte de su dirección.

Durante la Segunda Guerra Mundial trabajó en el Instituto Pedagógico de Białystok. Fue asesinado en algún momento de 1941 en territorio ocupado por la Alemania nazi. Las reconstrucciones biográficas difieren sobre el lugar exacto de su muerte. Las fuentes mencionan Białystok, Paneriai o el área de Naujoji Vilnia.

Obra y pensamiento

La producción de Lindenbaum se desarrolló en el contexto de la lógica y las matemáticas polacas de entreguerras. Jan Woleński lo sitúa dentro de la tradición de la Escuela Matemática Polaca, caracterizada por el uso de métodos matemáticos generales, sin limitarse a una posición filosófica específica sobre los fundamentos de las matemáticas.

Uno de sus resultados más influyentes es el lema de Lindenbaum o teorema de maximalización. Siguiendo la metodología de sistemas deductivos de Tarski, este establece que si ${\displaystyle X}$ es un conjunto ${\displaystyle Cn}$-consistente de oraciones de un lenguaje ${\displaystyle S}$, entonces existe un conjunto ${\displaystyle Y}$ tal que ${\displaystyle X\subseteq Y\subseteq S}$, donde ${\displaystyle Y}$ es ${\displaystyle Cn}$-consistente y ${\displaystyle Cn}$-completo. Así, toda teoría consistente puede extenderse a una teoría maximal consistente y completa, bajo condiciones lógicas adecuadas.

Su nombre también está asociado a las álgebras de Lindenbaum-Tarski. La idea consiste en construir estructuras algebraicas a partir de las fórmulas de un cálculo proposicional, consideradas no individualmente sino por clases de equivalencia bajo una relación de equivalencia lógica o interdeducibilidad. Este procedimiento se convirtió en un recurso central para la algebraización de la lógica.

En teoría de conjuntos, Lindenbaum colaboró estrechamente con Alfred Tarski. En «Communication sur les recherches de la théorie des ensembles» (1926), ambos presentaron resultados sobre teoría general de conjuntos y aritmética de ordinales transfinitos. Varios de esos resultados procedían de investigaciones de Lindenbaum y Tarski sobre correspondencias biunívocas.

En topología y espacios métricos, su trabajo inicial «Contributions à l’étude de l’espace métrique. Partie I» (1926) examinó propiedades de los espacios métricos en una etapa temprana de desarrollo de esa teoría. Lindenbaum observó que, para una función real ${\displaystyle \rho }$ sobre ${\displaystyle M\times M}$, basta exigir las condiciones ${\displaystyle \rho (x,y)=0}$ si y solo si ${\displaystyle x=y}$, y ${\displaystyle \rho (x,y)+\rho (x,z)\geq \rho (y,z)}$ para derivar tanto la simetría como la no negatividad usuales de una métrica.

Junto con Tarski, Lindenbaum publicó en 1936 «Über die Beschränktheit der Ausdrucksmittel deduktiver Theorien», un artículo sobre las limitaciones expresivas de las teorías deductivas. Ese trabajo anticipó aspectos de la posterior caracterización tarskiana de las nociones lógicas como invariantes bajo transformaciones biunívocas del dominio.

En 1938 publicó con Andrzej Mostowski «Über die Unabhängigkeit des Auswahlaxioms und einiger seiner Folgerungen», dedicado a la independencia del axioma de elección y algunas de sus consecuencias.

Recepción e influencia

Aunque su producción publicada fue breve, Lindenbaum tuvo una influencia sostenida en lógica matemática. Parte de sus resultados circularon como resultados no publicados, anunciados o usados por Tarski y otros miembros de la Escuela Matemática de Varsovia. Jean-Yves Beziau incluyó el teorema de maximalización de Lindenbaum entre los teoremas fundamentales de la lógica moderna. Junto con el propio Tarski, fue una de las figuras más relevantes de la lógica polaca de entreguerras y sus contribuciones incluyen vastas áreas de la teoría de conjuntos, el cálculo proposicional, matrices lógicas, así como resultados más focales como el lema de Lindenbaum y el álgebra de Lindenbaum-Tarski.

Publicaciones seleccionadas

Lindenbaum no publicó libros de autoría propia ni volúmenes editados. Su producción conservada consiste solo en artículos, comunicaciones, notas, reseñas y conferencias públicas. Con Tarski proyectó un libro titulado Theorie der eineinendeutigen Abbildungen, anunciado para la colección Monografie Matematyczne, pero la obra no llegó a publicarse.

Véase también

• Álgebra de Lindenbaum-Tarski
• Lógica matemática
• Metamatemática
• Teoría de conjuntos
• Alfred Tarski
• Jan Łukasiewicz
• Escuela de Leópolis-Varsovia

Referencias

Bibliografía

• Béziau, Jean-Yves (2014). «Preface: Scope of Logic Theorems. In Memoriam Adolf Lindenbaum». Logica Universalis (en inglés) 8 (3-4): 283-284. doi:10.1007/s11787-014-0109-1. 
• Béziau, Jean-Yves (2020). «The Mystery of the Fifth Logical Notion (Alice in the Wonderful Land of Logical Notions)». Studia Humana (en inglés) 9 (3-4): 19-36. doi:10.2478/sh-2020-0026. 
• Lindenbaum, Adolf (1926). «Contributions à l’étude de l’espace métrique. Partie I». Fundamenta Mathematicae (en francés) 8: 209-222. 
• Lindenbaum, Adolf; Tarski, Alfred (1926). «Communication sur les recherches de la théorie des ensembles». Sprawozdania z posiedzeń Towarzystwa Naukowego Warszawskiego, Wydział III Nauk Matematycznych i Przyrodniczych (en francés) 19: 299-330. 
• Lindenbaum, Adolf; Tarski, Alfred (1936). «Über die Beschränktheit der Ausdrucksmittel deduktiver Theorien». Ergebnisse eines mathematischen Kolloquiums (en alemán) 7: 15-22. 
• Lindenbaum, Adolf; Mostowski, Andrzej (1938). «Über die Unabhängigkeit des Auswahlaxioms und einiger seiner Folgerungen». Sprawozdania z posiedzeń Towarzystwa Naukowego Warszawskiego, Wydział III Nauk Matematyczno-Fizycznych (en alemán) 31: 27-32. 
• O’Connor, John J.; Robertson, Edmund F. (2017). «Adolf Lindenbaum». MacTutor History of Mathematics archive (en inglés). University of St Andrews. Consultado el 19 de junio de 2026. 
• Purdy, Robert; Zygmunt, Jan (2018). «Adolf Lindenbaum, Metric Spaces and Decompositions». En Ángel Garrido; Urszula Wybraniec-Skardowska, ed. The Lvov-Warsaw School. Past and Present. Studies in Universal Logic (en inglés). Cham: Birkhäuser. pp. 505-550. doi:10.1007/978-3-319-65430-0_36. 
• Tarski, Alfred (1986). «What are Logical Notions?». En John Corcoran, ed. History and Philosophy of Logic (en inglés) 7 (2): 143-154. doi:10.1080/01445348608837096. 
• Woleński, Jan. «Adolf Lindenbaum (1904-1941)». Internet Encyclopedia of Philosophy (en inglés). Consultado el 19 de junio de 2026. 
• Woleński, Jan (2018). «Mathematical Logic in Poland 1918-1939». Antiquitates Mathematicae (en inglés) 12 (1): 99-109. doi:10.14708/am.v12i0.6411. 
• Zygmunt, Jan; Purdy, Robert (2014). «Adolf Lindenbaum: Notes on his Life, with Bibliography and Selected References». Logica Universalis (en inglés) 8 (3-4): 285-320. doi:10.1007/s11787-014-0108-2. 

Enlaces externos

• Adolf Lindenbaum en la Internet Encyclopedia of Philosophy.
• Adolf Lindenbaum en MacTutor History of Mathematics archive.
• «Adolf Lindenbaum: Notes on his Life, with Bibliography and Selected References» en Logica Universalis.