Sistema Axiomático

This post is also available in: Inglés

Sistema axiomático

Un sistema axiomático es un conjunto de afirmaciones, llamadas axiomas, y de reglas de inferencia, normalmente las de la lógica clásica. Las afirmaciones se suelen interpretar como verdades autoevidentes que no necesitan ser demostradas, pero de hecho podrían ser cualquier cosa. En la visión moderna, los axiomas son solo reglas para la manipulación de un conjunto de símbolos: la interpretación de esos axiomas y símbolos reside fuera del sistema.

Más información en la Wikipedia.

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>