Albert Thoralf Skolem
aus Wikipedia, der freien Enzyklopädie
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. Aber auch zur mathematischen Grundlagenforschung wie Prädikatenlogik, Klassenlogik, Rekursionstheorie, Mengenlehre und Grundlagen der Arithmetik leistete er wesentliche Beiträge.
Mittels der nach ihm benannten prädikatenlogischen Normalform (Skolemform) hat er für den Satz von Löwenheim, dass jeder erfüllbare Ausdruck des Prädikatenkalküls schon in einem höchstens abzählbaren Bereich erfüllbar ist, einen überschaubaren Beweis gegeben, so dass dieser Satz heute mit Recht Satz von Löwenheim und Skolem genannt wird. Skolem wies auch auf die scheinbar paradoxen Konsequenzen dieses Satzes hin ("Skolem-Paradox").
1929 gab er die erste präzise prädikatenlogische Formalisierung der Zermelo-Fraenkel-Mengenlehre an. Durch Skolem wurde in der Axiomatisierung der Mengenlehre der Schlusspunkt gesetzt, indem er mit den Mitteln der Formalisierung dem Komprehensionsaxiom seine heute übliche Fassung gab. Auf Skolem geht der heute übliche Begriff der primitiv-rekursiven Funktion zurück.
Er zeigte, dass die Peano-Arithmetik nicht endlich axiomatisierbar ist. Skolem leistete ferner eine Reihe von Beiträgen zum Entscheidungsproblem. Von ihm stammte der erste Versuch, eine axiomatische Mengenlehre mit uneingeschränktem Komprehensionsaxiom auf der Grundlage einer mehrwertigen Logik aufzubauen.
[Bearbeiten] Werke
- Untersuchungen über die Axiome des Klassenkalküls und über die Produktations- und Summationsprobleme, welche gewissen Klassen von Aussagen betreffen, 1919
- Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit und Beweisbarkeit mathematischer Sätze nebst einem Theorem über dichte Mengen, 1920
- Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre, 1922-1923
- Begründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlicher mit unendlichem Ausdehnungsbereich, 1923
- Über einige Grundlagenfragen der Mathematik, 1929
- Über die Grundlagendiskussion in der Mathematik, 1929-1930
- Über einige Satzfunktionen in der Arithmetik, 1930-1931
- Über die Unmöglichkeit einer vollständigen Charakterisierung der Zahlenreihe mittels eines endlichen Axiomensystems, 1933
- Über die Nicht-Charakterisierbarkeit der Zahlenreihe mittels eines endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen, 1934
- Über die Erfüllbarkeit gewisser Zählausdrücke, 1935
- Über die Zurückführbarkeit einiger durch Rekursionen definierten Relationen auf 'arithmetische' , 1936-1937
- Sur la porteé de Löwenheim-Skolem, 1938
- Einige Bemerkungen über die Induktionsschemata in der rekursiven Zahlentheorie, 1939
- Some remarks on recursive arithmetic, 1944
- Bemerkungen zum Komprehensionsaxiom, 1957
[Bearbeiten] Weblinks
| Personendaten | |
|---|---|
| NAME | Skolem, Albert Thoralf |
| KURZBESCHREIBUNG | norwegischer Mathematiker, Logiker und Philosoph |
| GEBURTSDATUM | 23. Mai 1887 |
| GEBURTSORT | Sandsvaer |
| STERBEDATUM | 23. März 1963 |
| STERBEORT | Oslo |
