WikiDer > Principia Mathematica
Principia Mathematica (lat., "Mathematical Foundations") ist der Titel einer dreibändigen Arbeit über die Fundamente des Mathematik, geschrieben von den Briten Mathematiker und PhilosophenBertrand Russell und Alfred North Whitehead. Die drei Bände wurden jeweils 1910, 1912 und 1913 veröffentlicht Prinzip, ein Versuch, die Mathematik in der symbolische Logik, war der Höhepunkt der Logikist Forschungsprogramm. Die Arbeit gilt in der Logik als der einflussreichste nach Aristoteles' Organon.
Principia Mathematica enthält AxiomFotos und Ableitungen wichtiger Sätze in a formales System, beyogen auf Logik erster Ordnung erweitert mit Russells Typentheorie. Die Arbeit umfasst die Mengenlehre und der Zahlentheorie (Kardinäle, Ordnungszahlen und reale Nummern).
Das Unvollständigkeit des formalen Systems der Principia Mathematica (und verwandte Systeme), demonstriert durch Kurt Gödel 1931 markierte praktisch das Ende der Logikismus: das Endziel von a völlig und nachweisbar konsistent formales System, das die gesamte Mathematik beschreibt, erwies sich als unmöglich zu realisieren.
Quellen, Anmerkungen und/oder Verweise
|
| Siehe die Kategorie Principia Mathematica von Wikimedia Commons für Mediendateien zu diesem Thema. |