You are on page 1of 18

Leccin N 5: Sistemas axiomticos

1. Origen de los primeros conocimientos geomtricos


Los primeros conocimientos matemticos no se originaron en Grecia, como muchas veces se
sostiene. Aunque fragmentarios, hay documentos de los pueblos mesopotmicos (sumerios,
babilonios) y de los egipcios civilizaciones que florecieron antes que los griegos que prueban
que estos pueblos disponan de conocimientos en el rea de la geometra y de la aritmtica. Sin
tales conocimientos, no habran podido construir edificios de arquitectura tan compleja como los
templos de la Mesopotamia o las pirmides de Egipto, ni podran haber demarcado anualmente
parcelas tras las crecidas del ro Nilo.

La caracterstica fundamental de los documentos encontrados tanto en la Mesopotamia como en


Egipto es que contienen conocimientos aislados, no articulados entre s. All aparecen resueltos
algunos problemas de ndole prctica, pero no se ofrece de ellos prueba alguna o mtodo de
resolucin; simplemente se resumen los resultados.

En los textos matemticos egipcios, por ejemplo, el tratamiento de los nmeros y de las figuras era
de carcter concreto, no abstracto. Podemos encontrar en ellos afirmaciones parecidas a que 25
aceitunas ms 15 aceitunas son 40 aceitunas, pero no aparece explicitado el clculo abstracto 25
+ 15 = 40. Del mismo modo, no se hace referencia a figuras geomtricas abstractas (rectngulo,
crculo), sino a cuerpos materiales concretos, como un terreno rectangular o una vasija circular.

La geometra prehelnica constituye una tcnica cuyo fin fundamental era la prctica. Intentaba dar
respuesta a problemas concretos y de ndole cotidiana, por eso muchos de sus resultados no
fueron exactos, sino solo aproximados.

Si bien estos conocimientos no configuraban un sistema es decir, no se hallaban relacionados


entre s, no estaban organizados, es conveniente resaltar su importancia, ya que les permitieron
levantar diques, estatuas, templos, pirmides; repartir tierras; calcular reas y volmenes, y otras
mltiples aplicaciones.

2. Geometra griega

Hacia el siglo VI a. C. comienza a desarrollarse una forma peculiar de pensamiento para tratar de
explicar los fenmenos de la naturaleza. Esta forma de pensamiento surge en las ciudades griegas
de la costa egea del Asia Menor, ciudades que recibieron la influencia de los fenicios, los egipcios
y los cretenses por va martima, y de los pueblos del Asia Menor por va terrestre.

Si bien la posicin geogrfica fue un factor importante, ella no explica por s sola el surgimiento
del genio griego. A este factor hay que sumarle otras razones de ndole poltica y social que
permiten explicar el desarrollo intelectual de los griegos, cuya nueva actitud frente a la naturaleza
se basaba en el intento de ofrecer explicaciones de los fenmenos naturales sin apelar a
elementos mticos o sobrenaturales.

1
En este contexto surgieron algunos pensadores, como Tales de Mileto, Anaximandro y
Anaxmenes, que inauguraron una forma de especulacin racional sobre la naturaleza que
constituye el origen histrico de lo que llamamos ciencia.

Dichos pensadores reconocieron la importancia de la teora como organizadora de la prctica. Esto


significa que los conocimientos prcticos, basados en la experiencia, tenan que poder explicarse a
partir de nociones tericas. A partir de estas nuevas ideas, los conocimientos de carcter concreto,
singular y sin articulacin de los egipcios y de los babilonios se fueron desarrollando y adquirieron
un carcter ms abstracto y un grado mayor de generalizacin, al tiempo que se iban integrando
en un nico cuerpo de conocimiento.

Entre estos pensadores nos interesa la figura de Tales de Mileto 1, uno de los primeros
matemticos y astrnomos griegos, y uno de los primeros en utilizar mtodos deductivos en la
geometra. Como vimos en la leccin anterior, la aplicacin de mtodos deductivos permite
justificar un enunciado a partir de otros enunciados ya conocidos.

La principal contribucin de Tales no fue la resolucin de problemas geomtricos muchos de los


cuales ya tenan solucin, sino el tratamiento general de esos problemas. Esto le permiti
formular y aplicar propiedades de carcter general, dndoles ms importancia a los mtodos
involucrados en la resolucin de problemas que a las soluciones particulares.

Vamos a aclarar a qu nos referimos cuando:

1. hablamos de hallar soluciones particulares a problemas concretos, como hacan los


pueblos de la Mesopotamia
2. hablamos del tratamiento general de los problemas
1. Supongamos que tenemos un campo rectangular de 200 m de largo por 100 m de ancho. Si
queremos averiguar cuntos metros de alambre se necesitan para cercar el campo, tendremos que
calcular el permetro de ese campo: P = 200 + 100 + 200 + 100 = 600. Se necesitan, entonces,
600 m de alambre. Hemos resuelto un problema de forma particular.

3. Ahora queremos obtener una expresin que nos permita calcular el permetro de cualquier
rectngulo sin importar la medida de sus lados.

Si llamamos a y b a sus lados, podremos calcular su permetro: P = a + b + a + b = 2a + 2b

1
Se estima que Tales de Mileto floreci alrededor del 585 a.C y que muri hacia el 546-545 a.C.
aproximadamente.

2
Ahora hemos resuelto el problema de forma general.

