Adolf Lindenbaum

Adolf Lindenbaum Imagen en Infobox. Biografía
Nacimiento 12 de junio de 1904
Varsovia
Muerte Septiembre de 1941 o 1942
Paneriai
Nacionalidad Segunda República de Polonia
Capacitación Universidad de Varsovia
Ocupaciones Matemático , filósofo
Otras informaciones
Trabajé para Universidad de Varsovia
Campo Teoría de conjuntos
Director de tesis Wacław Sierpiński

Adolf Lindenbaum , nacido el12 de junio de 1904en Varsovia y asesinado por los alemanes en 1941 en Paneriai , es un lógico y matemático polaco vinculado a la Escuela Lvov-Varsovia .

Alumno de Wacław Sierpiński, donde fue asistente en la Universidad de Varsovia , Adolf Lidenbaum se dedicó a los fundamentos de las matemáticas y, en particular, a la renovación de la lógica matemática a raíz de las insuficiencias de la lógica proposicional (resultante de la filosofía aristotélica) encontrada con el nacimiento y uso de la teoría de conjuntos de Georg Cantor .

Es conocido por su teorema dice Lindenbaum, mayormente llamado lema Lindenbaum  (en) o extensión del lema Lindenbaum. En lógica clásica, se establece el teorema de Lindenbaum: cualquier teoría consistente tiene una extensión consistente máxima.

Lidenbaum es también autor de la construcción del álgebra de Lindenbaum - Tarski . En 1935, los dos matemáticos habían lanzado la idea de la teoría de tipos extrayendo de ella un criterio de definibilidad, estableciendo que se puede demostrar formalmente que cualquier relación entre objetos de varios tipos y que se exprese por pura lógica en el sentido clásico , es invariante por cualquier permutación del dominio de los individuos. Deducen que dos particiones en dos clases cuyo número de elementos forman un par prescrito son indistinguibles por estos medios puramente lógicos.

De fe judía, Lindenbaum no pudo escapar de los abusos nazis durante la invasión de Polonia . Por temor a ser arrestado, abandonó Varsovia con su esposa Janina Hosiasson en6 de septiembre de 1939y fue a Vilnius . Luego partió hacia Białystok , la ciudad invadida y ya ocupada por los rusos. Allí obtuvo el puesto de profesor asociado y conferencista en el recién creado Instituto Pedagógico Soviético. En septiembre de 1941 fue arrestado por la Gestapo y llevado a Vilnius . Murió con su esposa en las ejecuciones masivas conocidas como la Masacre de Poneriai .

Ver también

Notas y referencias

  1. Jean-Yves Béziau, "  El verdadero alcance del teorema de Lidenbaum-Asser  ", Lógica y análisis ,1999, p.  341–359
  2. Marcel Guillaume, "  Lógica matemática en Francia entre las dos guerras mundiales: algunos puntos de referencia  ", Revue d'histoire des sciences , vol.  62,enero de 2009, p.  177 hasta 219

enlaces externos