Lección #5 - Sistemas Axiomáticos (Versión Imprimible)

IPC UBA XXI (1er cuatrimestre 2016)
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.
Ejercicio 1
Determine la verdad o falsedad de los enunciados que se listan a continuacin.
a.
b.
c.
Las civilizaciones prehelnicas carecan de conocimientos matemticos.

Los egipcios lograron un grado de abstraccin matemtica notablemente elevado.
Los pueblos de la Mesopotamia desarrollaron una matemtica tendiente a la
Adriana Espejo y Alejandra Valente
d.
resolucin de problemas prcticos.

La matemtica prehelnica no estaba organizada sistemticamente.
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.
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 Mileto1, 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.
2. Ahora queremos obtener una expresin que nos permita calcular el permetro de
cualquier rectngulo sin importar la medida de sus lados.
a
b
Si llamamos a y b a sus lados, podremos calcular su permetro: P = a + b + a + b = 2a +
2b
Ahora hemos resuelto el problema de forma general.
------------------------1. Se estima que Tales de Mileto floreci alrededor del 585 a.C y que muri hacia el 546-545
a.C. aproximadamente.
Ejercicio 2
Complete cada una de las oraciones que se listan a la izquierda con la opcin que
corresponda.
a. Una nueva actitud hacia la naturaleza por parte de los
pensadores griegos dio lugar a lo que hoy llamamos ..........
b. Tales fue uno de los primeros matemticos en utilizar
c. Los griegos dieron .. a los problemas

matemticos.
d. el mtodo deductivo
e.
un
general
f. ciencia
tratamiento
3. Euclides y la geometra
La tarea de sistematizacin de los conocimientos matemticos alcanza un hito

fundamental con el trabajo de Euclides1, un matemtico que enseaba geometra en
Alejandra2 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 verdaderas3. 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
evidentes4. 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 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 siguientes5:
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.
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
contempornea teoremas. 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.
----------------------1. No hay muchos datos certeros sobre la vida de Euclides. Se lo sita entre Aristteles (384322 a. C.) y Arqumedes (287-212 a. C. aprox.).
2. 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.
3. "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.
4. 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?
5. 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).
Ejercicio 3
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:
a
P
c
b
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.1

Los primeros intentos de demostracin del postulado en cuestin se remontan al s. I a.C
y se deben a Posidonio2 y a Gmino3, ambos intentaron demostrarlo sin xito. En las
traducciones al griego y al latn de los textos rabes, se encuentran algunos
comentarios referidos al quinto 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.
----------------------------1. Qu opina ahora de esta nueva versin del quinto postulado?, le parece ms evidente que
la anterior?
2. 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.
3. Gmino de Rodas fue un astrnomo y matemtico del siglo I a. C.
Ejercicio 4
Complete las siguientes oraciones de modo que resulten verdaderas:
a. La verdad del quinto postulado de Euclides no es tan ..... como la de los
otros cuatro.
b. Por esta razn, los matemticos posteriores pensaron que podra tratarse de un
....
c. Los intentos de demostracin del quinto postulado no fueron exitosos, porque sin
quererlo, siempre se apelaba a un enunciado ......
5. El trabajo de Saccheri
En el ao 1733 fue publicado un trabajo de Giovanni Gerolamo Saccheri1. 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.2
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 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 DAlambert3, 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.
-------------------------1. 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
10

fundamental de Saccheri, publicada el mismo ao de su muerte, es Euclides ab omni naevo
vindicatus [Euclides reivindicado].
2. 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.
3. DAlambert (1717-1783) fue un matemtico, filsofo y enciclopedista francs, uno de los
mximos exponentes del movimiento ilustrado.
Ejercicio 5
Determine la verdad o falsedad de las siguientes oraciones.
a.
Saccheri intent demostrar el quinto postulado a partir de la aceptacin de los otros

cuatro y de la negacin del quinto.
Pretenda con ello llegar a una contradiccin y as probar por absurdo el quinto
postulado.
Saccheri lleg a enunciados contradictorios y con ello demostr el quinto
postulado.
Saccheri no lleg a enunciados contradictorios y ello abri el camino de nuevas
geometras.
b.
c.
d.
6. Geometras no euclidianas
El matemtico alemn Carl Friedrich Gauss1 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
11

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.
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 Bolyai2 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 Lobachevski3 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
12

credo encontrar una clara contradiccin.
En 1854, Bernhard Riemman4 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.
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
Euclides
N. de
paralelas
Una
Suma de los ngulos de un

