Advertisement
Published in:
2023 | OriginalPaper | Chapter
8. Typentheorie
Author : Stefan Müller-Stach
Published in: Der Code der Mathematik
Publisher: Springer Berlin Heidelberg
Zusammenfassung
Aus der Entdeckung der Antinomien der Mengenlehre zog Bertrand Russell die Schlussfolgerung, dass eine Hierarchisierung mathematischer Objekte notwendig ist. Als Ausweg erfand er die Typentheorie. Seine Ideen gingen in das Buch „Principia Mathematica“ mit Alfred North Whitehead ein. Die Darstellung darin wirkte kompliziert und setzte sich zunächst nicht durch. Leon Chwistek und Frank P. Ramsey versuchten, einige dieser Probleme zu beheben und schufen die einfache Typentheorie. Jedoch machte erst ein Artikel von Alonzo Church diesen Ansatz unter Verwendung des \(\lambda \)–Kalküls allgemein bekannt.