Skolem, Thoralf

Logico e matematico (Sandsvär 1887 - Oslo 1963). Prof. a Bergen e a Oslo. Ha dato un contributo determinante alla costruzione della teoria assiomatica degli insiemi; ha dimostrato per primo che nessun insieme finito o numerabile di assiomi esprimibile nella logica elementare è capace di definire la teoria dei numeri in modo da caratterizzarla completamente. Tra le opere: Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre (1923); Ein Satz über Zählausdrücke (1935); Une relativisation des notions mathématiques fondamentales (1958); Abstract set theory (1962).