3. Euclides y la geometra
La tarea de sistematizacin de los conocimientos matemticos alcanza un hito fundamental con el
trabajo de Euclides2, un matemtico que enseaba geometra en Alejandra 3 y que logr
sistematizar, por primera vez, una serie de conocimientos geomtricos cuya finalidad inmediata no
era la resolucin de problemas concretos, a la manera de los egipcios y de los babilonios. Cuando
hablamos de sistematizar, nos referimos a la circunstancia de que los enunciados se presentan
articulados, organizados, estructurados; es decir, no se trata de enunciados sueltos, sin relacin
entre ellos, sino que se van infiriendo o deduciendo, para decirlo de manera ms precisa unos
de otros.

Entre las obras de Euclides que se han conservado, la ms importante son los Elementos, que
pas en su momento casi inadvertida, aunque luego tuvo gran relevancia en el desarrollo de la
geometra. En ella se perfeccionan y se demuestran de forma rigurosa todos los conocimientos
geomtricos anteriores. Para llevar a cabo la sistematizacin, Euclides sigui los lineamientos que,
segn Aristteles, deba cumplir una ciencia demostrativa.

Muy brevemente: desde la perspectiva aristotlica, la ciencia era concebida como un conjunto de
afirmaciones sobre un determinado objeto, siendo requisito que tales afirmaciones fueran
generales y necesariamente verdaderas4. Adems, esas afirmaciones deban estar articuladas de
modo orgnico tal como ya vimos a propsito de Tales mediante la aplicacin de un
razonamiento lgico que permitiera apoyar ciertas afirmaciones en otras que se tomaban como
punto de partida o como principios, y respecto de las cuales no se exiga demostracin pues se
trataban de verdades evidentes5. En cuanto al vocabulario contenido en tales enunciados, tambin
aqu se introduce una distincin entre algunos trminos que se toman como primitivos y otros que
se definen a partir de aquellos. Estos lineamientos tuvieron un enorme impacto en el desarrollo de
la matemtica, y an lo tienen. Como veremos, algunos de ellos subsisten hoy en da; otros han
sido sometidos a crtica, pero recin en el siglo XIX.

Volvamos a los Elementos. All Euclides parece querer sistematizar no solo la geometra, sino toda
la matemtica conocida hasta entonces. El texto se desarrolla en trece libros; los cuatro primeros

2
No hay muchos datos certeros sobre la vida de Euclides, usualmente se lo sita entre Aristteles (384-
322 a. C.) y Arqumedes (287-212 a. C. aprox.).
3
La ciudad de Alejandra fue fundada por Alejandro Magno en la desembocadura del Nilo en el 331 a.
C. Despus de la muerte de Alejandro (323 a. C.) se convirti en la capital cultural y cientfica del mundo
helnico.
4
"Necesariamente verdaderas" y "generales" ha de entenderse en el mismo sentido que lo estudiado en
las lecciones anteriores. A diferencia de lo que ocurre con los enunciados contingentes, lo enunciado
por una oracin necesariamente verdadera es el caso y no podra ser de otro modo. En cuanto a la
exigencia de generalidad, ella radica en la conviccin aristotlica de que la ciencia es sobre lo general y
no sobre entidades particulares; por ejemplo, sobre los tringulos en general y no sobre uno especfico.
5
Ahondaremos este punto ms adelante, pero a modo de anticipo: qu le parece que ocurrira si se
extendiera la exigencia de que un enunciado debe estar demostrado a todos los enunciados?

3
libros se refieren especficamente a la geometra plana. En el primer de ellos, Euclides establece
una serie de enunciados que son suposiciones que se aceptan sin demostracin y que constituyen
los principios a partir de los cuales se va a poder demostrar el resto de los enunciados del sistema.
Euclides distingue entre ellos distintos tipos:postulados, nociones comunes y definiciones.

Los postulados hoy en da denominados axiomas son aquellos que se refieren a una ciencia en
particular, en este caso la geometra, y son los siguientes6:

1. Desde un punto a otro siempre se puede trazar una recta.

2. Una recta se puede prolongar indefinidamente en cualquiera de sus dos direcciones.

3. Dado un punto y un segmento, se puede construir un crculo que tenga a ese punto como centro
y a ese segmento como radio.

4. Los ngulos rectos son iguales entre s.

5. Si una recta corta a otras dos de manera que la suma de los ngulos interiores de un mismo
lado sea menor que dos ngulos rectos, entonces dichas rectas, prolongadas suficientemente, se
cortarn del mismo lado de la primera lnea recta en que se encuentren aquellos ngulos cuya
suma es menor que dos rectos.

La formulacin del postulado 5 que aqu damos es afn a la versin original enunciada por Euclides
y, como podr observar el lector, es de una complejidad mucho mayor que la de los cuatro
postulados anteriores. Este postulado 5 se conoce como postulado de las paralelas y dar lugar,
como veremos luego, a intensas discusiones y a cambios de gran importancia en la historia de la
geometra. Ms adelante nos ocuparemos de aclarar qu afirma este quinto postulado.

Al leer estos postulados, podemos ver que el enfoque euclidiano de la geometra es diferente del
enfoque emprico que empleaban, por ejemplo, los egipcios. Los tres primeros postulados de
Euclides muestran que no se est discutiendo directamente ningn problema real ni concreto de la
medicin de la tierra, ya que en las circunstancias reales de la medicin no es cierto que de un
punto a otro pueda trazarse siempre una lnea recta; puede haber muchos obstculos (montaas,
el mar, lagos, etc.) que lo impidieran. Tampoco es cierto que en circunstancias reales una lnea
recta pueda extenderse siempre en lnea recta. En la prctica, una lnea vertical puede prolongarse
solo una distancia finita hacia arriba o hacia abajo; incluso al trazar una lnea horizontal hay que
detenerse al encontrar trabas impenetrables. Tampoco puede trazarse con un centro y cualquier
radio dado un crculo: si el radio es muy grande, probablemente nos encontraremos con
dificultades.

