/ en / Traditional / help

Beats Biblionetz - Texte

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

Kurt Gödel
Publikationsdatum:
local web 
Erste Seite des Textes (PDF-Thumbnail)

iconZusammenfassungen

Heinz von FoersterDas Gödelsche Theorem sagt zwei Dinge:
  1. Innerhalb der Regeln eines Systems, etwa der Arithmetik, kann die Konsistenz dieses Systems nicht bewiesen werden ("Inkonsistenz").
  2. Mit den Regeln eines Systems, z.B. der Principia, können bestimmte Aussagen innerhalb dieses Systems nicht bewiesen werden ("Unvollständigkeit").
Von Heinz von Foerster im Buch Wissen und Gewissen (1993) im Text Verstehen verstehen auf Seite  288
Stephen WolframWhat 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.
Von Stephen Wolfram im Buch A New Kind of Science (2002) im Text The Principle of Computational Equivalence auf Seite  1158

iconDieser Text erwähnt ...


Personen
KB IB clear 		Bertrand Russell , Alfred North Whitehead

Begriffe
KB IB clear 		Gödelsches Theorem
icon
Bücher
Jahr  Umschlag Titel Abrufe IBOBKBLB
1925  local  Principia Mathematica (Alfred North Whitehead, Bertrand Russell) 1, 5, 11, 3, 2, 1, 2, 6, 2, 7, 5, 2 28827577

iconZitationsgraph

Diese Grafik ist nur im SVG-Format verfügbar. Dieses Format wird vom verwendeteten Browser offenbar nicht unterstützt.

Diese Grafik fensterfüllend anzeigen (SVG)

iconZeitleiste

icon27 Erwähnungen  Dies ist eine nach Erscheinungsjahr geordnete Liste aller im Biblionetz vorhandenen Werke, die das ausgewählte Thema behandeln.

iconVolltext dieses Dokuments

Auf dem WWW On formally undecidable propositions of Principia Mathematica and related systems: english translation as PDF (lokal: PDF, 226 kByte; WWW: Link tot Link unterbrochen? Letzte Überprüfung: 2020-11-28 Letzte erfolgreiche Überprüfung: 2018-03-11)

iconAnderswo suchen  Auch im Biblionetz finden Sie nicht alles. Aus diesem Grund bietet das Biblionetz bereits ausgefüllte Suchformulare für verschiedene Suchdienste an. Biblionetztreffer werden dabei ausgeschlossen.

Suchen im Biblionetz mit Google
Google Scholar
Google
Amazon

iconBeat 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.

iconBiblionetz-History Dies ist eine graphische Darstellung, wann wie viele Verweise von und zu diesem Objekt ins Biblionetz eingetragen wurden und wie oft die Seite abgerufen wurde.