Skolem, Turalf
| Turalf Albert Skolem | |
|---|---|
| Thoralf Albert Skolem | |
| Nimi syntyessään | Bokmål Thoralf Albert Skolem |
| Syntymäaika | 23. toukokuuta 1887 [1] [2] [3] […] |
| Syntymäpaikka | Sunsver , Buskerud |
| Kuolinpäivämäärä | 23. maaliskuuta 1963 [1] [2] [3] […] (75-vuotias) |
| Kuoleman paikka | |
| Maa | |
| Tieteellinen ala | matemaattinen logiikka |
| Työpaikka | |
| Alma mater |
|
| tieteellinen neuvonantaja | Axel Thue [4] |
| Opiskelijat | Oistin malmi |
| Tunnetaan | Todisti Löwenheim-Skolem-lauseen |
| Palkinnot ja palkinnot | Fridtjof Nansen -palkinto merkittävästä matematiikan ja luonnontieteiden tutkimuksesta [d] ( 1938 ) Gunnerus-mitali [d] ( 1962 ) |
| Mediatiedostot Wikimedia Commonsissa | |
Turalf Albert Skolem ( norjalainen Thoralf Albert Skolem , varhaisissa käännöksissä translitteroitu nimellä Thoralf Skolem ; 23. toukokuuta 1887 , Sansver - 23. maaliskuuta 1963 , Oslo) - norjalainen matemaatikko , päätyö - matematiikan ja matematiikan perusteiden alalla antoi merkittävän panoksen yleiseen algebraan ( hilojen ja renkaiden teoriat ), lukuteoriaan ( diofantiiniyhtälöiden teoria ) ja matematiikan filosofiaan .
Yksi malliteorian avainlauseista liittyy hänen nimeensä - Löwenheim-Skolem-lause , filosofinen ja matemaattinen Skolem-paradoksi sekä Skolem - normaalimuoto ensimmäisen asteen logiikassa , Skolem - lause kombinatoriikassa , Skolem-Noether-lause - perustulos keskeisten yksinkertaisten algebroiden teoriassa . Oslon yliopiston professori (1938-1957), Norjan matematiikan seuran puheenjohtaja 1950-luvulla.
Elämäkerta
Hän syntyi 23. toukokuuta 1887 pienessä Sansværin ( norjaksi: Sandsvær ) kaupungissa Buskerudin läänissä (nykyisin osa Kongsbergia ). Isä - Even Skolem - oli alakoulun opettaja, mutta perhe harjoitti pääasiassa maataloutta [5] . Vuonna 1905 hän valmistui lukiosta Christianiassa , koulun päätyttyä hän meni heti yliopistoon . Yliopisto-opiskelun aikana hän työskenteli vuodesta 1909 fyysikko Christian Birkelandin assistenttina , ensimmäiset tieteelliset julkaisut kuuluvat samaan ajanjaksoon - Birkelandin kanssa yhteisiä artikkeleita revontulien laboratoriolisäyksestä . Vuonna 1913 hän valmistui yliopistosta loogisen algebran tutkintotodistuksella ( norjaksi: Undersøkelser innenfor logikkens algebra ).
Vuosina 1915-1916 hän harjoitteli Göttingenissä , vuonna 1916 hän palasi Christianian yliopistoon, jossa hän sai vuonna 1918 matematiikan apulaisprofessorin viran. Sen ajan pääteoksia ovat malliteorian kehitys , todistus vuonna 1920 Löwenheimin väitteelle , että jos lausejoukolla laskettavassa ensimmäisen asteen kielessä on ääretön malli, niin sillä on myös laskettava malli, josta tuli joka tunnetaan nimellä Löwenheim-Skolem -lause , vuonna 1922 julkaistussa artikkelissa kiinnitettiin huomiota tähän lausuntoon liittyvään ristiriitaiseen tuomioon, jota myöhemmin kutsuttiin Skolemin paradoksiksi .
Norjassa ei tuolloin vaadittu tutkintoa opetus- ja tutkimustehtäviin, joten Skolem ei puolustanut väitöskirjaansa pitkään aikaan. Vasta vuonna 1926 hän väitteli tohtoriksi joidenkin algebrallisten yhtälöiden ja epäyhtälöiden kokonaislukuratkaisuista ( saksa: Einige Sätze über ganzzahlige Lösungen gewisser Gleichungen und Ungleichungen ), Axel Thue (kuoli 41 vuotta ennen puolustamista -922). ) pidettiin virallisena tieteellisenä valvojana ).
Vuodesta 1930 vuoteen 1938 hän työskenteli tutkijana vastikään perustetussa Michelsen-instituutissa Bergeniin . Noiden vuosien pääteos oli diofantiiniyhtälöitä käsittelevä monografia . Vuonna 1938 hän palasi Oslon yliopistoon professorina , jossa hän jäi eläkkeelle vuonna 1957. Eläkkeelle jäätyään hän jatkoi aktiivista toimintaa, teki useita matkoja Yhdysvaltain yliopistoihin [6] .
Hän julkaisi yhteensä noin 200 matematiikan julkaisua [7] , joista 48 yliopistossa työskentelyn viimeisen kymmenen vuoden aikana (1948-1957, yli 60-vuotiaat) [8] . Oslon yliopisto julkaisi vuonna 1970 tärkeimmät logiikkateokset erillisenä kirjana [9] .
Muistiinpanot
- ↑ 1 2 3 4 5 6 MacTutor Matematiikan historia -arkisto
- ↑ 1 2 Thoralf Albert Skolem // Norsk biografisk leksikon (kirja) - Kunnskapsforlaget . — ISSN 2464-1502
- ↑ 1 2 Albert Thoralf Skolem // Brockhaus Encyclopedia (saksa) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ Matemaattinen sukututkimus (englanniksi) - 1997.
- ↑ Fenstad, 1996 , Hänen isänsä Even Skolem opetti ala-asteella, mutta perhe oli pääasiassa maanviljelijöitä, s. 99.
- ↑ Fenstad, 1996 , Skolem jäi eläkkeelle vuonna 1957 ja vieraili sen jälkeen useaan otteeseen amerikkalaisissa yliopistoissa, s. 100.
- ↑ Fenstad, 1996 , Karkea luku paljastaa, että hän kirjoitti lähes 200 artikkelia, s. 101.
- ↑ Fenstad, 1996 , Vuodesta 1948 vuoteen 1957, eli 61. ikävuodesta 70. vuoteen, hän julkaisi 48 artikkelia, s. 106.
- ↑ Thoralf Skolem, Jens Erik Fenstad. Valitut teokset logiikassa. - Oslo: Universitetsforlaget, 1970. - 732 s. — ISBN 9788200061274 .
Linkit
- Fenstad, Jens Erik. Thoralf Albert Skolem 1887-1963: Elämäkerrallinen luonnos . Nordic Journal of Philosophical Logic, 1, s. 99-106 (1996). Haettu 2. tammikuuta 2013. Arkistoitu alkuperäisestä 26. tammikuuta 2013.
- Skolem, Turalf // Saflori - Soan. - M .: Soviet Encyclopedia, 1976. - S. 515. - ( Great Soviet Encyclopedia : [30 osassa] / päätoimittaja A. M. Prokhorov ; 1969-1978, v. 23).
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| Sanakirjat ja tietosanakirjat | ||||
| ||||