Albert Thoralf Skolem

Albert Thoralf Skolem (* 23. Mai 1887 in Sandsvaer; † 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph.

Seine Arbeiten lieferten grundlegende Resultate zur mathematischen Logik, insbesondere zu den Bereichen Modelltheorie und Berechenbarkeit. Zu seinen wichtigsten Ergebnissen gehört der zusammen mit Leopold Löwenheim formulierte Satz von Löwenheim-Skolem, nach dem jede Theorie, die ein unendliches Modell hat, Modelle in beliebiger unendlicher Mächtigkeit besitzt.
Weiterhin definierte er eine Normalform der Prädikatenlogik, die nach ihm benannt wurde (Skolemform).