Skolem, Thoralf Albert
Sandsvaer, Buskerud, Norvégia, 1887. máj. 23. – Oslo, 1963. márc. 23.
Norvég matematikus
Az Oslo-i (1925-ig Kristiania) egyetemen tanult, majd itt is oktatott 1930-ig. Első publikációi a fizika területén születtek. 1915-ben egy Göttingenben töltött félév fordította érdeklődését a matematika felé. 1930-tól 1938-ig Bergenben, egy kutatóintézetben dolgozott, majd visszatért az Oslo-i egyetemre és nyugdíjazásáig itt tevékenykedett. Legfontosabb kutatási területei: a diofantoszi egyenletek, a matematikai logika, és az absztrakt algebra, ezen belül a csoportelmélet és hálóelmélet. Legjelentősebb eredménye a Löwenheim eredményének továbbfejlesztésével megfogalmazott ún. Löwenheim-Skolem-tétel, amely a később bevezetett modellelméletben nagy jelentőségű. Nevéhez fűződik a Skolem-féle normálforma és a Skolem-paradoxon is.
- Kádek Tamás: Induktív logikai programozás (Debreceni Egyetem elektronikus Archívum - PDF)
- Skolem-normálforma (SNF)
- Matematikai logika története (Wikipédia)
- Thoralf Albert Skolem
- Löwenheim-Skolem Theorem (Wolfram MathWorld - angol)
- Skolem Function (Wolfram MathWorld - angol)
- H. Oettel: Skolem, Albert Thoralf (Encyclopedia - angol)
- Herman Ruge Jervell: Thoralf Skolem pioneer of computational logic (Nordic Journal of Philosophical logic - angol - PDF)
- Jens Erik Fenstad: Thoralf Albert Skolem 1887-1963 - A biographical sketch (Nordic Journal of Philosophical logic - angol - PDF)
- Hao Wang: Skolem and Gödel (Nordic Journal of Philosophical logic - angol - PDF)
- Grigori Mints: Thoralf Skolem and the epsilon substitution method for predicate logic (Nordic Journal of Philosophical logic - angol - PDF)
- Thoralf Skolem
- Skolem-Noether theorem (Wikipedia - angol)
- Mathematical logic (Wikipedia - angol)
- Löwenheim-Skolem theorem (Wikipedia - angol)
- Skolem's paradox (Wikipedia - angol)
- Skolem normal form (Wikipedia - angol)
- Skolem sequence (Wikipedia - angol)
- Thoralf Albert Skolem
