Lowenheim, Leopold

Leopold Löwenheim
Födelsedatum 26 juni 1878( 26-06-1878 ) [1]
Födelseort
Dödsdatum 5 maj 1957( 1957-05-05 ) [1] (78 år)
En plats för döden
Land
Vetenskaplig sfär matematisk logik
Alma mater

Leopold Löwenheim (ibland finns det transkriptioner Löwenheim eller Löwenheim , tyska  Leopold Löwenheim , 1878-1957) - tysk matematiker . Han gjorde viktiga bidrag till matematisk logik .

Biografi och vetenskaplig verksamhet

Född 1878 i Krefeld i familjen till en matematiklärare. Han tog examen från gymnasiet 1896. Han studerade vid universitetet i Berlin (1896-1901), gick samtidigt på Högre tekniska skolan i Charlottenburg . Sedan arbetade han som lärare i Berlin. 1904 antogs han som överlärare vid gymnasiet i Berlin-Lichtenberg [4] . Sedan 1906 var han medlem av Berlin Mathematical Society.

1915-1916 deltog han i första världskriget , vilket inte hindrade honom från att arbeta inom logiken under denna period. Under loppet av elva år (1908-1919) publicerade Löwenheim ett antal viktiga artiklar. Forskarens viktigaste vetenskapliga prestation var Löwenheim-Skolem-satsen (1915), som ofta anses vara utgångspunkten för modellteori .

Efter det nazistiska maktövertagandet av Tyskland (1933) tvingades Löwenheim att avgå eftersom han ansågs endast tre fjärdedelar arisk enligt Nürnbergs raslagar . 1943 förstördes alla hans opublicerade manuskript under bombningen av Berlin. Han överlevde dock andra världskriget , varefter han återupptog undervisningen i matematik [5] .

Huvudverk

Litteratur

Länkar

* John J. O'Connor och Edmund F. Robertson . Löwenheim, Leopold  -  biografi på MacTutor .

Anteckningar

  1. 1 2 3 MacTutor History of Mathematics Archive
  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). En kort introduktion till Löwenheims liv och arbete och till ett hittills okänt papper arkiverat 5 juli 2020 på Wayback Machine . History and Philosophy of Logic, 28(4), 289-302.
  5. MacTutor .