Beruflich Dokumente
Kultur Dokumente
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.
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.
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.
3. Ahora queremos obtener una expresin que nos permita calcular el permetro de cualquier
rectngulo sin importar la medida de sus lados.
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:
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.
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.
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.
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:
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
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.
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:
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.
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.
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.
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.
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:
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:
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.
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:
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.
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.
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:
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.
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.
* 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.
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:
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.
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