Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme Publikationsdatum:
  |
 |
Diese Seite wurde seit mehr als 7 Monaten inhaltlich nicht mehr aktualisiert.
Unter Umständen ist sie nicht mehr aktuell.
Zusammenfassungen
Das Gödelsche Theorem sagt zwei Dinge:- Innerhalb der Regeln eines Systems, etwa der Arithmetik, kann die Konsistenz dieses Systems nicht bewiesen werden ("Inkonsistenz").
- Mit den Regeln eines Systems, z.B. der Principia, können bestimmte Aussagen innerhalb dieses Systems nicht bewiesen werden ("Unvollständigkeit").
What is normally known as "Gödel's Theorem" (or "Gödel's First Incompleteness Theorem") is the centerpiece of the paper "On Undecidable Propositions of Principia Mathematica and Related Systems" published by Kurt Gödel in 1931. What the theorem shows is that there are statements that can be formulated within the standard axiom system for arithmetic but which cannot be proved true or false within that system.
Dieser Text erwähnt ...
 Personen KB IB clear | Bertrand Russell , Alfred North Whitehead | ||||||||||||||||||
 Begriffe KB IB clear | Gödelsches Theorem | ||||||||||||||||||
 Bücher |
|
Zitationsgraph
Zitationsgraph (Beta-Test mit vis.js)
Zeitleiste
27 Erwähnungen 
- Menschliche Kommunikation - Formen, Störungen, Paradoxien (Paul Watzlawick, Janet H. Beavin, Don D. Jackson) (1967)
- Laws of Form (George Spencer-Brown) (1969)
- Lösungen - Zur Theorie und Praxis menschlichen Wandels (Paul Watzlawick, John H. Weakland, Richard Fisch) (1974)
- Wie wirklich ist die Wirklichkeit? - Wahn - Täuschung - Verstehen (Paul Watzlawick) (1976)
- Gödel, Escher, Bach - Ein endloses geflochtenes Band (Douglas Hofstadter) (1979)
- Berechnungstheorie für Informatiker (Erwin Engeler, Peter Läuchli) (1988)
- KybernEthik (Heinz von Foerster) (1993)
- Die Herrschaft der Regel - Zur Grundlagengeschichte des Computers (Bettina Heintz) (1993)
- Shadows of the mind - A search for the missing science of conciousness (Roger Penrose) (1994)
- Welchen Wert haben theoretische Grundlagen für die Berufspraxis? - Gedanken zum Fundament des Informatik-Turms (Jürg Nievergelt) (1995)
- Die Schule neu erfinden - Systemisch-konstruktivistische Annäherungen an Schule und Pädagogik (Reinhard Voß) (1996)
- Der Anfang von Himmel und Erde hat keinen Namen - Eine Selbsterschaffung in 7 Tagen (Heinz von Foerster, Karl H. Müller, Albert Müller) (1997)
- 5. Fünfter Tag - Sprechen Denken Fallen Lernen (Heinz von Foerster, Albert Müller, Karl H. Müller)
- Der Computer als didaktisches Medium - Über die Mythen des Mediums und das Lernen von Subjekten (Rupert Röder) (1998)
- Strukturen der Komplexität - Eine Morphologie des Erkennens und Erklärens (Rupert Riedl) (2000)
- Das Affenpuzzle - und weitere bad news aus der Computerwelt (David Harel) (2000)
- Entwicklung systemischen Denkens - Konzepte und empirische Untersuchungen (Günther Ossimitz) (2000)
- Studium generale zur Komplexität (Hans Diebner) (2001)
- 7. Altruismus und Soziobiologie
- Short Cuts 5 - Handle stets so, dass die Anzahl der Wahlmöglichkeiten größer wird (Heinz von Foerster) (2001)
- Zettelwirtschaft - Die Geburt der Kartei aus dem Geiste der Bibliothek (Markus Krajewski) (2002)
- A New Kind of Science (Stephen Wolfram) (2002)
- Technology and the Spirit (Ignacio L. Götz) (2011)
- Beyond Zero and One (Andrew Smart) (2015)
- Informatics in Schools: Focus on Learning Programming - 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017 (Valentina Dagiene, Arto Hellas) (2017)
- Digitaler Humanismus - Eine Ethik für das Zeitalter der Künstlichen Intelligenz (Julian Nida-Rümelin, Nathalie Weidenfeld) (2018)
- Informatik - Bildung von Lehrkräften in allen Phasen - 19. GI-Fachtagung Informatik und Schule (Ludger Humbert) (2021)
- Informatik fürs Leben lernen (Till Tantau)
- Informatik fürs Leben lernen (Till Tantau)
Volltext dieses Dokuments
| On formally undecidable propositions of Principia Mathematica and related systems: english translation as PDF (:  , 226 kByte; :  Link unterbrochen? Letzte Überprüfung: 2020-11-28 Letzte erfolgreiche Überprüfung: 2018-03-11) |
Anderswo suchen
Beat und dieser Text
Beat hat Dieser Text vor seiner Dissertation ins Biblionetz aufgenommen. Die bisher letzte Bearbeitung erfolgte während seiner Zeit am Institut für Medien und Schule. Beat besitzt kein physisches, aber ein digitales Exemplar. Eine digitale Version ist auf dem Internet verfügbar (s.o.). Aufgrund der wenigen Einträge im Biblionetz scheint er es nicht wirklich gelesen zu haben.
Biblionetz-History 