Sistemas Axiomticos Formales

La matemtica es la ciencia en la que no se sabe de qu se

habla ni siquiera si lo que se dice es verdadero.
Bertrand Russell
Un sistema formal matemtico consiste en lo siguiente:

1. Un conjunto finito de smbolos que pueden ser usados para la construccin de

frmulas.
2. Una gramtica, es decir, un mecanismo para la construccin de frmulas bien
formadas (fbf). Tambin debe proporcionarse un algoritmo de decisin para
conocer si una determinada frmula es bien formada o no.
3. Un conjunto de axiomas que deben ser frmulas fbf.
4. Un conjunto de reglas de inferencia.
5. Un conjunto de teoremas. Este conjunto incluye todas las fbf que pueden ser
derivadas de los axiomas o de otros teoremas por medio de las reglas de
inferencia. La gramtica no necesariamente garantiza la decidibilidad de si una
frmula es teorema o no.

Algunos ejemplos de sistemas axiomticos

En Los Elementos de Euclides se establecen cinco axiomas ("lo valioso", en griego) para
la geometra; esos axiomas son los siguientes:
1. Dados dos puntos, se puede trazar una recta que los une.
2. Cualquier segmento puede ser prolongado de forma continua en una recta
ilimitada en la misma direccin.
3. Se puede trazar una circunferencia que tenga su centro en cualquier punto y
con cualquier radio.
4. Todos los ngulos rectos son iguales.
5. Si una recta, al cortar a otras dos, forma los ngulos internos de un mismo lado
menores que dos rectos, esas dos rectas prolongadas indefinidamente se
cortan del lado en el que estn los ngulos menores que dos rectos (este
axioma es conocido con el nombre de axioma de las paralelas y fue enunciado
ms tarde tambin de la siguiente manera: por un punto exterior a una recta se
puede trazar una nica paralela).

El sistema de Peano es un sistema de postulados a partir del cual puede deducirse toda
la aritmtica de los nmeros naturales. Los primitivos de este sistema son los trminos
"0" (cero), "nmero" y "sucesor", de los cuales, por ser primitivos no se da definicin
alguna. Sin embargo, se entiende por "0" dicho nmero, el trmino "nmero" designa
a los nmeros naturales 0, 1, 2, 3,... exclusivamente, y con "sucesor" de un nmero
natural n se refiere al nmero natural inmediato siguiente de n en el orden natural. El
Sistema de Peano contiene los 5 postulados que siguen:

P1: 0 es un nmero.
P2: El sucesor de un nmero es siempre un nmero.
P3: Dos nmeros nunca tienen el mismo sucesor.
 P4: 0 no es el sucesor de nmero alguno.
P5: Si P es una propiedad tal que (a) cero tiene la propiedad P, y (b) siempre
que un nmero n tenga la propiedad P el sucesor de n tambin tendr la
propiedad P, entonces todos los nmeros tendrn la propiedad P.

El ltimo postulado entraa el principio de induccin matemtica e ilustra claramente

