Thoralf Skolem
Skolem [sku:ʹlɛm], Thoralf, 1887–1963, norsk matematiker och logiker, professor i matematik vid Oslo universitet 1938–57.
S. var en av pionjärerna i den matematiska logikens utveckling och upphovsman till flera grundläggande resultat i modellteori (t.ex. Löwenheims-Skolems teorem; se modellteori), axiomatisk mängdteori och rekursionsteori.
Information om artikeln
Källangivelse
Nationalencyklopedin, Thoralf Skolem. https://www.ne.se/uppslagsverk/encyklopedi/lång/thoralf-skolem (hämtad 2025-03-27), NE Nationalencyklopedin AB