Presentacin informal de la axiomatizacin de la aritmtica:

Teora Aritmtica: presentacin axiomtica informal

1) Cero es un nmero natural.
2) El sucesor inmediato de un nmero natural es un nmero natural
3) Cero no es el sucesor inmediato de un nmero natural
4) No hay dos nmeros naturales que tengan el mismo sucesor inmediato.
5) Si una propiedad se aplica a cero y dado cualquier nmero, si se aplica a l, tambin se
aplica a su sucesor inmediato, entonces esa propiedad se aplica a todos los nmeros
naturales.
Una teora axiomtica formal pretende expresar los axiomas intuitivos de la aritmtica:
- Lenguaje formalizado: expresiones lgicas y expresiones no-lgicas.
- Expresiones no lgicas del lenguaje de la aritmtica:
0 (cero),
S (sucesor de un nmero natural),
x!y = z (z es la suma de x e y),
x ! y = z (z es el resultado de multiplicar x ! y), etc.
- Axiomas especficos para las expresiones no lgicas: Cero, Sucesor, Suma,
Multiplicacin
- Aparato deductivo: lgica de primer orden con identidad.
Tres Teoras Formales de la Aritmtica:
El aparato deductivo de todas estas teoras no es ms rico que el de FOL. En FOL no se
puede cuantificar sobre propiedades. Por eso, es importante notar que en ninguna de las tres
teoras podemos cuantificar sobre todas las propiedades de los nmeros naturales. Esto es,
como las propiedades se expresan a travs de extensiones, ninguna la las tres teoras permite
cuantificar sobre conjuntos de nmeros.
BA (Baby Arithmetic)
Carece por completo de cuantificacin. En BA no se pueden expresar hechos generales acerca
de nmeros.
Axioma 1: 0 " S#
Axioma 3: # ! 0 = #
Los axiomas son esquemas: ellos definen la funcin sucesor, adicin y multiplicacin. Cada uno
especifica un nmero infinito de axiomas formales. Cada instancia lingstica de los esquemas
es un axioma de BA.
El aparato lgico incluye la ley de Leibniz: si a = b y $(a), entonces $(b).
Propiedades de BA
- Es decidible si una fbf es una instancia de uno de los esquemas.
- BA es una teora completa respecto de la negacin
- BA es decidible.
- BA es una teora que logra probar toda afirmacin correcta que expresa.
Pero
- BA no expresa demasiado: su completitud surge del alto precio de ser expresivamente
y extremadamente empobrecida.
Q (Robinson Arithmetic)
Axioma 1: %x (0 " Sx)
Axioma 2: %x%y (Sx = Sy & x=y )
Los dos primeros axiomas definen las caractersticas mnimas acerca de los nmeros
naturales (que es un conjunto infinito con un primer elemento).
Axioma 3: %x (x " 0 & 'y (x = Sy) )
Asegura que haya un solo cero: evita dominios con seudo-ceros. Cuando se tiene el
axioma de induccin, Ax 3 es un teorema de PA.
Definicin recursiva de adicin
Axioma 4: %x (x ! 0 = x)
Axioma 5: %x%y (x ! Sy = S (x!y))
Definicin recursiva de multiplicacin
Axioma 6: %x (x ! 0 = 0)
Axioma 7: %x%y (x ! Sy = (x ! y) ! x)
Propiedades de Q
Q es capaz de expresar ciertos hechos generales acerca de nmeros (cuantifica sobre objetos).
Q es correcta: los axiomas son todos verdaderos y su lgica es preservadora de verdad hacia los
teoremas.
Q no es completa respecto de la negacin.
Q prueba todo lo que prueba BA. Por eso, correctamente decide toda oracin que carezca de
cuantificacin.
Hay simples verdades que Q no puede probar: Q puede probar que 0! S0 = S0. Pero no puede
probar que %x (0! x = x) es un teorema.
Q no es capaz de expresar leyes generales sobre nmeros como la conmutatividad y
asociatividad de la suma.
PRUEBA
Estrategia: para probar que X no es un teorema de Q, usualmente se busca un modelo (a
menudo no estandar) que haga a los axiomas de Q verdaderos y por lo tanto tambin a todos
sus teoremas pero que al mismo tiempo no haga verdadero a X.
N* = N () a , b*
I (S*a) = a
I (S*b) = b
a !* n = a
b !* n = b
%x (x !* a = b)
%x (x !* b = a)
Este modelo hace verdaderos todos los axiomas de Q, pero (por construccin del modelo 0 !*a
" a ) no hace verdadera a %x (0! x = x)
Obviamente, Q tampoco prueba %x (0! x = x). Por eso,
Teorema 8.2: Q no es completa respecto de la negacin.
A pesar de no ser completa respecto de la negacin, Q es interesante: Q tiene suficiente poder
expresivo como para capturar todas las propiedades decidibles. Q captura todas las propiedades
recursivas primitivas (importante subclase de las propiedades decidibles).
PA (Peano Arithmetic)
Axioma 1: %x (0 " Sx)
Axioma 2: %x%y (Sx = Sy & x=y )
Axioma 3: %x (x ! 0 = x)
Axioma 4: %x%y (x ! Sy = S (x!y))
Axioma 5: %x (x ! 0 = 0)
Axioma 6: %x%y (x ! Sy = (x ! y) ! x)
Axioma de Induccin:
(+ (0) , %x( +(x) & +(Sx))) & %x (+(x))