Skolem, Turalf

Turalf Albert Skolem
Thoralf Albert Skolem
Jméno při narození Bokmål Thoralf Albert Skolem
Datum narození 23. května 1887( 1887-05-23 ) [1] [2] [3] […]
Místo narození Sunsver , Buskerud
Datum úmrtí 23. března 1963( 1963-03-23 ​​) [1] [2] [3] […] (ve věku 75 let)
Místo smrti
Země
Vědecká sféra matematická logika
Místo výkonu práce
Alma mater
vědecký poradce Axel Thue [4]
Studenti Oistinská ruda
Známý jako Prokázal Löwenheim-Skolemovu větu
Ocenění a ceny Cena Fridtjofa Nansena za významný výzkum v matematice a přírodních vědách [d] ( 1938 ) Gunnerus Medal [d] ( 1962 )
 Mediální soubory na Wikimedia Commons

Turalf Albert Skolem ( norsky Thoralf Albert Skolem , v raných překladech přepisováno jako Thoralf Skolem ; 23. května 1887 , Sansver - 23. března 1963 , Oslo) - norský matematik , hlavní práce - v oblasti základů matematiky a matematické logiky, významně přispěl k obecné algebře (teorie mříží a prstenů ), teorii čísel ( teorie diofantických rovnic ) a filozofii matematiky .

S jeho jménem je spojeno jedno z klíčových tvrzení v teorii modelů  - Löwenheimova-Skolemova věta , filozofický a matematický Skolemův paradox , stejně jako Skolemova normální forma v logice prvního řádu , Skolemova věta v kombinatorice , Skolem-Noetherova věta  - zásadní výsledek v teorii centrálních jednoduchých algeber . Profesor na univerzitě v Oslu (1938-1957), prezident Norské matematické společnosti v 50. letech 20. století.

Životopis

Narodil se 23. května 1887 v malém městečku Sansvær ( norsky Sandsvær ) v hrabství Buskerud (dnes součást Kongsbergu ). Otec - Even Skolem - byl učitelem na základní škole, ale rodina se zabývala především zemědělstvím [5] . V roce 1905 maturoval na střední škole v Christianii , po ukončení školy ihned nastoupil na univerzitu . Při studiu na univerzitě pracoval od roku 1909 jako asistent fyzika Christiana Birkelanda , do stejného období patří i první vědecké publikace - společné články s Birkelandem o laboratorní reprodukci polární záře . V roce 1913 promoval na univerzitě s diplomem z logické algebry ( norsky: Undersøkelser innenfor logikkens algebra ).

V období 1915-1916 se vyučil v Göttingenu , v roce 1916 se vrátil na University of Christiania, kde v roce 1918 získal místo asistenta matematiky. Hlavními pracemi té doby je vývoj teorie modelů , důkaz z roku 1920 Löwenheimova tvrzení , že pokud má množina vět v počitatelném jazyce prvního řádu nekonečný model, pak má také spočetný model, který se stal známý jako Löwenheim-Skolemův teorém , v článku z roku 1922 upozornil na rozporuplný úsudek spojený s tímto tvrzením, později nazývaným Skolemův paradox .

V Norsku se v té době pro učitelské a výzkumné pozice nevyžadoval titul, a tak Skolem dlouho neobhajoval dizertační práci. Teprve v roce 1926 získal titul Ph.D. s dizertací o celočíselných řešeních některých algebraických rovnic a nerovnic ( německy:  Einige Sätze über ganzzahlige Lösungen gewisser Gleichungen und Ungleichungen ), Axel Thue (zemřel 4 roky před obhajobou - 192 ) byl považován za formálního vědeckého školitele ).

V letech 1930 až 1938 pracoval jako vědecký pracovník v nově založeném Michelsenově institutu v Bergenu , hlavní prací těchto let byla monografie o diofantických rovnicích . V roce 1938 se vrátil na univerzitu v Oslu jako profesor , kde zůstal až do svého odchodu do důchodu v roce 1957. Po jeho odchodu do důchodu, on pokračoval být aktivní, dělal několik cest do amerických univerzit [6] .

Celkem publikoval asi 200 prací z matematiky [7] , z toho 48 za posledních deset let svého působení na univerzitě (1948 až 1957, ve věku nad 60 let) [8] . Nejvýznamnější práce o logice v roce 1970 vydala univerzita v Oslu jako samostatnou knihu [9] .

Poznámky

  1. ↑ 1 2 3 4 5 6 Archiv historie matematiky MacTutor
  2. ↑ 1 2 Thoralf Albert Skolem // Norsk biografisk leksikon  (kniha) - Kunnskapsforlaget . — ISSN 2464-1502
  3. ↑ 1 2 Albert Thoralf Skolem // Encyklopedie Brockhaus  (německy) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
  4. ↑ Matematická genealogie  (anglicky) - 1997.
  5. ↑ Fenstad, 1996 , Jeho otec Even Skolem učil na základní škole, ale v rodině byli převážně zemědělci, str. 99.
  6. ↑ Fenstad, 1996 , Skolem odešel do důchodu v roce 1957, poté několikrát navštívil americké univerzity, str. 100.
  7. ↑ Fenstad, 1996 , Hrubý počet ukazuje, že napsal téměř 200 článků, s. 101.
  8. ↑ Fenstad, 1996 , V letech 1948 až 1957, tedy od 61. do 70. let, publikoval 48 prací, str. 106.
  9. ↑ Thoralf Skolem, Jens Erik Fenstad. Vybrané práce v logice. - Oslo: Universitetsforlaget, 1970. - 732 s. — ISBN 9788200061274 .

Odkazy

  Přejděte na položku Wikidata  Tematické stránky
Slovníky a encyklopedie