Leopold Löwenheim - Leopold Löwenheim

Leopold Löwenheim
Född ( 1878-06-26 )26 juni 1878
Dog 5 maj 1957 (1957-05-05)(78 år)
Alma mater University of Berlin , Technical University Berlin
Känd för Sats Löwenheim – Skolem
Makar) Johanna Rassmussen
Vetenskaplig karriär
Fält Matematisk logik

Leopold Löwenheim (26 juni 1878 i Krefeld - 5 maj 1957 i Berlin ) var en tysk matematiker som gjorde arbete i matematisk logik . Den nazistiska regimen tvingade honom att avgå eftersom under Nürnberg lagar han ansågs bara tre fjärdedelar Aryan . 1943 förstördes mycket av hans arbete under ett bombangrepp på Berlin. Ändå överlevde han andra världskriget , varefter han återupptog undervisningen i matematik .

Löwenheim (1915) gav det första beviset på vad som nu kallas Löwenheim – Skolem-satsen , ofta ansedd utgångspunkten för modellteorin .

Leopold var son till Ludwig Löwenheim, en matematiklärare vid yrkeshögskolan i Krefeld och Elizabeth Röhn, en författare. 1881 tre av dem lämnade Krefeld först för Neapel och sedan Berlin där Ludwig var en privat forskare arbetar på en fullständig redovisning av påverkan av Demokritos på modern vetenskap. Även om han hoppades att detta skulle få honom ett lärarjobb vid Humboldt University Ludwig dog 1894.

Publikationer

  • Löwenheim, Leopold (1908). "Über das Auflösungsproblem im logischen Klassenkalkül" . Sitzungsberichte der Berliner Mathematischen Gesellschaft (på tyska). 7 : 89–94.
  • Löwenheim, Leopold (1910). "Über die Auflösung von Gleichungen im logischen Gebietekalkül" (PDF) . Mathematische Annalen (på tyska). 68 (2): 169–207. doi : 10.1007 / bf01474159 . S2CID  122434845 .
  • Löwenheim, Leopold (1913). "Über Transformationen im Gebietekalkül" (PDF) . Mathematische Annalen (på tyska). 73 (2): 245–272. doi : 10.1007 / bf01456715 .
  • Löwenheim, Leopold (1915). "Über Möglichkeiten im Relativkalkül" (PDF) . Mathematische Annalen (på tyska). 76 (4): 447–470. doi : 10.1007 / bf01458217 . S2CID  116581304 .Översatt till "Om möjligheter i släktskapsberäkning" i Jean van Heijenoort , 1967. En källbok i matematisk logik, 1879–1931 . Harvard Univ. Tryck: 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å tyska). 21 : 137–148.
  • Löwenheim, Leopold (1940). "Einkleidung der Mathematik in Schröderschen Relativkalkül". Journal of Symbolic Logic (på tyska). 5 (1): 1–15. doi : 10.2307 / 2269177 . JSTOR  2269177 .
  • Löwenheim, Leopold (1946). Översatt av Willard Van Orman Quine . "Om att göra indirekta bevis direkt". Scripta Mathematica . 12 (2): 125–147.

Referenser

Vidare läsning

  • Brady, Geraldine, 2000. Från Peirce till Skolem . Nordholland. Innehåller en detaljerad exeges av beviset i Löwenheim (1915) och diskuterar hur Thoralf Skolem förenklade beviset och utvidgade teoremets omfattning och generalitet.

externa länkar