6
En sentido estricto, la formulacin original de Euclides tiene otro tenor. Por ejemplo, el primer
postulado reza: Postlese el trazar una lnea recta desde un punto cualquiera hasta un punto
cualquiera (elegimos aqu esta reformulacin por cuestiones de simplicidad).

4
Euclides saba todo esto, pero se despreocupaba de estas limitaciones prcticas. Para l, en
principio, una lnea recta puede trazarse entre dos puntos aunque no podamos hacerlo en la
prctica. Lo mismo ocurre con la prolongacin de las rectas y el trazado de los crculos.

Adems de los postulados, figuran en el primer libro otros enunciados, llamados nociones
comunes, que hacen referencia a cuestiones generales que pueden aplicarse tanto a la geometra
como a otros mbitos.

Algunos ejemplos de estas nociones comunes son:

Cosas iguales a una misma cosa son iguales entre s.


El todo es mayor que cualquiera de sus partes.
Junto con los postulados y nociones comunes, Euclides incluye las definiciones. Por ejemplo:

Un punto es lo que no tiene partes.


Una lnea es una longitud sin anchura.

En este punto Euclides se despega de los lineamientos aristotlicos que indicaban comenzar con
ciertos trminos que se tomaban como puntos de partida y no se definan. Sin embargo, vemos
que Euclides pretende definir todos los trminos con los que trabaja, por ejemplo punto o recta.
Aparentemente su intencin fue dar descripciones someras de los objetos con los que trata la
geometra para evitar que en las demostraciones se deslizaran errores causados por la vaguedad
de los trminos usados. Como veremos, las presentaciones axiomticas de la actualidad son afines
a las recomendaciones aristotlicas y no a la estrategia empleada por Euclides.

A partir de los postulados y de las nociones comunes, Euclides obtiene deductivamente una serie
de enunciados llamados por l proposiciones, o en terminologa contemporneateoremas. Como
los postulados y las nociones comunes se consideran enunciados verdaderos y las proposiciones
o teoremas se obtienen deductivamente a partir de ellos, resultan tambin enunciados verdaderos
y, frecuentemente, tienen la forma de enunciados universales.

Euclides construye demostraciones de las proposiciones o teoremas, en algn sentido similares a


las deducciones estudiadas en la leccin 3. Pero a diferencia de lo que vimos en la leccin anterior
en relacin con la construccin de deducciones, Euclides no explicita las reglas de inferencia
segn las cuales procede en cada paso de la demostracin; solo parte de principios y va
obteniendo sucesivas consecuencias. A modo de ejemplo, para ilustrar la nocin
de proposicin o teorema y de demostracin, presentamos en este enlace una demostracin.

Ser una preocupacin central de los matemticos y lgicos del siglo XIX d. C. la explicitacin de la
lgica subyacente a las demostraciones geomtricas.

5
Antes de avanzar con la lectura, asegrese de poder responder las siguientes preguntas:

a. Quin fue Euclides? Cundo y dnde vivi?

b. Cul fue su obra magna y cul su aporte a la geometra?

c. Cuntos postulados establece en su sistema?

d. Qu es un postulado? Y las nociones comunes, en qu se diferencian?

e. Cul es el mtodo empleado por Euclides para la obtencin de teoremas?

f. Este mtodo, qu propiedad les garantiza a los teoremas y en qu condiciones?

g. Cmo definira un teorema?

h. La geometra de Euclides, era dependiente de las posibilidades prcticas de su aplicacin?

4. El problema del quinto postulado


Ya enunciamos con anterioridad los cinco postulados de Euclides. Veamos ahora qu quiere decir
lo expresado en esta reformulacin del quinto postulado:

Si una recta c corta a otras dos a y b formando de un mismo lado ngulos internos
menores que dos rectos, esas dos rectas a y b se cortan del lado donde se encuentran los
ngulos mencionados
Tratemos de aclarar lo que quiere decir este postulado atendiendo al siguiente dibujo:

6
Si la recta c corta a las rectas a y b y la suma de los ngulos y es menor que dos rectos ( +
es menor que 180), entonces las rectas a y b se cortan en el punto P.

Recordemos que en la poca de Euclides, un requisito de los axiomas (o postulados) era que su
verdad fuera evidente. Si atendemos a esta formulacin del quinto postulado, nos damos cuenta de
que es mucho menos evidente que los cuatro primeros.

El propio Euclides parece haber tenido alguna duda respecto a este postulado, ya que evit
utilizarlo en las demostraciones de los teoremas; llama la atencin que recin lo utiliz para
demostrar la proposicin (teorema) 29 del Libro I, aun cuando algunas de las demostraciones
anteriores habran sido ms sencillas si lo hubiera utilizado.

Esta aparente falta de evidencia de la formulacin original del quinto postulado hizo que los
gemetras posteriores a la poca de Euclides sospecharan que el postulado era, en realidad, un
teorema; es decir, que poda ser demostrado a partir de ellos. En trminos ms precisos, creyeran
que el axioma no era independiente de los otros cuatro (un axioma es independiente si no puede
deducirse del resto de los axiomas).

A lo largo de los siglos, se sucedieron los intentos de demostracin, pero toda vez que se crea
haberlo conseguido, a poco se adverta que no se haba partido solo de los cuatro primeros
postulados (como era el propsito), sino que se haba utilizado tambin otro enunciado que
resultaba equivalente al quinto postulado; es decir, se haba empleado en la demostracin una
versin distinta del postulado que se quera demostrar.

