Albert Thoralf Skolem

Home » Männliche Philosophen » Albert Thoralf Skolem

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

Er beschäftigte sich mit zahlreichen Gebieten der mathematischen Grundlagenforschung wie der Prädikatenlogik, Klassenlogik, Rekursionstheorie, Mengenlehre sowie Grundlagen der Arithmetik und lieferte somit grundlegende Resultate zur mathematischen Logik, insbesondere zu den Bereichen Modelltheorie und Berechenbarkeit.

Mit den nach ihn benannten prädikatenlogischen Normalformen (Skolemform) hat Skolem einen Beweis für den Satz von Löwenheim geliefert, nach dem jeder erfüllbare Ausdruck des Prädikatenkalküls bereits in einem höchstens abzählbaren Bereich erfüllbar ist. Aufgrund dessen heißt der Satz heute auch Satz von Löwenheim und Skolem.