Thoralf Skolem var en norsk matematiker og logiker. Bortset fra et ophold i Göttingen 1915-16 og en periode i Bergen 1930-38 var Skolem knyttet til Oslo Universitetet, hvor han var professor 1938-57. Som matematiker var han meget produktiv, men flere af hans resultater blev ikke internationalt kendte, fordi han fortrinsvis offentliggjorde dem i norske videnskabelige tidsskrifter.
Skolem bidrog væsentligt til algebra, gitterteori, kombinatorik, talteori og matematisk logik. Han forbedrede aksiomerne for mængdelæren og indførte flere nye metoder i logikken. Med sin konstruktivistiske opfattelse af matematikkens grundlag havde han ikke meget tilovers for matematik baseret på mængdelære. Således udtalte han, at anvendelse af udvalgsaksiomet i matematisk analyse var en slags videnskabelig snyd. Siden 1960'erne udviklede logikken sig i retninger bort fra Skolems synspunkter og metoder, men med anvendelsen af logik i datalogi har mange af hans idéer fået en renæssance.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.