UNIDAD I:

La concepcin aristotlica de la ciencia

Aristteles inaugura el criterio de que una ciencia terica est constituida por un conjunto
de proposiciones lgicamente sistematizables, a saber: las proposiciones se dividen en
principios (que a su vez se clasifican en principios comunes o axiomas y principios
propios) y en consecuencias lgicas de los principios o teoremas.
Los principios comunes son verdades que se refieren a cualquier gnero de objetos. Ej.:
los principios lgicos, de no contradiccin, de identidad, del tercero excluido. Los
principios propios en cambio no, son especficos de un gnero de entidad.
La geometra de Euclides como cristalizacin de la axiomtica clsica
Los puntos de partida de los razonamientos de Euclides constan de principios y
proposiciones que se dividen respectivamente en definiciones, postulados, axiomas y
problemas y teoremas. Euclides usa en total 132 definiciones, 5 axiomas, 5 postulados y
465 proposiciones demostradas. En la metodologa euclideana no hay trminos
primitivos, pues Euclides pretende que de la totalidad de los trminos se ofrezca una
definicin.
Ejemplos:
-

Definiciones: punto es lo que no tiene partes; lnea es una longitud sin

anchura; superficie es aquello que slo tiene longitud y anchura; los extremos
de una superficie son lneas, etctera.

- Postulados:
- 1. Trazar una lnea recta de un punto cualquiera a un punto cualquiera.
- 2. Producir una recta finita continuamente en lnea recta.
- 3. Dibujar un crculo con cualquier centro y distancia.
- 4. Todos los ngulos rectos son iguales entre s.
5. Si una lnea 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.
-

- Axiomas: las cosas que son iguales a una misma cosa son iguales entre s; si
a iguales se agregan iguales, los totales son iguales; si a iguales se sustraen
iguales, los restos son iguales; las cosas que coinciden entre s son iguales entre
s; el todo es mayor que la parte.

El surgimiento de las geometras no euclidianas.

La prehistoria de las geometras no euclidianas comienza con el intento de mostrar el V
postulado de Euclides.
Desde el punto de vista actual. lo que resulta de todos estos intentos de demostrar el
postulado V es que ninguno consigui hacerlo a partir de los cuatro anteriores sino que,
explicita o implcitamente, usaron algn otro postulado, adems de los cuatro primeros.
Se intenta probar el V postulado por reduccin al absurdo en este intento surgen dos
nuevas geometras que son las no euclidianas:
La geometra hiperblica: (Saccheri) existen varias rectas paralelas que pasen por un
punto exterior a una dada. Se cambia el sendito de paralelas, se le da otra definicin. (esta
es la que vemos)
La geometra elptica: Dada una recta y un punto exterior a ella, no existe ninguna recta
que pase por el punto y sea paralela a la recta dada.
Tambin estuvo el intento de negar el V postulado. Suponiendo que se iba a encontrar una
contradiccin, pero la contradiccin nunca se encontr.
Gauss: es el nico en sospechar que el V postulado es independiente de los otros cuatro y
que no se poda demostrar, ni en forma directa ni por el absurdo, porque no estaba
implicado por los otros cuatro postulados.
Pero Gauss, no tena pruebas de que era independiente. El hecho de deduzca ninguna
contradiccin no quiere decir que no est implicada.
Dos sentidos de la expresin geometra no eucldea
1. se llama geometra no euclidiana a cualquier sistema geomtrico en el cual se
demuestre al menos un teorema que es incompatible con un teorema de la
geometra de Euclides. Y en este sentido hay muchas geometras no euclideas.
2. la geometra no euclidiana es la geometra que se obtiene remplazando el V
postulado por su negacin. Este es el sentido de Lobachevsky y Gauss. Ac hay
que distinguir otros dos sentidos:
- las que se obtienen manteniendo los cuatro primeros postulado y remplazando el
V. (Lobachevsky) por un punto exterior a una recta pasan ms de una paralela
(geometra hiperblica).
- las que se obtienen remplazando el quinto y modificando alguno de los otros
postulados.
El programa logicista
Componentes de los sistemas axiomticos
Propiedades de los sistemas axiomticos