tringulo
Recta
180
Infinita
Lobachevski (hiperblica) Infinitas
Menor que 180
Infinita
Riemman (elptica)
Mayor que 180
Cerrada
Ninguna
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
13

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.
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.
2.
3.
4.
El presidente es electo por el pueblo.

El mandato del presidente dura cuatro aos.
Luego de un primer mandato, el presidente puede ser reelecto.
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.
2.
3.
4.
El presidente es electo por el pueblo.

El mandato del presidente dura cuatro aos.
Luego de un primer mandato, el presidente puede ser reelecto.
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.
14

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.
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.
----------------------------1. 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
15

antigedad, Gauss ha tenido una influencia notable en muchos campos de la matemtica y de
la ciencia.
2. Jnos Bolyai (1802-1860) fue un matemtico hngaro.
3. 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.
4. 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.
Ejercicio 6
Determine la verdad o falsedad del siguiente enunciado:
Cada conjunto de axiomas poda considerarse como describiendo una estructura
meramente posible, luego, al ser interpretado -haciendo que los trminos del sistema
refirieran a entidades especficas- poda formularse la pregunta sobre cul de esos
sistemas describa el mundo fsico.
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.
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
16

verdad o falsedad. Mucho menos, entonces, exigirla.1
Los teoremas son enunciados que se demuestran (es decir, se
deductivamente) a partir de otros enunciados mediante reglas de inferencia.
obtienen
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 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 ejemplo paralela, 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
17

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.
--------------------1. Recordemos que los axiomas pueden ser interpretados para que s refieran a entidades o
circunstancias especficas, y all s cabra preguntarse por su verdad.
Ejercicio 7
a. Enumere los diferentes elementos que componen un sistema axiomtico desde
una perspectiva contempornea.
b. Elabore un esquema que resuma la clasificacin de los tipos de trminos de un
sistema axiomtico y otro esquema para los diferentes tipos de enunciados.
Ejercicio 8
Determine la verdad o falsedad de cada uno de los enunciados que se listan a
continuacin.
a.
Los principios de los sistemas axiomticos se demuestran deductivamente.
b.
De acuerdo con la concepcin contempornea de los sistemas axiomticos, los

teoremas son verdaderos.
c.
Los teoremas se obtiene por aplicacin de reglas inductivas.
d.
Las reglas de inferencia garantizan la conservacin de la verdad.
Ejercicio 9
Determine cules de las siguientes afirmaciones corresponden a la concepcin
18

euclidiana de los sistemas axiomticos y cules a la concepcin contempornea.
a.
Los axiomas se asumen como puntos de partida, pero no puede predicarse de

ellos verdad ni falsedad.
b.
Los axiomas son verdades evidentes que se toman como puntos de partida.
c.
La referencia de los trminos de un sistema axiomtico queda establecida a partir

de una interpretacin.
d.
No todos los trminos de un sistema axiomtico deben estar convenientemente

definidos.
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.
19

Grficamente:
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
fuera evidente. 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.
20
Ejercicio 10
Indique el nmero de la opcin correcta y el de su correspondiente justificacin.
3.
1. se definen
4.
a. Los trminos
primitivos de un
sistema
axiomtico
Porque
5.
2. no se definen
6.
3.
1. se demuestran
4.
b. Los axiomas
de un sistema
axiomtico
Porque
todos los trminos deben

definirse.
debe estipularse su significado.
se caera en un crculo vicioso.
son trminos sencillos conocidos

por todos.
son los enunciados que se

deducen de los teoremas
son las reglas de inferencia del
sistema.
se caera en un regreso al infinito.
5.
2. no se
demuestran
6.
ya estn demostrados.
8. Propiedades de los sistemas axiomticos
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.
* 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
21

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 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 11
Complete los siguientes enunciados seleccionando alguna de las opciones que
se proponen, de modo que el enunciado resulte verdadero.
a. Un sistema axiomtico es consistente cuando
i.
ii.
iii.
iv.
todos los axiomas han sido demostrados.

no puede derivarse un axioma de los otros axiomas del sistema.
no pueden derivarse de sus axiomas un enunciado y su negacin.
se derivan de los axiomas todas las verdades del sistema.
b. Un sistema axiomtico es completo cuando

i.
ii.
iii.
iv.
ninguna verdad queda fuera del sistema.

no pueden derivarse de sus axiomas un enunciado y su negacin.
no requiere trminos definidos.
c. Un sistema axiomtico es independiente cuando
22

i.
ii.
iii.
iv.


los teoremas del sistema son independientes entre s.
no requiere de trminos definidos.
ninguna verdad queda fuera del sistema.
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.
a. Axiomas:
-
Hay dos competidores: el competidor 1 y el competidor 2.

