06-02-2010, 23:26
In jedem formalen System der Zahlen, das zumindest eine Theorie der Arithmetik der natürlichen Zahlen enthält, gibt es einen unentscheidbaren Satz, also einen Satz, der nicht beweisbar und dessen Negierung ebenso wenig beweisbar ist. (1. Gödelscher Unvollständigkeitssatz).
Ein System, das widersprüchlich ist, würde nach Gödel sofort verworfen.
Ein System, das widersprüchlich ist, würde nach Gödel sofort verworfen.
Thomas Paine: "As to the book called the bible, it is blasphemy to call it the Word of God. It is a book of lies and contradictions and a history of bad times and bad men."