El formalismo de Hilbert
El texto Grundlagen der Geometrie (Fundamentos de la geometra), que Hilbert public
en 1899, sustituye los tradicionales axiomas de Euclides por sistema formal de 21
axiomas. Evitan las debilidades identificadas en los de Euclides, cuya obra clsica
Elementos segua siendo usada como libro de texto en aquel momento.
El enfoque de Hilbert marc el cambio al sistema axiomtico moderno. Los axiomas
no se toman como verdades evidentes. La geometra puede tratar de cosas, sobre las
que tenemos intuiciones poderosas, pero no es necesario asignar un significado explcito
a los conceptos indefinidos. Como dice Hilbert, los elementos tales como el punto, la
recta, el plano y otros, se pueden sustituir con mesas, sillas, jarras de cerveza y otros
objetos. Lo que se discute y se desarrolla son sus relaciones definidas.
Hilbert comienza enumerando los conceptos sin definicin: punto, recta, plano,
incidencia (una relacin entre puntos y planos), estar entre, congruencia de pares de
puntos y congruencia de ngulos. Los axiomas unifican la geometra plana y la slida de
Euclides en un nico sistema.
Formalismo
Siguiendo la tendencia que se haba convertido en estndar a mitad de siglo, el conjunto
de problemas de Hilbert tambin constitua una especie de manifiesto, que abri la va
para el desarrollo de la escuela del Formalismo matemtico, una de las tres escuelas
matemticas ms importantes del siglo XX. De acuerdo al formalismo, la matemtica es
un juego carente de significado en el que uno lo practica con smbolos carentes de
significado de acuerdo a unas reglas formales establecidas de antemano. Por tanto es una
actividad de pensamiento autnoma. Sin embargo, hay margen para la duda al respecto de
si la propia visin de Hilbert era simplistamente formalista en este sentido.
El programa de Hilbert
Artculo principal: Programa de Hilbert

En 1920 propuso de forma explcita un proyecto de investigacin (en metamatemtica,

como se llam entonces) que acab siendo conocido como programa de Hilbert. Quera
que la matemtica fuese formulada sobre unas bases slidas y completamente
lgicas. Crea que, en principio, esto poda lograrse, mostrando que:
1. toda la matemtica se sigue de un sistema finito de axiomas escogidos
correctamente; y
2. que tal sistema axiomtico se puede probar consistente.

Este enfoque ha tenido xito e influencia en relacin con el trabajo de Hilbert en el

lgebra y el anlisis funcional, pero no ha conseguido cuajar igual con sus intereses en
fsica y lgica.
El trabajo de Gdel
Hilbert y los matemticos de talento que trabajaron con l en esta empresa estaban
dedicados al proyecto. Su intento de dar soporte a la matemtica axiomatizada con
principios definidos, que eliminara las incertidumbres tericas, iba sin embargo a acabar
en derrota.
Gdel demostr que no se poda demostrar la completitud de ningn sistema formal no
contradictorio que fuera suficientemente amplio para incluir al menos la aritmtica, slo
mediante sus propios axiomas. En 1931 su teorema de la incompletitud mostr que el
ambicioso plan de Hilbert era imposible tal como se planteaba. El segundo requisito no
poda combinarse con el primero de forma razonable, mientras el sistema axiomtico sea
genuinamente finito.
Sin embargo, el teorema de completitud no dice nada al respecto de la demostracin de la
completitud de la matemtica mediante un sistema formal diferente. Los logros
posteriores de la teora de la demostracin como mnimo clarificaron la relacin de la
consistencia con las teoras de inters principal para los matemticos.
Se puede ver que el primer teorema de Godel da una demostracin de
incompatibilidad: el sistema no puede ser axiomtico, consistente y completo a la
vez. Pude tener dos de esas propiedades pero no las tres a la vez. Yo puedo tener una
aritmtica que sea consistente y completa, pero no axiomtica. Si es axiomtica y
consistente, es incompleta y si es axiomtica y completa es inconsistente. Entonces,
lo usual es o bien trabajar con una aritmtica no axiomatizada, que puede ser
consistente y completa, o bien trabajar con una axiomtica consistente pero que es
incompleta. Es ese, en esencia, el resultado de Godel.