Una de esas versiones se debe a John Playfair, (matemtico escocs [1748-1819]) es la que se
utiliza generalmente en la actualidad como versin del quinto postulado y con la que trabajaremos
de aqu en adelante:

Por un punto exterior a una recta, puede trazarse una nica paralela a dicha recta.7

Los primeros intentos de demostracin del postulado en cuestin se remontan al s. I a.C y se


deben a Posidonio8 y a Gmino9, ambos intentaron demostrarlo sin xito. En las traducciones al
griego y al latn de los textos rabes, se encuentran algunos comentarios referidos al quinto

7
. Qu opina ahora de esta nueva versin del quinto postulado?, le parece ms evidente que la
anterior?
8
Posidonio de Apamea (135 al 51 a. C, aprox.) fue un filsofo estoico que realiz investigaciones de
muy diferente ndole: matemticas, astronmicas, meteorolgicas, psicolgicas, etnogrficas, ticas,
entre otras.
9
Gmino de Rodas fue un astrnomo y matemtico del siglo I a. C.

7
postulado. Sin embargo, considerando que la ciencia permaneci aletargada en Europa durante un
largo perodo, recin en el siglo XVI se retoman los intentos de demostracin de quinto postulado.

5. El trabajo de Saccheri
En el ao 1733 fue publicado un trabajo de Giovanni Gerolamo Saccheri 10. Este trabajo presenta
un enfoque metodolgico diferente si lo comparamos con los intentos anteriores por demostrar el
quinto postulado, pues la suya es una demostracin indirecta, o por el absurdo, tal como las
estudiadas en la leccin 3. Entonces, en vez de tratar de demostrar dicho postulado a partir de los
cuatro primeros, intenta probarlo por va indirecta, partiendo de los postulados 1 a 4 y de la
negacin del 5. Supona que iba a encontrar una contradiccin que le permitira rechazar su
supuesto provisional (la negacin del 5 postulado) y concluir entonces el 5 postulado. Ello valdra
como una demostracin -de carcter indirecto- del postulado 5 a partir de los otros cuatro y, por
ende, de que no era independiente. En efecto, si efectivamente el postulado 5 se deduca de los
anteriores y se introduca su negacin, la contradiccin habra de surgir eventualmente.

Saccheri us la formulacin original de Euclides, pero aqu trabajaremos con la versin ms


sencilla de Playfair:

Por un punto exterior a una recta, pasa una sola paralela a dicha recta.
En qu consiste negar ese postulado? Negarlo puede consistir en afirmar alguno de estos
enunciados:

Caso 1. Por un punto exterior a una recta, no pasa ninguna paralela.


Caso 2. Por un punto exterior a una recta, pasa ms de una paralela.11
Saccheri analiz los enunciados que resultaban de negar el postulado quinto y, si bien las
contradicciones sugirieron en el primer caso, no ocurri lo mismo en el segundo. Al suponer los
cuatro postulados ms la negacin del quinto ilustrada en el segundo caso, no lleg a
contradiccin alguna, aunque s obtuvo una cantidad de teoremas extraos, lo que a sus ojos fue
indicio de que la contradiccin estaba prxima y crey, con ello, haber vindicado la figura de
Euclides.

Pero paradjicamente, esto abri las puertas para el desarrollo futuro de nuevas geometras,
aunque debi pasar mucho tiempo para que esto sucediera. Los gemetras rechazaban las
hiptesis propuestas por Saccheri (casos 1 y 2), tal como l mismo lo hiciera, porque la autoridad

10
Giovanni Gerolamo Saccheri (1667-1733) fue un matemtico italiano. A los dieciocho aos ingres en
la Compaa de Jess. Estudi los Elementos de Euclides bajo la gua del gemetra Tommaso Ceva.
Desde 1697 ense matemticas en la universidad de Pava. La obra fundamental de Saccheri,
publicada el mismo ao de su muerte, es Euclides ab omni naevo vindicatus [Euclides reivindicado].
11
En realidad los casos analizados por Saccheri fueron tres, pues como dijimos, l trabaj con una
versin diferente del quinto postulado. No desarrollaremos aqu el detalle del trabajo, ya que excede los
objetivos de nuestra materia. Para una presentacin ms detallada le sugerimos consultar la bibliografa
ampliatoria.

8
de Euclides, la confianza en la intuicin y el contexto en el que estaban inmersos pesaban ms que
sus propias conclusiones.

En los aos posteriores a la publicacin del trabajo de Saccheri que permiti que empezaran a
incubarse nuevas ideas en torno a la geometra, continu el intento de demostrar, por distintos
mtodos, el ya famoso postulado de las paralelas. Varios trabajos, sobre todo en Francia, lograron
avances importantes en la geometra, pero ninguno de ellos pudo demostrar el quinto postulado. A
fines del siglo XVII, todos estaban de acuerdo con DAlambert 12, quien deca: La definicin de las
paralelas es el escndalo de la geometra. Todos aceptaban su validez, pero no lograban quitarle
su categora de postulado. Con ello, se segua creyendo que el sistema eucldeo era el nico
sistema geomtrico posible.

6. Geometras no euclidianas
El matemtico alemn Carl Friedrich Gauss13 fue el primero que vio con claridad la independencia
del quinto postulado y la posibilidad de construir una geometra distinta de la eucldea.

Recordemos que un postulado o axioma es independiente cuando no puede deducirse de los


dems postulados o axiomas del sistema. Si el postulado quinto de Euclides fuera independiente,
podra reemplazarse por otro y, manteniendo los dems postulados (1 a 4), se podra desarrollar
una nueva geometra a partir de ese nuevo grupo de axiomas.

