Skolem Thoralf Albert (Turalfas Albertas Skùlemas) 1887 05 23Sandsvær (Buskerudo fiulkė) 1963 03 23Oslas, norvegų filosofas, logikas, matematikas. Norvegijos mokslų akademijos narys (1938). Dr. (1926).
Išsilavinimas ir veikla
1905–13 studijavo Oslo, 1915–16 – Göttingeno universitetuose. 1918–30, 1938–57 dėstė Oslo universitete; profesorius (1938).
Idėjos
Daugiausia nagrinėjo matematikos filosofijos, matematinės logikos, aibių teorijos, skaičių teorijos klausimus. Vienas finitizmo pradininkų. T. A Skolemo matematikos filosofijai būdinga reliatyvizmas, nuosaikus nominalizmas ir formalizmas. Matematika, anot jo, turi plėtotis tik formalių sistemų pagrindu, kadangi matematiniai objektai (skaičiai, aibės ir panašiai) neegzistuoja savaime kaip objektyvūs esiniai, bet tik tam tikro loginio skaičiavimo rėmuose. Todėl tokios sąvokos kaip aibė, aibės skaitumas yra reliatyvios (aibė, neskaiti vienoje aksiominėje aibių sistemoje, gali būti skaiti kitoje).
Thoralf Albert Skolem (1930–35)
Veikalai
Svarbiausi veikalai: Loginiai kombinatoriniai tyrimai (Logisch-kombinatorische Untersuchungen 1920), Elementariosios aritmetikos pagrindai (Begründung der elementaren Arithmetik 1923), Rinktiniai logikos veikalai (Selected works in logic, išleista 1970).