Skolem, Turalf
| Turalf Albert Skolem | |
|---|---|
| Thoralf Albert Skolem | |
| Navn ved fødslen | Bokmål Thoralf Albert Skolem |
| Fødselsdato | 23. maj 1887 [1] [2] [3] […] |
| Fødselssted | Sunsver , Buskerud |
| Dødsdato | 23. marts 1963 [1] [2] [3] […] (75 år) |
| Et dødssted | |
| Land | |
| Videnskabelig sfære | matematisk logik |
| Arbejdsplads | |
| Alma Mater | |
| videnskabelig rådgiver | Axel Thue [4] |
| Studerende | Oistin malm |
| Kendt som | Beviste Löwenheim-Skolem-sætningen |
| Præmier og præmier | Fridtjof Nansen-prisen for væsentlig forskning i matematik og naturvidenskab [d] ( 1938 ) Gunnerus-medalje [d] ( 1962 ) |
| Mediefiler på Wikimedia Commons | |
Turalf Albert Skolem ( norsk Thoralf Albert Skolem , i tidlige oversættelser translittereret som Thoralf Skolem ; 23. maj 1887 , Sansver - 23. marts 1963 , Oslo ) - norsk matematiker , hovedværk - inden for matematikkens og matematisk logiks grundlag, også ydet et væsentligt bidrag til generel algebra (teorier om gitter og ringe ), talteori ( teorien om diofantiske ligninger ) og matematikkens filosofi .
Et af nøgleudsagn i modelteori er forbundet med hans navn - Löwenheim-Skolem-sætningen , det filosofiske og matematiske Skolem-paradoks , samt Skolem-normalformen i førsteordenslogik , Skolem - sætningen i kombinatorik , Skolem-Noether-sætning - grundlæggende resultat i teorien om centrale simple algebraer . Professor ved Universitetet i Oslo (1938-1957), formand for Norsk Matematisk Selskab i 1950'erne.
Biografi
Han blev født den 23. maj 1887 i den lille by Sansvær ( norsk : Sandsvær ) i Buskerud amt (nu en del af Kongsberg ). Far - Even Skolem - var folkeskolelærer, men familien var hovedsageligt beskæftiget med landbrug [5] . I 1905 tog han realskolen i Christiania , efter endt skolegang kom han straks ind på universitetet . Mens han studerede på universitetet, siden 1909 arbejdede han som assistent for fysikeren Christian Birkeland , hører de første videnskabelige publikationer til samme periode - fælles artikler med Birkeland om laboratorie-reproduktion af nordlys . I 1913 dimitterede han fra universitetet med et diplom i logisk algebra ( norsk: Undersøkelser innenfor logikkens algebra ).
I perioden 1915-1916 uddannede han sig i Göttingen , i 1916 vendte han tilbage til universitetet i Christiania, hvor han i 1918 modtog posten som adjunkt i matematik. Datidens hovedværker er udviklingen af modelteori , beviset i 1920 på Löwenheims påstand om , at hvis et sæt sætninger i et tælleligt førsteordenssprog har en uendelig model, så har det også en tællelig model, som blev kendt som Löwenheim-Skolem-sætningen , henledte i et papir fra 1922 opmærksomheden på den modstridende dom forbundet med denne erklæring, senere kaldet Skolems paradoks .
I Norge krævedes dengang ikke en eksamen til undervisnings- og forskerstillinger, så Skolem forsvarede ikke sin afhandling i lang tid. Først i 1926 modtog han en ph.d. -grad med en afhandling om heltalsløsninger af nogle algebraiske ligninger og uligheder ( tysk: Einige Sätze über ganzzahlige Lösungen gewisser Gleichungen und Ungleichungen ), Axel Thue (der døde 4 år før forsvaret - i 1922 ) blev betragtet som den formelle videnskabelige vejleder ).
Fra 1930 til 1938 arbejdede han som forsker ved det nyoprettede Michelsen Institut i Bergen , hovedværket i disse år var en monografi om diofantiske ligninger . I 1938 vendte han tilbage til Universitetet i Oslo som professor , hvor han blev indtil sin pensionering i 1957. Efter sin pensionering fortsatte han med at være aktiv, foretog adskillige rejser til amerikanske universiteter [6] .
Han udgav i alt omkring 200 artikler i matematik [7] , 48 af dem i løbet af de sidste ti år af sit arbejde på universitetet (1948 til 1957, over 60 år) [8] . De vigtigste værker om logik i 1970 blev udgivet af Universitetet i Oslo som en separat bog [9] .
Noter
- ↑ 1 2 3 4 5 6 MacTutor History of Mathematics Archive
- ↑ 1 2 Thoralf Albert Skolem // Norsk biografisk leksikon (bog) - Kunnskapsforlaget . — ISSN 2464-1502
- ↑ 1 2 Albert Thoralf Skolem // Brockhaus Encyclopedia (tysk) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ Matematisk genealogi (engelsk) - 1997.
- ↑ Fenstad, 1996 , Hans far, Even Skolem, underviste i folkeskolen, men familien var hovedsageligt landmænd, s. 99.
- ↑ Fenstad, 1996 , Skolem gik på pension i 1957, hvorefter han besøgte amerikanske universiteter ved flere lejligheder, s. 100.
- ↑ Fenstad, 1996 , En grov optælling afslører, at han skrev tæt på 200 artikler, s. 101.
- ↑ Fenstad, 1996 , Fra 1948 til 1957, altså fra sit 61. til sit 70. år, udgav han 48 artikler, s. 106.
- ↑ Thoralf Skolem, Jens Erik Fenstad. Udvalgte arbejder i logik. - Oslo: Universitetsforlaget, 1970. - 732 s. — ISBN 9788200061274 .
Links
- Fenstad, Jens Erik. Thoralf Albert Skolem 1887-1963: En biografisk skitse . Nordic Journal of Philosophical Logic, 1, s. 99-106 (1996). Hentet 2. januar 2013. Arkiveret fra originalen 26. januar 2013.
- Skolem, Turalf // Safflower - Soan. - M .: Soviet Encyclopedia, 1976. - S. 515. - ( Great Soviet Encyclopedia : [i 30 bind] / chefredaktør A. M. Prokhorov ; 1969-1978, v. 23).
 Tematiske steder | ||||
|---|---|---|---|---|
| Ordbøger og encyklopædier | ||||
| ||||