Inhaltsverzeichnis
9 Beziehungen: Arithmetik, Crispin Wright, Die Grundlagen der Arithmetik, Gottlob Frege, Grundgesetze der Arithmetik, Humes Prinzip, Logik höherer Stufe, Logizismus, Peano-Axiome.
Arithmetik
Die Arithmetik (von, „Zahl“, davon abgeleitet das Adjektiv arithmētikós, „zum Zählen oder Rechnen gehörig“) ist ein Teilgebiet der Mathematik.
Sehen Freges Theorem und Arithmetik
Crispin Wright
Crispin James Garth Wright (* 21. Dezember 1942 in Surrey) ist ein britischer Philosoph und Mitbegründer des Neo-Logizismus.
Sehen Freges Theorem und Crispin Wright
Die Grundlagen der Arithmetik
Die Grundlagen der Arithmetik (1884) mit dem Untertitel Eine logisch-mathematische Untersuchung über den Begriff der Zahl ist eines der Hauptwerke Gottlob Freges.
Sehen Freges Theorem und Die Grundlagen der Arithmetik
Gottlob Frege
Gottlob Frege (1878) Friedrich Ludwig Gottlob Frege (* 8. November 1848 in Wismar; † 26. Juli 1925 in Bad Kleinen) war ein deutscher Logiker, Mathematiker und Philosoph.
Sehen Freges Theorem und Gottlob Frege
Grundgesetze der Arithmetik
Ausgabe von 1893 Frege-Denkmal in Wismar Grundgesetze der Arithmetik heißt das Hauptwerk von Gottlob Frege, ein Grundbuch der modernen Logik.
Sehen Freges Theorem und Grundgesetze der Arithmetik
Humes Prinzip
Humes Prinzip ist ein Prinzip der Logik, das von David Hume in A Treatise of Human Nature aufgestellt und von George Boolos Humes Prinzip oder HP genannt wurde.
Sehen Freges Theorem und Humes Prinzip
Logik höherer Stufe
Unter Logik höherer Stufe, auch Stufenlogik, versteht man eine Erweiterung der Prädikatenlogik erster Stufe.
Sehen Freges Theorem und Logik höherer Stufe
Logizismus
Der Logizismus oder das logizistische Programm bezeichnet eine bestimmte Position in der Philosophie der Mathematik, die auch in anderen philosophischen Teildisziplinen in der ersten Hälfte des 20.
Sehen Freges Theorem und Logizismus
Peano-Axiome
Die Peano-Axiome (auch Dedekind-Peano-Axiome oder Peano-Postulate) sind fünf Axiome, welche die natürlichen Zahlen und ihre Eigenschaften charakterisieren.