Eso fue lo que hizo Gauss. Reemplaz el quinto postulado por el siguiente:

Por un punto exterior a una recta, pueden trazarse infinitas paralelas a dicha recta.
Se trata de una versin del segundo caso mencionado a propsito de Saccheri. Gauss trabaj con
este axioma y con los otros cuatro de Euclides, y demostr propiedades y teoremas que no lo
llevaban a ninguna contradiccin.

Recordemos que esta es una de las ideas que haba explorado Saccheri y que rechaz (aunque no
haba llegado a una contradiccin) porque supuso que haba algn error en el desarrollo y que la
contradiccin deba existir, aunque l no hubiera podido hallarla.

En esta nueva geometra desarrollada por Gauss, en la que existen infinitas paralelas, se
demuestran teoremas distintos a los de la geometra eucldea. Por ejemplo, mientras que a partir
de los cinco postulados euclidianos se puede demostrar que la suma de los ngulos interiores de
un tringulo es igual a dos rectos (180), partiendo de los postulados que elige Gauss, resulta que
la suma de los ngulos interiores de un tringulo es menor de 180.

12
DAlambert (1717-1783) fue un matemtico, filsofo y enciclopedista francs, uno de los mximos
exponentes del movimiento ilustrado,
13
Carl Friedrich Gauss (1777-1855) fue un matemtico, astrnomo, geodesta y fsico alemn que
contribuy significativamente en muchos campos, incluida la teora de nmeros, el anlisis matemtico,
la geometra diferencial, la estadstica, el lgebra, la geodesia, el magnetismo y la ptica. Considerado
el prncipe de los matemticos y el matemtico ms grande desde la antigedad, Gauss ha tenido
una influencia notable en muchos campos de la matemtica y de la ciencia.

9
En 1829 Gauss dio a conocer su trabajo, pero solo en forma privada, y nunca lo public porque
pensaba que sus conclusiones geomtricas podan ser consideradas insensatas para la
mentalidad de su poca. No quiso arriesgar el prestigio que haba ganado con sus trabajos por los
cuales se lo llamaba el prncipe de los matemticos.

La idea de geometras no eucldeas ya estaba madura y no iba a pasar mucho tiempo para que
irrumpiera en el horizonte de la matemtica.

En 1823, apareci un trabajo de Jnos Bolyai 14 que fue publicado como apndice de un libro de su
padre, tambin matemtico. Dicho trabajo exploraba la hiptesis de la existencia de infinitas
paralelas y fue enviado a Gauss, quien le respondi al padre que l haba llegado a las mismas
conclusiones, aunque no pensaba publicarlas, y que se alegraba de que fuera el hijo de un amigo
quien lo hiciera.

En 1826, Nikoli Lobachevski15 present un trabajo, al que luego siguieron varias publicaciones, en
el que desarroll un sistema geomtrico que tomaba los cuatro primeros axiomas de Euclides y un
quinto que, al igual que Gauss y Bolyai, afirmaba la existencia de infinitas paralelas.

En esta geometra, que se conoce como geometra hiperblica, hay teoremas que son comunes
con los de la geometra eucldea (todos aquellos que se deducen solo de los cuatro primeros
axiomas) y otros que no lo son (aquellos que se demuestran usando el quinto postulado). Entre los
ltimos se encuentra el de la suma de los ngulos interiores de un tringulo, que mencionamos
ms arriba.

Muchos de los contemporneos de Lobachevski, educados como nosotros en un mundo eucldeo,


consideraron que esta geometra resultaba caricaturesca.

Recordemos que la geometra hiperblica resulta de tomar una de las hiptesis de Saccheri, la de
la existencia de infinitas paralelas. Faltaba estudiar la otra hiptesis, la de la existencia de ninguna
paralela. Cuando Saccheri desarroll esta hiptesis, haba credo encontrar una clara
contradiccin.

En 1854, Bernhard Riemman 16 present su tesis doctoral ante un jurado del cual formaba parte
Gauss, quin se sinti muy entusiasmado con este trabajo. En l se exploraban las consecuencias
que surgan al negar el quinto postulado suponiendo la no existencia de rectas paralelas.

14
Jnos Bolyai (1802-1860) fue un matemtico hngaro.
15
Nikoli Lobachevski (1792-1856) fue un matemtico ruso. Es considerado, junto con el alemn Carl
Friedrich Gauss y con el hngaro Jnos Bolyai, uno de los fundadores de la geometra no euclidiana o
hiperblica (imaginaria en la denominacin de Lobachevski) y como uno de los gemetras ms ilustres
de todos los tiempos.
16
Bernhard Riemman (1826-1866) fue un matemtico alemn que realiz contribuciones muy
importantes al anlisis y la geometra diferencial, algunas de las cuales allanaron el camino para el
desarrollo ms avanzado de la relatividad general de Einstein.

10
Esta geometra se denomina geometra elptica y supone algunas otras modificaciones adems de
la del quinto postulado. Como en este sistema la recta es cerrada, tampoco se cumple el segundo
postulado de Euclides, que es el que postula la infinitud de la recta. Al abandonar tambin este
postulado, Riemman evitaba las contradicciones halladas por Saccheri.

Como consecuencia de los axiomas de Riemman, se puede probar como teorema que la suma de
los ngulos interiores de un tringulo es mayor que 180.

Resumamos las principales caractersticas de las geometras presentadas:

Tipo de geometra N. de Suma de los ngulos Recta


paralelas de un tringulo

Euclides Una 180 Infinita

Lobachevski Infinitas Menor que 180 Infinita


(hiperblica)

