Sistema axiomático

Sistema axiomático

En matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas. Una teoría matemática es un sistema axiomático y, por tanto, todos los teoremas derivados de ellos. Un ejemplo de sistema axiomático deductivo es la geometría euclidiana, compilada por Euclides en los Elementos.[1]

Contenido

Historia

El primer intento se remonta a la axiomatización de los Elementos de Euclides (siglo IV-III a.C.), aplicado a la geometría plana. Euclides enuncia cinco postulados y cinco nociones comunes (axiomas), de los que deduce sus teoremas geométricos. Al mismo tiempo, Aristóteles aporta el primer enfoque de la lógica formal en el Órganon, recogiendo diversos axiomas de Platón y otros filósofos.

En matemáticas, sin embargo, el primer intento de axiomatización llegó en 1888, cuando Richard Dedekind propuso un conjunto de axiomas sobre los números.[2] Al año siguiente, Giuseppe Peano retoma los trabajos de Dedekind y expone sus axiomas aritméticos.

Gottlob Frege, en 1884, con su obra Die Grundlagen der Arithmetik y la posterior Grundsetze der Arithmetik, trata de reducir la aritmética a la lógica. Bertrand Russell en su intento de 1901 descubrió la paradoja del mismo nombre: «paradoja de Russell», y para resolverla trabajó con Alfred North Whitehead, en Principia Mathematica. En 1899, David Hilbert reformula los axiomas de la geometría, y también explica los conceptos que Euclides dejó implícitos, por ejemplo, Euclides no dice que hay al menos tres puntos en el plano, o que hay al menos un punto en el plano que no pertenece a la línea, etc.

En el Congreso celebrado en 1900, David Hilbert planteó varios problemas, entre los que incluía la demostración de la consistencia de los axiomas de las matemáticas y la axiomatización de la física. En 1931, Kurt Gödel demostró que cualquier sistema axiomático equivalente a los axiomas de Peano es incompleto y que si este sistema es consistente, no se puede utilizar para probar su consistencia (teorema de incompletitud de Gödel).

Véase también

Referencias

  1. Sistema axiomático deductivo en symploke
  2. Richard Dedekind, 1890, Letter to Keferstein. pp. 98–103.

Enlaces externos


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Sistema formal — La noción de sistema formal se utiliza para proporcionar una definición rigurosa del concepto de demostración en lógica y en matemáticas. La noción de sistema formal corresponde a una formalización rigurosa y completa del concepto de sistema… …   Wikipedia Español

  • Sistema deductivo — Un sistema deductivo (también nombrado como aparato deductivo de un sistema formal) esta constituido de axiomas y reglas de inferencia que pueden ser usados para derivar los teoremas del sistema. Tal sistema deductivo tiene como propósito… …   Wikipedia Español

  • Sistema formal — Un sistema formal o un sistema axiomático es un artificio matemático compuesto de símbolos que se unen entre sí formando cadenas que a su vez pueden ser manipuladas según reglas para producir otras cadenas. De esta manera, el sistema formal es… …   Enciclopedia Universal

  • método axiomático — En lógica, procedimiento mediante el cual una ciencia en su totalidad o un sistema de teoremas es deducido lógicamente, de acuerdo con reglas determinadas, a partir de ciertos enunciados básicos (axiomas), que a su vez se construyen a partir de… …   Enciclopedia Universal

  • formal, sistema — En lógica, lenguaje formal, en conjunto con un aparato deductivo, por medio del cual algunas fórmulas bien construidas pueden ser derivadas de otras. Cada sistema formal tiene un lenguaje formal compuesto de símbolos primarios que figuran en… …   Enciclopedia Universal

  • Axiomas de Zermelo-Fraenkel — Los axiomas de Zermelo Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos. Normalmente se abrevian como ZF o en su forma más común, complementados por el axioma de… …   Wikipedia Español

  • Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… …   Wikipedia Español

  • Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… …   Wikipedia Español

  • David Hilbert — Nacimiento 23 de enero de 1862 Königsberg, Prusia Oriental Fallecimiento 14 de febrero de …   Wikipedia Español

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español