Leopold Löwenheim - Leopold Löwenheim

Leopold Löwenheim
Født ( 1878-06-26 )26. juni 1878
Døde 5. mai 1957 (1957-05-05)(78 år gammel)
Alma mater University of Berlin , Technical University Berlin
Kjent for Löwenheim – Skolem-setning
Ektefelle (r) Johanna Rassmussen
Vitenskapelig karriere
Enger Matematisk logikk

Leopold Löwenheim (26. juni 1878 i Krefeld - 5. mai 1957 i Berlin ) var en tysk matematiker som arbeidet med matematisk logikk . Den nazistiske regimet tvang ham til å trekke seg tilbake fordi under Nürnberglovene ble han ansett bare tre fire Aryan . I 1943 ble mye av hans arbeid ødelagt under et bombeangrep mot Berlin. Likevel overlevde han andre verdenskrig , hvoretter han fortsatte å undervise i matematikk .

Löwenheim (1915) ga det første beviset på det som nå kalles Löwenheim – Skolem-setningen , ofte ansett som utgangspunkt for modellteori .

Leopold var sønn av Ludwig Löwenheim, en matematikklærer ved polyteknikken i Krefeld og Elizabeth Röhn, en forfatter. I 1881 forlot de tre Krefeld først til Napoli og deretter Berlin hvor Ludwig var en privat lærd som arbeidet med en omfattende redegjørelse for Demokritos innflytelse på moderne vitenskap. Selv om han håpet at dette ville gi ham en lærerjobb ved Humboldt University Ludwig døde i 1894.

Publikasjoner

  • Löwenheim, Leopold (1908). "Über das Auflösungsproblem im logischen Klassenkalkül" . Sitzungsberichte der Berliner Mathematischen Gesellschaft (på tysk). 7 : 89–94.
  • Löwenheim, Leopold (1910). "Über die Auflösung von Gleichungen im logischen Gebietekalkül" (PDF) . Mathematische Annalen (på tysk). 68 (2): 169–207. doi : 10.1007 / bf01474159 . S2CID  122434845 .
  • Löwenheim, Leopold (1913). "Über Transformationen im Gebietekalkül" (PDF) . Mathematische Annalen (på tysk). 73 (2): 245–272. doi : 10.1007 / bf01456715 .
  • Löwenheim, Leopold (1915). "Über Möglichkeiten im Relativkalkül" (PDF) . Mathematische Annalen (på tysk). 76 (4): 447–470. doi : 10.1007 / bf01458217 . S2CID  116581304 .Oversatt som "Om muligheter i beregning av slektninger" i Jean van Heijenoort , 1967. A Source Book in Mathematical Logic, 1879–1931 . Harvard Univ. Trykk: 228–251.
  • Löwenheim, Leopold (1915). "Über eine Erweiterung des Gebietekalküls, welche auch die gewöhnliche Algebra umfaßt" . Archiv für Systematische Philosophie (på tysk). 21 : 137–148.
  • Löwenheim, Leopold (1940). "Einkleidung der Mathematik in Schröderschen Relativkalkül". Journal of Symbolic Logic (på tysk). 5 (1): 1–15. doi : 10.2307 / 2269177 . JSTOR  2269177 .
  • Löwenheim, Leopold (1946). Oversatt av Willard Van Orman Quine . "Om å gjøre indirekte bevis direkte". Scripta Mathematica . 12 (2): 125–147.

Referanser

Videre lesning

  • Brady, Geraldine, 2000. Fra Peirce til Skolem . Nord-Holland. Inneholder en detaljert eksegese av beviset i Löwenheim (1915), og diskuterer hvordan Thoralf Skolem forenklet beviset og utvidet teoremets omfang og generalitet.

Eksterne linker