peter.erleshofer.net/faden : immer rot, meistens transparent. selektierte irrelevanz - das weblog von peter erleshofer.
Skip to content
{ 2007 02 19 }

Gödelscher Unvollständigkeitssatz

Jedes hinreichend mächtige formale System ist entweder widersprüchlich oder unvollständig.

-> Ein System kann nicht zum Beweis seiner eigenen Widerspruchsfreiheit verwendet werden.

http://de.wikipedia.org/wiki/G%C3%B6delscher_Unvollst%C3%A4ndigkeitssatz

ähnliches:

Posted by peter.e on Montag, Februar 19, 2007, at 11:32:29. Filed under texte, theorien, weisheiten, wörter. Tagged , , . Follow any responses to this post with its comments RSS feed. You can post a comment or trackback from your blog.

Post a Comment

Your email is never published nor shared.

This site is using OpenAvatar based on