el alcance de una "verdad" matemtica por convencin. Se construye la aritmtica
fundamental sobre esta base, definiendo los diversos nmeros naturales como el
sucesor de cero ( 0' ), el sucesor del sucesor de cero( 0 ), y as hasta el infinito.
-------------------------------------------------------------------------------------------------------------------

LA ESTETICA DE LA RAZON MATEMATICA Guillermo Martnez

Leyendo a Euclides
Beppo Levi
Libros del Zorzal, 223 pginas, 2000.

Publicada en La Nacin, 2001.

A fines de los aos 30, perseguido por Mussolini, lleg a la Universidad del Litoral
un hombre diminuto, de aspecto frgil y frente ancha. Era Beppo Levi, uno de los
matemticos ms importantes de este siglo. Se lo haba contratado como
investigador en uno de los primeros institutos especializados que tuvo el pas pero
por una de las clsicas paradojas argentinas, pronto sobrevino una intervencin
arrasadora, y Levi acab dando clases rutinarias de anlisis para los alumnos de
primer ao. Fue tambin en Rosario donde se public por primera vez Leyendo a
Euclides. Casi cincuenta aos despus, un grupo de discpulos acaba de reeditar
esta incursin casi detectivesca en el pensamiento socrtico.
Para entender la importancia de este libro se debe tener en cuenta que los
axiomas de Euclides para la geometra no slo fueron y son todava en gran medida
el paradigma del modo de operar de la razn matemtica sino que cristalizaron
tambin una esttica profunda y casi imperativa para esa razn, con implicaciones
mltiples en la filosofa que llegan hasta la poca contempornea. Esa esttica es
la del balance delicado entre simplicidad y alcance, entre la mnima cantidad de
presupuestos y la mxima cantidad de consecuencias derivables.
En efecto, la atraccin y seduccin del modelo euclideano reside en que a partir de
nociones muy elementales como punto, recta, crculo, y slo cinco axiomas que
vinculan de manera casi obvia estas nociones entre s, puede desarrollarse de
teorema en teorema toda la geometra clsica, es decir, la totalidad de la
geometra que conoca la humanidad hasta no hace mucho tiempo atrs y que
Kant crey la nica posible: la geometra que se corresponde con la forma en que
vemos el mundo y sirve a cartgrafos, arquitectos y agrimensores para todos los
usos diarios.
La larga influencia del procedimiento axiomtico en la filosofa puede rastrearse en
la Etica de Spinoza, que lleva como subttulo Demostrada segn el orden
geomtrico y tambin en la bsqueda de Descartes de una verdad a salvo de
toda duda razonable que pudiera servir como primer principio y punto de apoyo
para construir, por pasos puramente lgicos, un sistema de pensamiento
inexpungable. Pero quiz la historia ms conocida en torno a la geometra
euclideana es la que tiene que ver con el quinto postulado:
Dada una recta y un punto fuera de ella, hay una nica recta paralela a la dada que
pasa por ese punto.
De los cinco axiomas este ltimo era, incluso para el propio Euclides, el menos
obvio, y en las demostraciones trata de utilizarlo slo cuando es estrictamente
necesario. Durante dos mil aos se pens que tal vez sera posible probar este
quinto axioma a partir de los cuatro anteriores, como un teorema ms, y encontrar
esa demostracin elusiva se convirti en el principal problema abierto de los
gemetras. Finalmente un joven estudiante ruso, Nikolay Lobachevsky, descubri
en 1826 que era enteramente posible desarrollar una nueva geometra en la que
fueran vlidos los cuatro primeros axiomas pero no el quinto. Posteriormente
Bolyai prob algo todava ms curioso: que la nueva geometra, por extraa que
pudiera parecer a la intuicin, era tan legtima y slida como la euclideana, en el
sentido de que si llevaba a alguna contradiccin lgica, la culpa de esta
contradiccin no podra atribuirse a la negacin del quinto postulado, sino a los
cuatro anteriores, compartidos con la geometra clsica.
Gauss, que haba llegado por su cuenta a las mismas conclusiones, fue uno de los
primeros en observar que la existencia de una geometra no euclideana pona en
crisis la idea kantiana de una nocin a priori del espacio. Este fue uno de los golpes
ms duros a la filosofa de Kant, al que se sumaron luego los experimentos sobre la
geometra de la percepcin visual, tampoco enteramente euclideana, debidos a
Helmholtz.

El programa de Hilbert y la incompletitud

El espritu de Euclides revivi con particular fuerza a principios de 1900 en el programa

de Hilbert para fundamentar la matemtica. Algunas paradojas lgicas sealadas por
Russell en la teora de conjuntos haban hecho crujir por primera vez el edificio
orgulloso de la matemtica y mostraban la necesidad de buscar principios y mtodos
de corroboracin que permitieran la revisin cuidadosa de cada resultado. La idea
detrs del programa de Hilbert era que deba dotarse a toda la matemtica de un
conjunto de axiomas bien determinados, como los cinco postulados de Euclides, de
manera que todo resultado que los matemticos proclamasen como verdadero -
utilizando cualquier mtodo- pudiera corrobarse y reobtenerse a partir de estos
axiomas por medio de un procedimiento puramente mecnico, en una sucesin finita
de pasos. En una palabra, Hilbert procuraba identificar la nocin de verdadero con la
nocin de demostrable.
Pero ya en la vida real estamos acostumbrados a que estas dos nociones no son
necesariamente equivalentes. Basta pensar en cualquier crimen con dos nicos
sospechosos. Cualquiera de los dos involucrados sabe la verdad sobre su
culpabilidad o inocencia: yo fui o yo no fui. Sin embargo la justicia debe reunir por
otros caminos evidencias huellas, colillas, verificacin de horarios- para decidir
sobre esta cuestin y demasiadas veces los indicios no son suficientes para
alcanzar esa verdad. Ms an, puede ocurrir incluso que ni la culpabilidad de uno
ni la inocencia del otro sean demostrables.
En 1930 Kurt Gdel mostr en lo que fue un golpe de efecto dramtico e
inesperado- que exactamente lo mismo ocurre en la matemtica. Su clebre
teorema de incompletitud dio por tierra con el programa de Hilbert al revelar que
an en el fragmento elemental de la aritmtica -los nmeros naturales, con la
suma y la multiplicacin- es imposible dar una cantidad finita de postulados, a la
manera de Euclides, que permitan reobtener como teoremas todos los enunciados
verdaderos. Es decir, la aritmtica, a diferencia de la geometra clsica, es
irreductible a un tratamiento axiomtico.
El teorema de Gdel, convertido demasiado ligeramente en fetiche de la
postmodernidad y de los psiclogos lacanianos, debe verse como un resultado
sobre la limitacin de los mtodos formales axiomticos, y en general, como un
resultado sobre la limitacin del lenguaje. Desde el punto de vista de la
matemtica dice que hay ms complejidad en el mundo de los objetos
matemticos de la que pueden dar cuenta los mtodos finitistas de demostracin.
Dice tambin que la inteligencia y el discernimiento humano es irremplazable: no
puede modelarse una computadora que arroje todos los enunciados verdaderos
sobre los nmeros naturales. El factor humano insustituible es la facultad de
interpretar y asignar sentido.
A la vez, el resultado de Gdel pone por primera vez en crisis la esttica
simplicidad-alcance profundamente asimilada a partir de Euclides en el
pensamiento matemtico: la aritmtica, y muchos otros fragmentos de la
matemtica, no pueden axiomatizarse sin perder en el camino una parte de su
alcance.