Completeness

This post is also available in: Spanish

Completeness

An axiomatic system is said to be complete if every single truth compatible with it is provable within the system, that is, without using any resources external to it. For example, arithmetics would be complete if every single arithmetical truth could be proven using only its axioms and its rules of inference.

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>