Lowenheim, Leopold

Leopold Löwenheim
Syntymäaika 26. kesäkuuta 1878( 1878-06-26 ) [1]
Syntymäpaikka
Kuolinpäivämäärä 5. toukokuuta 1957( 1957-05-05 ) [1] (78-vuotias)
Kuoleman paikka
Maa
Tieteellinen ala matemaattinen logiikka
Alma mater

Leopold Löwenheim (joskus on transkriptioita Löwenheim tai Löwenheim , saksalainen  Leopold Löwenheim , 1878-1957) - saksalainen matemaatikko . Hän teki merkittävän panoksen matemaattiseen logiikkaan .

Elämäkerta ja tieteellinen toiminta

Syntynyt vuonna 1878 Krefeldissä matematiikan opettajan perheeseen. Hän valmistui lukiosta vuonna 1896. Hän opiskeli Berliinin yliopistossa (1896-1901) ja osallistui samalla Charlottenburgin korkeampaan tekniseen kouluun . Sitten hän työskenteli opettajana Berliinissä. Vuonna 1904 hänet hyväksyttiin vanhempi opettaja Berliini-Lichtenbergin lukion [4] . Vuodesta 1906 hän oli Berliinin matematiikan seuran jäsen.

Vuosina 1915-1916 hän osallistui ensimmäiseen maailmansotaan , mikä ei estänyt häntä työskentelemästä logiikan alalla tänä aikana. Yhdentoista vuoden aikana (1908-1919) Löwenheim julkaisi useita tärkeitä artikkeleita. Tiedemiehen tärkein tieteellinen saavutus oli Löwenheim-Skolem-lause (1915), jota usein pidetään malliteorian lähtökohtana .

Natsien valtauksen jälkeen Saksassa (1933) Löwenheim joutui eroamaan, koska Nürnbergin rotulakien mukaan häntä pidettiin vain kolme neljäsosaa arjalaisina . Vuonna 1943 kaikki hänen julkaisemattomat käsikirjoituksensa tuhoutuivat Berliinin pommituksen aikana. Hän selvisi kuitenkin toisesta maailmansodasta , jonka jälkeen hän jatkoi matematiikan opettamista [5] .

Pääteokset

Kirjallisuus

Linkit

* John J. O'Connor ja Edmund F. Robertson . Löwenheim, Leopold  -  elämäkerta MacTutorissa .

Muistiinpanot

  1. 1 2 3 MacTutor History of Mathematics -arkisto
  2. 1 2 https://www.tandfonline.com/doi/pdf/10.1080/01445340701708852?needAccess=true - s. 292.
  3. https://www.tandfonline.com/doi/pdf/10.1080/01445340701708852?needAccess=true - s. 290.
  4. Thiel, Christian (2007). Lyhyt johdatus Löwenheimin elämään ja työhön sekä tähän asti tuntemattomaan paperiin Arkistoitu 5.7.2020 Wayback Machinessa . Logiikan historia ja filosofia, 28(4), 289-302.
  5. MacTutor .