Riemman (elptica) Ninguna Mayor que 180 Cerrada

Hemos visto que los gemetras lograron desarrollar distintos sistemas incuestionables desde un
punto de vista lgico: los nuevos conjuntos de axiomas permitan deducir nuevos teoremas, y tal
conjunto de enunciados por ms extraos que resultaran al sentido comn no resultaban
contradictorios entre s. Surgi, entonces, el problema de cmo interpretar estos nuevos sistemas.

Una respuesta sencilla fue interpretarlos como juegos, como muestras de los alcances del ingenio
y la imaginacin humana. As, durante ms de veinte siglos la geometra euclidiana no solo fue la
nica geometra, sino que fue tambin la geometra del espacio: se trataba de la geometra que
describa el espacio fsico. Los puntos, rectas, tringulos de los que se hablaba en
los Elementos no eran otros que aquellos que encontramos en los objetos en nuestra vida diaria y
aquellos que dibujamos. All, a todas luces, los ngulos interiores de un tringulo suman 180 y por
un punto exterior a una recta, pasa una paralela y solo una.

De este modo, el surgimiento de estas nuevas geometras origin un cambio en el modo de


concebir la disciplina, y se hizo inteligible la distincin entre una geometra pura y otra aplicada;
entre una geometra matemtica y otra fsica. La primera meramente describa estructuras
posibles; la otra pretenda describir la realidad fsica.

11
Progresivamente, estos sistemas axiomticos fueron concebidos, entonces, como estructuras
formales, que partiendo de ciertos enunciados permitan construir edificios coherentes, pero donde
esos enunciados no referan a entidad alguna. As, al hablar de punto o recta, no se haca
referencia a algo en particular (a ninguna entidad especfica), sino que eran trminos cuyo
comportamiento quedaba establecido a partir de los axiomas. Veamos un ejemplo para aclarar
este punto.

Supongamos que construimos un sistema axiomtico ahora no sobre geometra, sino sobre
regmenes de gobierno y decidimos tomar los siguientes enunciados como axiomas:

1. El presidente es electo por el pueblo.


2. El mandato del presidente dura cuatro aos.
3. Luego de un primer mandato, el presidente puede ser reelecto.
4. Luego de un segundo mandato, no puede ser reelecto.

Podemos pensar que los axiomas son verdaderos, y en efecto lo son para el caso de la Argentina.
Sin embargo, no resultan as si se consideran otros pases. En cualquier caso, un sistema que
contase con estos principios es consistente. Que un conjunto de axiomas sea consistente quiere
decir que no se deriva de ellos contradiccin alguna. Pero tambin es consistente el siguiente
sistema:

1. El presidente es electo por el pueblo.


2. El mandato del presidente dura cuatro aos.
3. Luego de un primer mandato, el presidente puede ser reelecto.
4. Luego de un segundo mandato, puede ser reelecto.

Si bien este sistema no describe la organizacin poltica de la Argentina, sigue siendo una
estructura poltica posible, y de hecho as es en otros pases. Algo interesante podra ser la
comparacin de las consecuencias que se siguen en uno y otro caso, aunque para volverlo
verdaderamente interesante deberamos incluir ms axiomas.

Por el contrario, esta nueva organizacin no funciona:

1. El presidente es electo por el pueblo.


2. El mandato del presidente dura cuatro aos.
3. Luego de un primer mandato, el presidente puede ser reelecto.
4. El presidente nunca puede ser reelecto.

Como podr observarse, surge una contradiccin de la afirmacin conjunta de 3 y 4. Este sistema
no es consistente. Por eso dijimos al presentarlo que no funciona: falla desde un punto de vista
lgico; no importa que se est hablando de regmenes de gobierno, no importa si se trata de la
Argentina o de otro pas: el sistema falla.

12
Paradjicamente, el siguiente sistema s es aceptable desde un punto de vista lgico:

1. El presidente electo desarrolla superpoderes.


2. Los superpoderes duran mientras dure el mandato.
3. Luego de su mandato, el presidente no puede recuperar sus superpoderes.

Seguramente estos principios entren en contradiccin con las leyes de la biologa, sin embargo, a
los efectos de analizar el sistema conformado por estos tres axiomas, aqu no surge problema
alguno: el sistema es consistente. Sin embargo, como acordar el lector, solo aplicable a la ficcin.

El punto por destacar es que podemos ver estos sistemas de axiomas como formales en el
sentido de que no se refieren a un pas especfico y obtener las consecuencias que de ellos se
derivan. Podemos estudiar el sistema en s mismo. Desde ya, podramos luego aplicarlo para el
estudio de casos particulares. Para ello, habra que interpretar los trminos involucrados en el
sistema para que refirieran al caso en cuestin; por ejemplo, para que hablen sobre los presidentes
de la Argentina.

Volvamos entonces a la geometra. Todo pareca indicar que la geometra euclidiana era la
geometra del espacio y que las otras eran ms afines a la ficcin que a la realidad. Una era la
geometra que se aplicaba al mundo; las otras eran sistemas meramente formales. Pero la historia
tuvo un desenlace inesperado.

Las geometras no euclidianas no resultaron ser simples ejercicios de lgica; bien por el contrario:
ellas permiten interpretar el universo en el que vivimos. La fsica del tomo y de las estrellas, por
caso, las emplean en sus investigaciones, y Einstein no habra podido desarrollar las ecuaciones
de la teora de la relatividad si no hubiera contado con las herramientas que estas nuevas
geometras aportaron.

7. Sistemas axiomticos desde una perspectiva


