Lowenheim, Leopold
| Leopold Löwenheim | |
|---|---|
| Fødselsdato | 26. juni 1878 [1] |
| Fødselssted | |
| Dødsdato | 5. maj 1957 [1] (78 år) |
| Et dødssted | |
| Land | |
| Videnskabelig sfære | matematisk logik |
| Alma Mater | |
Leopold Löwenheim (nogle gange er der transskriptioner Löwenheim eller Löwenheim , tysk Leopold Löwenheim , 1878-1957) - tysk matematiker . Han ydede vigtige bidrag til matematisk logik .
Biografi og videnskabelig aktivitet
Født i 1878 i Krefeld i en matematiklærers familie. Han dimitterede fra gymnasiet i 1896. Han studerede ved universitetet i Berlin (1896-1901) og gik samtidig på den højere tekniske skole i Charlottenburg . Derefter arbejdede han som lærer i Berlin. I 1904 blev han optaget som overlærer ved gymnasiet i Berlin-Lichtenberg [4] . Siden 1906 var han medlem af Berlin Mathematical Society.
I 1915-1916 deltog han i Første Verdenskrig , hvilket ikke forhindrede ham i at arbejde inden for logikken i denne periode. I løbet af elleve år (1908-1919) udgav Löwenheim en række vigtige artikler. Forskerens vigtigste videnskabelige bedrift var Löwenheim-Skolem-sætningen (1915), som ofte betragtes som udgangspunktet for modelteori .
Efter den nazistiske magtovertagelse af Tyskland (1933) blev Löwenheim tvunget til at træde tilbage, fordi han blev betragtet som kun tre fjerdedele arisk under Nürnbergs racelove . I 1943 blev alle hans upublicerede manuskripter ødelagt under bombningen af Berlin. Han overlevede dog Anden Verdenskrig , hvorefter han genoptog undervisningen i matematik [5] .
Hovedværker
- Leopold Lowenheim. Über das Auflösungsproblem im logischen Klassenkalkül (tysk) // Sitzungsberichte der Berliner mathematischen Gesellschaft: magazin. - 1908. - Bd. 7 . - S. 89-94 .
- Leopold Lowenheim. Über die Auflösung von Gleichungen im logischen Gebietekalkül (tysk) // Mathematische Annalen : magazin. - 1910. - Bd. 68 . - S. 169-207 .
- Leopold Lowenheim. Über Transformationen im Gebietekalkül (neopr.) // Mathematische Annalen . - 1913. - T. 73 . - S. 245-272 .
- Leopold Lowenheim. Über Möglichkeiten im Relativkalkül (neopr.) // Mathematische Annalen . - 1915. - T. 76 . - S. 447-470 .
- Leopold Lowenheim. Über eine Erweiterung des Gebietekalküls, welche auch die gewöhnliche Algebra umfaßt (tysk) // Archiv für systematische Philosophie: magazin. - 1915. - Bd. 21 . - S. 137-148 .
- Leopold Lowenheim. Einkleidung der Mathematik i Schröderschen Relativkalkül (tysk) // Journal of Symbolic Logic : butik. - 1940. - Bd. 5 . - S. 1-15 . - doi : 10.2307/2269177 . — .
- Leopold Lowenheim. Om at gøre indirekte beviser direkte (neopr.) // Scripta mathematica. - 1946. - T. 12 . - S. 125-147 . .
Litteratur
- Borodin A.I., Bugay A.S. Biografisk ordbog over figurer inden for matematikken. - Kiev: Radianska skole, 1979. - S. 300-301. — 607 s.
Links
* John J. O'Connor og Edmund F. Robertson . Löwenheim, Leopold - biografi på MacTutor .
Noter
- ↑ 1 2 3 MacTutor History of Mathematics Archive
- ↑ 1 2 https://www.tandfonline.com/doi/pdf/10.1080/01445340701708852?needAccess=true - s. 292.
- ↑ https://www.tandfonline.com/doi/pdf/10.1080/01445340701708852?needAccess=true - s. 290.
- ↑ Thiel, Christian (2007). En kort introduktion til Löwenheims liv og arbejde og til et hidtil ukendt papir arkiveret 5. juli 2020 på Wayback Machine . History and Philosophy of Logic, 28(4), 289-302.
- ↑ MacTutor .
 Tematiske steder | ||||
|---|---|---|---|---|
| Ordbøger og encyklopædier | ||||
| ||||