|
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 Ergebnisse 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).
|