Si uno de los competidores convierte un gol, gana el juego.
Si uno de los competidores gana el juego, obtiene un premio.
Si un competidor gana el juego, el otro competidor lo pierde.
Si un competidor pierde, no obtiene premio alguno.
Si un competidor gana el juego, el otro competidor no obtiene premio alguno.
i. Construya una demostracin del siguiente teorema:

-
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?
b. Axiomas:
-
Se enfrentan dos equipos en un partido que dura una hora y media.

El equipo que ms goles convierte al finalizar el partido es el vencedor y el que
menos goles convierte es el perdedor.
Si ambos equipos convierten la misma cantidad de goles al finalizar el partido
ambos equipos empatan.
El equipo que menos goles convierte al finalizar el partido es el vencedor.
Si un equipo es el perdedor, no es el vencedor.
En todo partido hay un equipo vencedor o dos equipos empatados.
i. Construya una demostracin del siguiente teorema:
23

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

el vencedor.
ii. Es el sistema consistente? por qu?

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?

24

Lección #5 - Sistemas Axiomáticos (Versión Imprimible)

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Lección #5 - Sistemas Axiomáticos (Versión Imprimible)

Enviado por

Direitos autorais:

Formatos disponíveis

IPC UBA XXI (1er cuatrimestre 2016)

Leccin N 5: Sistemas axiomticos

Los primeros conocimientos matemticos no se originaron en Grecia, como muchas

Las civilizaciones prehelnicas carecan de conocimientos matemticos.

Adriana Espejo y Alejandra Valente

IPC UBA XXI (1er cuatrimestre 2016)

resolucin de problemas prcticos.

Hacia el siglo VI a. C., comienza a desarrollarse una forma peculiar de pensamiento

Adriana Espejo y Alejandra Valente

IPC UBA XXI (1er cuatrimestre 2016)

c. Los griegos dieron .. a los problemas

Adriana Espejo y Alejandra Valente

IPC UBA XXI (1er cuatrimestre 2016)

La tarea de sistematizacin de los conocimientos matemticos alcanza un hito

IPC UBA XXI (1er cuatrimestre 2016)

Cosas iguales a una misma cosa son iguales entre s.

Adriana Espejo y Alejandra Valente

IPC UBA XXI (1er cuatrimestre 2016)

Un punto es lo que no tiene partes.

En este punto Euclides se despega de los lineamientos aristotlicos que indicaban

Adriana Espejo y Alejandra Valente

IPC UBA XXI (1er cuatrimestre 2016)

Quin fue Euclides? Cundo y dnde vivi?

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

Cuntos postulados establece en su sistema?

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

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

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

Cmo definira un teorema?

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

4. El problema del quinto postulado

Ya enunciamos con anterioridad los cinco postulados de Euclides. Veamos ahora qu

Adriana Espejo y Alejandra Valente

IPC UBA XXI (1er cuatrimestre 2016)

Adriana Espejo y Alejandra Valente

IPC UBA XXI (1er cuatrimestre 2016)

En el ao 1733 fue publicado un trabajo de Giovanni Gerolamo Saccheri1. Este trabajo

Adriana Espejo y Alejandra Valente

IPC UBA XXI (1er cuatrimestre 2016)

En qu consiste negar ese postulado? Negarlo puede consistir en afirmar alguno de

Adriana Espejo y Alejandra Valente

IPC UBA XXI (1er cuatrimestre 2016)

Saccheri intent demostrar el quinto postulado a partir de la aceptacin de los otros

IPC UBA XXI (1er cuatrimestre 2016)

Adriana Espejo y Alejandra Valente

IPC UBA XXI (1er cuatrimestre 2016)

Suma de los ngulos de un

Lobachevski (hiperblica) Infinitas

Menor que 180

Mayor que 180

Adriana Espejo y Alejandra Valente

IPC UBA XXI (1er cuatrimestre 2016)

El presidente es electo por el pueblo.

El presidente es electo por el pueblo.

Si bien este sistema no describe la organizacin poltica de la Argentina, sigue siendo

Adriana Espejo y Alejandra Valente

IPC UBA XXI (1er cuatrimestre 2016)

Como podr observarse, surge una contradiccin de la afirmacin conjunta de 3 y 4.

Adriana Espejo y Alejandra Valente

IPC UBA XXI (1er cuatrimestre 2016)

7. Sistemas axiomticos desde una perspectiva contempornea

En el apartado anterior analizamos el sistema axiomtico de Euclides, establecido

Adriana Espejo y Alejandra Valente