![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/3/3e/ThoralfSkolem-OB.F06426c.jpg/640px-ThoralfSkolem-OB.F06426c.jpg&w=640&q=50)
Thoralf Skolem
norsk matematiker / From Wikipedia, the free encyclopedia
Thoralf Albert Skolem (født 23. mai 1887, død 23. mars 1963) var en norsk matematiker som var professor ved Universitetet i Oslo.
Quick Facts Født, Død ...
Thoralf Skolem | |||
---|---|---|---|
![]() Skolem på 1930-tallet | |||
Født | Thoralf Albert Skolem 23. mai 1887[1][2][3][4] ![]() Sandsvær kommune[5] | ||
Død | 23. mars 1963[1][2][3][6]![]() Oslo | ||
Beskjeftigelse | Matematiker, filosof, universitetslærer ![]() | ||
Utdannet ved | Universitetet i Oslo (1905–1909)[5] | ||
Doktorgrads- veileder | Axel Thue[7] | ||
Nasjonalitet | Norge | ||
Utmerkelser | Fridtjof Nansens belønning for fremragende forskning, matematisk-naturvitenskaplig klasse (1938) Gunnerusmedaljen (1962) Ridder av 1. klasse av St. Olavs Orden (1954)[5] | ||
Arbeidssted | Universitetet i Oslo (1916–1930)[5] Chr. Michelsens Institutt (1930–1938)[5] Universitetet i Oslo (1938–1957)[5] | ||
Fagfelt | Matematisk logikk, modellteori, mengdelære, abstrakt algebra | ||
Doktorgrads- studenter | Øystein Ore (1924)[8] | ||
Kjent for | 7 oppføringer
Skolem normal form
Löwenheim–Skolem theorem Skolem's paradox Skolem–Noether theorem Skolem arithmetic Skolem problem Skolem–Mahler–Lech theorem | ||
Close
Skolem leverte viktige bidrag til matematisk logikk, mengdelære, tallteori, algebra og kombinatorikk, men han er mest kjent for sitt arbeide med matematisk logikk. Han regnes også som en av de sentrale teoretikerne innenfor metamatematikk, som er nært knyttet til matematisk logikk.