Was ist denn bitte ein Unvollständigkeitssatz?
Hab ich gerade am Nebentisch aufgeschnappt.
TopLabs (Answers)
| Thumbnail | TopLab | Author | Date | Reward |
|---|---|---|---|---|
| Der ist von 1931 und von Gödel: In einem hinreichend reichhaltigen Axiomensystem existieren stets Sätze , die man nicht beweisen kann, die aber wahr sind. Außerdem zeigte er , daß man die Widerspruchsfreiheit eines Systems nur zeigen kann, wenn man in ein höheres, umfassenderes System übergeht. | SuperDom | 2004-04-08 | $0.93 |