++ Mathe Formeln ++ Mathematik Lexikon ++ Lösungen ++ Hausaufgaben ++ Algebra ++ Lernen ++ Übungen ++ Schule ++ Geometrie ++

Navigation

Mathematik Begriffe
A B C D E
F G H I J
K L M N O
P Q R S T
U V W X Y
Z 123      
Goldkurs

Mathematik Begriff Erklärung Albert Thoralf Skolem Formel Hilfe Hausaufgabeb
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 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).

Dieser Artikel ( Albert Thoralf Skolem ) stammt aus Wikipedia, der freien Enzyklopädie
und steht unter der GNU Free Documentation Licence. 
+++ Mathe Formeln ++ Mathematik Lexikon ++ Lösungen ++ IMPRESSUM ++ Algebra ++ Lernen ++ Übungen ++ Schule ++ Geometrie +++