Thoralf Skolem
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
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
Skolems sætning er en sætning i matematisk logik. Den blev bevist i 1915 af tyskeren Leopold Löwenheim (1878-1957) og i 1920 af Thoralf Skolem uafhængigt af hinanden. Löwenheim-Skolems sætning siger, at en modsigelsesfri teori, formuleret i førsteordens prædikatslogik