Albert Thoralf Skolem

norwegischer Mathematiker, Logiker und Philosoph
Dies ist eine alte Version dieser Seite, zuletzt bearbeitet am 21. November 2004 um 13:59 Uhr durch ErnstA (Diskussion | Beiträge). Sie kann sich erheblich von der aktuellen Version unterscheiden.

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