Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Kurt Gödel

Type: Article

Publication Date: 2006-09-01

Citations: 2074

DOI: https://doi.org/10.1007/s00605-006-0423-7

View Publication

Locations

Monatshefte für Mathematik - View

Similar Works

Action	Title	Year	Authors
+	Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I	1931	Kurt Gödel
+	Principia mathematica : Vorwort und Einleitungen	1986	Alfred North Whitehead Bertrand Russell Kurt Gödel
+	Die Principia Mathematica und die Folgen	2015	Thomas Sonar
+	Über einen Satz aus der Theorie der vertauschbaren Matrizen	1973	Issai Schur Alfred Brauer Hans Rohrbach
+	Aufbau (Struktur) von Mathematica	2016	Hans Benker
+ PDF Chat	Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme	1935	Ernest Zermelo
+ PDF Chat	Beweis des Satzes Dass eine Jede Algebraische Gleichung eine Wurzel Hat	1886	Elling Holst
+	Verallgemeinerung eines Satzes von Jacobi und Scherrer	1971	Oswald Giering
+	Die Sätze von Abel und Jacobi	1986	Helmut Koch
+	Principia Mathematica Vol. Iii	1910	Alfred North Whitehead B. Russell
+	Eine Erweiterung des Satzes von Rakov?ik und ihre Anwendung in der Simonenko-Theorie	1977	Frank‐Olme Speck
+	Über formal unentscheidbare Satze der <i>Principia mathematica</i> und verwandter Systeme I <i>(1931)</i>	2001	Solomon Feferman John W Dawson Stephen C Kleene Gregory Moore Robert M Solovay Jean van Heijenoort
+	Über den Beweis eines Satzes aus der Theorie der analytischen Funktionen mehrerer Veränderlichen	1914	F. Hartogs
+	Grundbegriffe der Allgemeinen Algebra	2006
+ PDF Chat	22. Beweis eines Satzes aus der Theorie der numerischen Gleichungen.	1833	C. H. Graeffe
+	14. Mathematica als Nachschlagewerk	2017	Christian Weiß
+	�ber einen Satz vonSeveri �ber unirationale Systeme auf algebraischen Mannigfaltigkeiten	1966	Ludwig Reich
+	Beweisvielfalt erleben - Ein Mathematik-Lehrstück zum Satz des Pythagoras	2019	Norbert Hungerbühler Mario Gerwig
+	Algebraisches Denken und mathematische Begabungen im Grundschulalter	2012	Torsten Fritzlar Karpinski-Siebold
+	Schöne Sätze der Mathematik	2022	Jörg Neunhäuserer

Works That Cite This (655)

Action	Title	Year	Authors
+ PDF Chat	Ackermannian Goodstein Sequences of Intermediate Growth	2020	David Fernández‐Duque Andreas Weiermann
+ PDF Chat	Proof<i>vs</i>Truth in Mathematics	2020	Roman Murawski
+	The modernity of Dedekind’s anticipations contained in What are numbers and what are they good for?	2018	Juan Climent Vidal J. Soliveres Tur
+	Visual Representations of Euclidean Geometry: Diagrammatic Reasoning in Oliver Byrne’s Work	2020	Andrea Pedeferri
+	Omnipresence, Multipresence and Ubiquity: Kinds of Generality in and Around Mathematics and Logics	2011	I. Grattan-Guinness
+	Menger’s Ergebnisse — a biographical introduction	1998	Karl Sigmund
+	Examining the Mathematics in Mathematics Teacher Education	2003	Thomas J. Cooney Heide G. Wiegel
+	Lectures on proof theory	1968	Solomon Feferman
+	Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie	1950	Kurt Schütte
+	Arithmetical problems and recursively enumerable predicates	1953	Martin Davis

Works Cited by This (0)

Action	Title	Year	Authors