Adolf lindenbaum

Adolf lindenbaum Bilde i infoboks. Biografi
Fødsel 12. juni 1904
Warszawa
Død September 1941 eller 1942
Paneriai
Nasjonalitet Andre republikk Polen
Opplæring Universitetet i Warszawa
Aktiviteter Matematiker , filosof
Annen informasjon
Jobbet for Universitetet i Warszawa
Felt Settteori
Veileder Wacław Sierpiński

Adolf Lindenbaum , født den12. juni 1904i Warszawa og drept av tyskerne i 1941 i Paneriai , er en polsk logiker og matematiker knyttet til Lvov-Warszawa-skolen .

En elev av Wacław Sierpiński, hvor han var assistent ved Universitetet i Warszawa , viet Adolf Lidenbaum seg til grunnlaget for matematikk og spesielt til renovering av matematisk logikk etter mangelfullhet i proposisjonslogikk (som følge av aristotelisk filosofi) som ble møtt med fødsel og bruk av Georg Cantors mengde teori .

Han er kjent for sin teorem sier Lindenbaum, mest kalt lemma Lindenbaum  (in) eller lemma-utvidelse Lindenbaum. I klassisk logikk blir Lindenbaums setning uttalt: enhver konsistent teori har maksimal konsistent utvidelse.

Lidenbaum er også forfatter av konstruksjonen av Lindenbaum - Tarski algebra . I 1935 hadde de to matematikerne lansert ideen om typeteorien ved å tegne et definisjonskriterium derfra. De fastslår at man formelt kan demonstrere at enhver sammenheng mellom objekter av forskjellige typer og som uttrykkes av rent logisk i klassisk forstand , er uforanderlig av enhver permutasjon av individeres domene. De utleder at to partisjoner i to klasser hvis antall elementer danner et foreskrevet par, ikke kan skilles fra disse rent logiske virkemidlene.

Av jødisk tro kunne ikke Lindenbaum unnslippe nazistiske overgrep under invasjonen av Polen . Av frykt for arrestasjon forlot han Warszawa med sin kone Janina Hosiasson på6. september 1939og dro til Vilnius . Han dro deretter til Białystok , byen invaderte og allerede okkupert av russerne. Der fikk han stillingen som lektor og foreleser ved det nyopprettede Soviet Pedagogical Institute. I september 1941 ble han arrestert av Gestapo og ført til Vilnius . Han omkom sammen med sin kone i massehenrettelsene kjent som massakren i Poneriai .

Se også

Merknader og referanser

  1. Jean-Yves Béziau, "  The true scope of the Lidenbaum-Asser theorem  ", Logic & Analysis ,1999, s.  341–359
  2. Marcel Guillaume, "  Matematisk logikk i Frankrike mellom de to verdenskrigene: Noen referanser  ", Revue d'histoire des sciences , vol.  62,januar 2009, s.  177 til 219

Eksterne linker