contempornea
En el apartado anterior analizamos el sistema axiomtico de Euclides, establecido segn el modelo
de ciencia demostrativa propuesto por Aristteles. Ahora vamos a caracterizar con mayor precisin
qu es un sistema axiomtico desde una perspectiva contempornea, que se caracteriza por
estudiar los sistemas axiomticos con un enfoque formal. Veremos que si bien existen grandes
similitudes con los planteos de Euclides y de Aristteles, hay diferencias en algunos aspectos.

Siguiendo la sugerencia de sistematicidad y organizacin deductiva de los enunciados, en un


sistema axiomtico encontramos dos tipos o categoras de enunciados: axiomas y teoremas.

13
Los axiomas son los enunciados que se aceptan sin demostracin y constituyen los puntos de
partida de las demostraciones (aquellos que eran denominados postulados por Euclides). A
diferencia de Aristteles y de Euclides, ya no se exige que los axiomas sean verdades evidentes;
solo se trata de enunciados que se acepta tomar como puntos de partida. Esta consideracin no es
casual: el nuevo enfoque formal con que se aborda la formulacin de los sistemas axiomticos
hace que pierda sentido la exigencia respecto de la verdad de los axiomas. Puesto que si los
axiomas no refieren a entidades especficas, si son meros constructos formales, no cabe ni siquiera
predicar de ellos verdad o falsedad. Mucho menos, entonces, exigirla.17

Los teoremas son enunciados que se demuestran (es decir, se obtienen deductivamente) a partir
de otros enunciados mediante reglas de inferencia.

Los sistemas axiomticos tambin deben incluir de modo explcito las reglas de inferencia que se
utilizan para demostrar teoremas. Las reglas de inferencia presentadas en la leccin anterior
podran ser candidatas a ocupar este lugar dentro de un sistema axiomtico (seguramente en una
versin formalizada de ellas). Como vimos, estas reglas lgicas garantizan que si se parte de
enunciados verdaderos, las conclusiones tambin sern verdaderas. Aplicado a nuestro caso: si se
admiten los axiomas como verdaderos, los teoremas tambin lo son.

De modo que las demostraciones parten de axiomas o de teoremas ya demostrados previamente


y, por aplicacin de las reglas de inferencia, permiten obtener nuevos teoremas. Los axiomas de
una demostracin juegan un papel similar al de las premisas de una deduccin, y los teoremas
(ltimo enunciado de una demostracin) pueden ser asimilados a su conclusin. Una demostracin
es, entonces, una secuencia finita de pasos en donde cada uno se deriva de un enunciado anterior
que o es un axioma, o bien es otro teorema que ya ha sido demostrado.

Todos estos enunciados estn compuestos por trminos (expresiones lingsticas con significado),
y podemos distinguir entre ellos dos tipos:

Trminos lgicos (expresiones como todos, son, pasan por, sientonces, y, o, etc.,
que estudiamos en la segunda leccin)
Trminos no lgicos: por ejemplo, en el caso de la geometra se refieren a entes
geomtricos (recta, punto, tringulo, crculo, ngulo, etc.)
Dentro de estos ltimos podemos distinguir entre:

Trminos primitivos: se aceptan y emplean sin definicin


Trminos definidos: se definen a partir de los primitivos
Tal como anticipramos, Euclides no realiza esta distincin y pretende ofrecer una definicin
incluso de aquellos trminos que hoy consideraramos primitivos. Varios siglos despus, David
Hilbert (1862-1943. Matemtico alemn. Durante muchos aos se dedic fundamentalmente a la
geometra. En su obra de 1899, dedicada a proporcionar a la geometra euclidiana una
fundamentacin estrictamente axiomtica y que ha ejercido una gran influencia sobre el desarrollo
de la matemtica en el siglo XX, realiz el primer esfuerzo sistemtico y global para hacer

17
Recordemos que los axiomas pueden ser interpretados para que s refieran a entidades o
circunstancias especficas, y all s cabra preguntarse por su verdad.

14
extensivo a la geometra el carcter puramente formal que ya haban adquirido la aritmtica y el
anlisis matemtico.) desarrollar una nueva sistematizacin ahora de carcter formal de la
geometra euclidiana. En sus trabajos tomar punto, recta y plano como trminos primitivos, sin
incluir definicin alguna. El resto de los trminos, por ejemploparalela, sern definidos a partir de
los trminos tomados como primitivos. De modo que los sistemas axiomticos actuales incluyen
tambin definiciones, pero solo de ciertos trminos, precisamente los trminos definidos.

Por ltimo, los sistemas axiomticos suelen incluir reglas de formacin que indican cmo
combinar los diferentes trminos para dar lugar a expresiones complejas bien formadas. Por
ejemplo, si intentramos sistematizar axiomticamente la aritmtica, seguramente queramos
introducir reglas sintcticas que nos permitan construir expresiones complejas tales como "2+2=4"
y no "224+=". Aunque podramos disponer las reglas de otro modo, desde ya. A diferencia de las
reglas de inferencia, que nos permiten obtener consecuencias a partir de axiomas o teoremas ya
probados, las reglas de formacin nos indican cmo construir sintcticamente los enunciados que
cumplirn (o no) el rol de axiomas o teoremas.

La seleccin de los axiomas


Hemos mencionado con anterioridad que los axiomas se toman como puntos de partida, que se los
acepta como enunciados verdaderos sin que sea necesario demostrarlos. Podemos preguntarnos
por qu es necesario tomar estos puntos de partida y cmo decidir qu enunciados elegir como
axiomas.

Trataremos de contestar a la primera pregunta. Supongamos que queremos justificar el


