Gödel’s Incompleteness Theorem

This post is also available in: Spanish

Gödel’s incompleteness theorem

Gödel’s first incompleteness theorem states that no axiomatic system capable of expressing arithmetics can be complete and consistent at the same time. If the axiomatic system is consistent, there will always be some arithmetical truths which will lie outside the system’s scope.

Wikipedia article on Gödel’s incompleteness theorem.

Dangerous Knowledge – BBC documentary on Cantor, Gödel and the significance of their discoveries.

Share and Enjoy:
  • Digg
  • del.icio.us
  • Facebook
  • Yahoo! Buzz
  • Twitter
  • Google Bookmarks
  • Bitacoras.com
  • Google Buzz
  • Meneame
  • Reddit
  • RSS

Leave a Reply

You can use these HTML tags

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>