Leopold Löwenheim - Leopold Löwenheim

Leopold Löwenheim
Født ( 1878-06-26 )26. juni 1878
Døde 5. maj 1957 (1957-05-05)(78 år gammel)
Alma Mater University of Berlin , Technical University Berlin
Kendt for Löwenheim – Skolem sætning
Ægtefælle (r) Johanna Rassmussen
Videnskabelig karriere
Felter Matematisk logik

Leopold Löwenheim (26. juni 1878 i Krefeld - 5. maj 1957 i Berlin ) var en tysk matematiker, der udførte arbejde i matematisk logik . Den nazistiske regime tvang ham til at trække sig tilbage, fordi under Nürnberg Laws han blev anset kun tre fjerdedele ariske . I 1943 blev meget af hans arbejde ødelagt under et bombeangreb på Berlin. Ikke desto mindre overlevede han Anden Verdenskrig , hvorefter han genoptog undervisningen i matematik .

Löwenheim (1915) gav det første bevis på, hvad der nu er kendt som sætningen Löwenheim – Skolem , ofte betragtet som udgangspunktet for modelteori .

Leopold var søn af Ludwig Löwenheim, en matematiklærer ved polytechnic i Krefeld og Elizabeth Röhn, en forfatter. I 1881 forlod de tre Krefeld først til Napoli og derefter Berlin, hvor Ludwig var en privat lærd, der arbejdede på en omfattende redegørelse for Demokritos indflydelse på moderne videnskab. Selvom han håbede, at dette ville give ham et undervisningsjob ved Humboldt University Ludwig døde i 1894.

Publikationer

Referencer

Yderligere læsning

  • Brady, Geraldine, 2000. Fra Peirce til Skolem . Nordholland. Indeholder en detaljeret eksegese af beviset i Löwenheim (1915) og diskuterer, hvordan Thoralf Skolem forenklede beviset og udvidede sætningens omfang og generalitet.

eksterne links