enunciado A. Para ello necesitamos otros enunciado. Supongamos por simplicidad que solo
necesitamos un enunciado, llammoslo B, del cual podamos deducir A. Pero tambin tenemos que
justificar B. Necesitaremos otro enunciado C del cual deducirlo. Pero tambin tenemos que
justificar C. Si no tomramos un punto de partida, seguiramos con este proceso indefinidamente y
caeramos en lo que se conoce como regresin al infinito.

Grficamente:

Se podra evitar esta regresin al infinito si C se dedujera de A. En ese caso no se necesitara otro
enunciado para probarlo, pero caeramos en un crculo vicioso.

Grficamente:

15
Vemos que es necesario aceptar algunos enunciados sin demostracin.

En cuanto a cules son los enunciados que se tomarn como axiomas, dijimos que de acuerdo con
la concepcin de la poca de Euclides, deban ser enunciados cuya verdad fueraevidente. Este
criterio de evidencia que ha sido dejado de lado en la axiomtica moderna tiene sus dificultades,
ya que lo que es evidente para una persona podra no serlo para otra. Se trata de un criterio
subjetivo y, por lo tanto, no es un criterio confiable.

Tambin dijimos que en los sistemas axiomticos modernos, no se pretende que los axiomas sean
verdades evidentes: solo son puntos de partida que se eligen de manera convencional, a tal punto
que lo que es un axioma en un sistema podra ser un teorema en un sistema diferente.

Si atendemos al carcter formal que tienen los axiomas, podemos comprender por qu ni siquiera
se exige ni se puede exigir- que sean verdaderos. En tanto enunciados formales los trminos que
los componen no refieren a nada, no pudiendo ser entonces los enunciados verdaderos ni falsos.
Slo cabe preguntarse por su verdad una vez que dichos enunciados son aplicados a un
determinado dominio de objetos, son interpretados.

En los prrafos anteriores hemos presentado los componentes de los sistemas axiomticos. Ahora
sistematizaremos algunos requisitos que deben cumplir tales sistemas. Algunos de ellos ya fueron
discutidos a propsito de las geometras no euclidianas.

8- . Propiedades de los sistemas axiomticos

* Independencia: un enunciado es independiente cuando no puede demostrarse a partir de los


dems enunciados del sistema. Para que un sistema axiomtico sea independiente, todos sus
axiomas deben serlo. Parece un requisito bastante razonable, ya que si uno de los axiomas
pudiera deducirse de los otros, pasara a ser un teorema y no tendra sentido conservarlo como
axioma. Este requisito, aunque deseable, no es estrictamente necesario, ya que un sistema
redundante (no independiente) no es pasible de ninguna objecin lgica; sin embargo, la
independencia permite una ms simple deduccin de los teoremas.

* Consistencia: este requisito supone que un enunciado y su negacin no pueden ser probados
simultneamente dentro del sistema. Es decir, si dentro de un sistema se puede probar el

16
enunciado A y su negacin, no A, el sistema ser inconsistente. Como vimos en la segunda
leccin, el enunciado que afirma A y no A es un enunciado contradictorio, siempre falso. Este
requisito s es necesario, pues hay la pretensin de que el sistema no incluya falsedades.

* Completitud: la nocin de completitud es un tanto compleja, en particular porque existen varias


nociones de completitud. Aqu solo esbozaremos uno de los sentidos: diremos que un sistema
axiomtico es completo cuando permite demostrar todo lo que se pretenda demostrar a la hora de
construir el sistema, es decir, cuando hay garanta de que ninguna verdad quedar fuera del
sistema. Como vimos, el sistema de Euclides intent sistematizar todas las verdades conocidas,
pero en sentido estricto no lo logr, pues muchas de las demostraciones
contenan lagunas o huecos. Fue David Hilbert, en su Fundamentacin de la
Geometra, quien habra de subsanar esta situacin.

Ejercicio 12

Dado un sistema axiomtico conformado por un lenguaje especfico, por las reglas de
inferencia presentadas en la leccin anterior y por los siguientes grupos de axiomas,
responda las preguntas que se formulan a continuacin.

Las respuestas a este ejercicio sern discutidas en los foros temticos correspondientes.

a. Axiomas:

A1- Hay dos competidores: el competidor 1 y el competidor 2.

A2- Si uno de los competidores convierte un gol, gana el juego.

A3- Si uno de los competidores gana el juego, obtiene un premio.

A4- Si un competidor gana el juego, el otro competidor lo pierde.

A5- Si un competidor pierde, no obtiene premio alguno.

A6- Si un competidor gana el juego, el otro competidor no obtiene premio alguno.

i. Construya una demostracin del siguiente teorema:

T1- Si uno de los competidores convierte un gol, obtiene un premio.

ii. Es el sistema aqu presentado independiente? Por qu?

iii*. Es el sistema consistente?

17
b. Axiomas:

A1- Se enfrentan dos equipos en un partido que dura una hora y media.

A2- El equipo que ms goles convierte al finalizar el partido es el vencedor y el que menos
goles convierte es el perdedor.

A3- Si ambos equipos convierten la misma cantidad de goles al finalizar el partido ambos
equipos empatan.

A4- El equipo que menos goles convierte al finalizar el partido es el vencedor.

A5- Si un equipo es el perdedor, no es el vencedor.

A6- En todo partido hay un equipo vencedor o dos equipos empatados.

i. Construya una demostracin del siguiente teorema:

T1- El equipo que menos goles convierte al finalizar el partido es el vencedor y no es el


vencedor.

ii. Es el sistema consistente?

iii*. Si considerramos que este sistema se ha construido para organizar todo el conocimiento
disponible sobre el ftbol le parece que el sistema resultara completo?

18