Universidad de Piura

Facultad de Ingeniera
Geometra Fundamental y Trigonometra

LECTURA: DE EUCLIDES A GDEL


Los Elementos de Euclides

El matemtico griego Euclides, hacia el ao 300 a.C.,
escribi, desde su ctedra de Alejandra, los
"Elementos", un tratado de geometra, seguida por
aritmtica, teora de ecuaciones, etc.

Por primera vez la geometra fue organizada con
arreglo al mtodo axiomtico.

De acuerdo a ese mtodo, Euclides coloca al principio
de su libro los enunciados que no demuestra: son los
axiomas o postulados, que o bien son conocidos por
experiencia, o son evidentes por s mismos. Enuncia los
siguientes:



Axiomas generales:

1.Cosas iguales a una tercera son iguales entre s.
2.Si a cosas iguales se aaden cosas iguales, se
obtienen cosas iguales.
3.Si a cosas iguales se sustraen cosas iguales, se
obtienen cosas iguales.
4.Cosas que pueden llevarse a ser congruentes, son
iguales.
5.El todo es mayor que su parte.


Axiomas particulares:

1.Por dos puntos distintos pasa una nica recta.
2.Un segmento rectilneo puede ser siempre
prolongado.
3.Hay una nica circunferencia con un centro y un
dimetro dados.
4.Todos los ngulos rectos son iguales.
5.Por un punto exterior a una recta se puede trazar
una paralela a ella y slo una (en versin
moderna; Euclides dijo lo mismo en forma ms
complicada).






Universidad de Piura
Facultad de Ingeniera
Geometra Fundamental y Trigonometra


Trminos primitivos y derivados

Los conceptos o trminos que no se definen son
enunciados despus de los axiomas.
Todo trmino nuevo tendr que ser definido en funcin
de trminos ya conocidos. Pero como la cadena de
definiciones no puede ser infinita, tiene que haber
trminos no definidos, que se admita que son conocidos
de antemano. Son los trminos primitivos, de los cuales
Euclides enuncia 23, y da una descripcin informal de
ellos: el punto (aquello que no tiene partes), la lnea
(longitud sin anchura), rectas paralelas (las que,
estando en un mismo plano, no se encuentran por ms que
se prolonguen), etc.

A partir de los tminos primitivos, podrn definirse
nuevos trminos, los derivados, con toda precisin (por
ejemplo, se puede definir la circunferencia como
conjunto de puntos del plano que equidistan de un punto
del mismo llamado centro).


La deduccin geomtrica

Con la pequea base de los axiomas y los trminos
primitivos, Euclides edifica su geometra. Uno tras otro
son demostrados los llamados teoremas (o corolarios,
cuando su deduccin es muy fcil), que se deducen a
partir de los axiomas o de otros teoremas ya demostrados
con anterioridad.

Euclides se equivoca slo en dos de los 465 asertos
que demuestra.

Su organizacin es casi perfecta. Los axiomas deben
reflejar la parte conocida por evidencia inmediata,
experiencia o induccin, y los teoremas la parte
deducida. Pero como el razonamiento se hace sin perder
de vista las entidades matemticas que se manejan
(figuras geomtricas), al razonar a veces (pocas veces)
introduce datos que no estn en los axiomas. O sea,
introduce nuevos axiomas sin advertirlo al lector (y
seguramente sin advertirlo l mismo).

El mtodo axiomtico de Euclides se llama axiomtica
material, precisamente porque no olvida en ningn
momento el tipo de entes cuyas propiedades est
estudiando: los geomtricos, de los que tiene una
representacin imaginativa muy clara. Es decir, no
pierde de vista la materia objeto de su estudio.
Universidad de Piura
Facultad de Ingeniera
Geometra Fundamental y Trigonometra




Los dos mundos de Euclides

Euclides da por supuesto que su geometra est hecha
de entes ideales, (que coinciden con las ideas de
Platn). Los cuerpos geomtricos, al contrario de los
reales, son penetrables: un cuerpo slido puede meterse
dentro de otro, para que se pueda comprobar en la
imaginacin si coinciden o no. Los puntos, rectas,
planos, y figuras ideales son el reino de la exactitud,
el rigor, la belleza y la lgica. Los entes reales los
imitan en forma burda: una recta real es gruesa y
torcida...

El mundo real es el mundo de lo imperfecto, que hay
que manejar usando el golpe de vista y el "ojo de buen
cubero".

Por ello, no merece, ese mundo real, el inters de
la ciencia, aunque sta puede usarlo como modelo para no
perderse, como inspiracin y comprobacin...siempre en
forma aproximada. Y tambin, como aplicacin prctica,
para el diseo y la ingeniera.

Euclides admite que las figuras se pueden mover sin
cambiar de forma y dimensiones, y que todas pueden
construirse con slo la regla y el comps, tanto en el
mundo ideal como en el real.


Influencia de la obra de Euclides

La obra "Elementos", de Euclides, es el libro ms
ledo (despus de la Biblia) en toda la historia de la
humanidad. Hasta el siglo XIX, ha sido libro de texto y
de estudio obligado.

El filsofo Kant (1724-1804) incluy a los axiomas de
la geometra de Euclides en los juicios sintticos a
priori, igual que hizo con los principios de la mecnica
de Newton. Era el mximo honor que les poda otorgar:
reconoca en ellos un conocimiento soberanamente cierto,
invariable y universal. Nada diferente podra hacerse en
geometra, pues la de Euclides consista, segn Kant, en
verdades necesarias, que no podran ser de otra manera,
y que llevan en s mismas la prueba de su verdad.



Universidad de Piura
Facultad de Ingeniera
Geometra Fundamental y Trigonometra





El rebelde quinto postulado de Euclides

El quinto postulado (Por un punto exterior a una
recta se puede trazar una paralela a ella y slo una) es
mucho menos evidente que los dems. El mismo Euclides lo
us lo menos posible. Los matemticos posteriores
pensaron que tal vez se podra deducir de los restantes
postulados (y sera un teorema). Pero todos los
esfuerzos para demostrarlo terminaron en fracaso.

Lo primero que se exige a un sistema de axiomas, es
que stos sean consistentes (o no sean contradictorios,
o sean compatibles; es lo mismo dicho de varias
maneras). Se indag si el quinto postulado era
compatible con los dems.

Como esa investigacin no prosperaba, el eximio
matemtico Karl Friedrich Gauss (1777-1855) estudi la
posibilidad de emplear postulados alternativos, que
pudieran reemplazar al quinto postulado de Euclides. No
se atrevi a publicar sus trabajos, por temor a "la
gritera de los beocios" (o sea de los ignorantes), como
dijo en una carta a un amigo de confianza, refirindose
a los kantianos, que se hubieran escandalizado (#Dou,
"Fundamentos...", p.34).

Pero una profunda revisin estaba ya en marcha. El
ruso Nokolai Lobatchevski (1792-1856) y el hngaro Janos
Boylai (1802-1860) propusieron una alternativa:

Por un punto exterior a una recta se pueden trazar
infinitas paralelas a ella (comprendidas dentro de un
pequeo ngulo). Desarrollaron as la geometra llamada
"del ngulo agudo" o "hiperblica", que result no
contradictoria, ms complicada que la eucldea pero a
fin de cuentas convincente.

El alemn Bernhard Riemann (1826-1866), discpulo de
Gauss, desarroll la geometra "riemanniana" en que el
quinto postulado de Euclides se convirti en:

Por un punto exterior a una recta no se puede trazar
ninguna paralela a ella, pues dos rectas siempre se
encuentran en un punto. La geometra que obtuvo no
presentaba tampoco problemas especiales, ni conduca a
contradicciones.

Universidad de Piura
Facultad de Ingeniera
Geometra Fundamental y Trigonometra

Los resultados de las tres geometras eran
diferentes. Por ejemplo, en Euclides, la suma de los
ngulos de un tringulo es 180 grados (dos rectos). En
la geometra del ngulo agudo, esa suma resulta menor
que 180, y en la riemanniana, mayor que 180.

Gauss pens y realiz una investigacin emprica del
quinto postulado. Escogi tres montes, de cimas
accesibles, separados entre s por decenas de
kilmetros. Subi a las tres cimas, con un anteojo, y
midi desde cada una el ngulo que formaban las visuales
a las otras dos. Es decir, midi los tres ngulos de un
tringulo real, de grandes dimensiones (las mayores que
pudo conseguir). Sum los tres ngulos, obteniendo 180
grados con un ligero error, explicable por la precisin
de los instrumentos usados. El experimento no decidi,
pues, cul era la geometra ms adecuada o verdadera.
Para tringulos pequeos, las tres geometras deben
coincidir. Y el tringulo usado deba ser demasiado
pequeo. (#Dou, "Fundamentos...",p.46; Eves,
"Estudio...", tomo I, p.356).


El problema de la consistencia

Mientras slo existi la geometra eucldea, no se
plante siquiera el problema de su consistencia, que
pareca estar asegurada por las entidades objeto de
estudio, que por ser reales y existentes no podan tener
contradiccin. Pero qu sucedera con las geometras no
eucldeas, o con la misma eucldea si ella no
representaba exactamente las propiedades de las formas
extensas?

En 1868, Beltrami demostr que las geometras no
eucldeas son consistentes siempre que lo sea la
eucldea. (#Dou,"Fundamentos...",p.47).

En 1899, el alemn Hilbert public "Fundamentos de la
Geometra", ampliando los axiomas de Euclides hasta el
nmero de 21. Tuvo buen cuidado de hacer las
demostraciones sin apelar a la intuicin, tratando los
trminos como unidades lgicas y nada ms: as evitaba
introducir informacin no contenida en los axiomas.
Hilbert pudo demostrar que la geometra eucldea era
consistente... siempre que lo fuera la aritmtica (que
por esas fechas ya haba sido axiomatizada).

Se haba avanzado mucho, pero no era posible
demostrar la consistencia de los axiomas de ninguna rama
de las matemticas. Estas seguan desarrollndose,
entraban en temas cada vez ms alejados de la
Universidad de Piura
Facultad de Ingeniera
Geometra Fundamental y Trigonometra

experiencia, en abstracciones crecientes, cuando
aparecieron nuevas paradojas o absurdos en ellas. Haba
que estudiar de nuevo los fundamentos de la matemtica,
que parecan estar sobre arena movediza
(#Dou,"Fundamentos...",p.47).


Axiomtica formal y sistemas formales

Los matemticos Peano y Hilbert y los lgicos Russell
y Whitehead, entre otros, realizaron a fines del siglo
XIX y principios del XX la formalizacin de las
matemticas.

Consiste en partir de los axiomas, pasarlos a una
forma simblica (substituyendo los trminos por letras,
los verbos por smbolos precisos; las deducciones por
"reglas de inferencia" que imitan los procesos
deductivos de la mente), y obtener los teoremas de un
modo puramente mecnico, con prescindencia de los
significados y de las entidades sobre las que se est
operando; conservando puras relaciones lgicas. Se
realiz as un programa largamente acariciado por
Leibnitz doscientos aos antes.

Se obtuvieron sistemas matemticos formalizados o
matemtica formal, cuyos resultados podan ser
retraducidos a la matemtica clsica (o material).

Las ventajas de los sistemas formalizados son muchas:
evitan que el matemtico pueda introducir,
inadvertidamente, informacin no contenida en los
axiomas; proporcionan una visin nueva de las ramas
estudiadas; permiten que un mismo sistema pueda ser
aplicado a realidades diferentes -con tal de que cumplan
los axiomas- logrando una gran generalidad. Eluden las
ambigedades de los idiomas hablados (latn, alemn,
ingls...). Y constituyen una mecanizacin del proceso
deductivo, que podra ser realizada por una mquina,
cosa que ya se vislumbraba como una posibilidad prxima
entonces, pues ya se intua el desarrollo de los
computadores.

Los inconvenientes de la formalizacin tambin son
notables: es un mtodo rido y laborioso; el hombre de
algn modo pierde el control sobre lo mecnico, y no
puede enmendar fcilmente los errores que pueden
acontecer si el sistema axiomtico no fuera consistente
y pudiese llevar a absurdos. Pero ese peligro
desaparecera si se pudieran obtener sistemas
axiomticos seguros, libres de contradiccin.
Universidad de Piura
Facultad de Ingeniera
Geometra Fundamental y Trigonometra


Tal vez -pensaban algunos- se podra obtener la
mquina omnisciente en matemticas, que si bien no
pensara (en sentido estricto), cargara sobre s el
peso de la deduccin, y ofrecera sus resultados al
matemtico evitndole el trabajo ms cansado. Lo que le
permitira al hombre tener la mente ms libre para la
creatividad y la interpretacin. Y la mquina no
necesitara ms que los axiomas formalizados (eso s,
libres de contradicciones, es decir, asegurando
previamente su consistencia), y las reglas de
construccin de frmulas y de deduccin bien
especificadas (y tambin sin posibilidad de conducir a
contradicciones).

La formalizacin de las matemticas fue, pues,
realizada con la esperanza de garantizar de una vez por
todas el rigor y la consistencia, y de preparar el
terreno para una mecanizacin futura.

Vana esperanza. Las paradojas, antinomias o
contradicciones salieron a flote como nunca antes lo
haban hecho. Hubo momentos de gran desnimo. Quedaba
claro que el matemtico deba abandonar su "status" de
Gran Sacerdote de la ciencia ms verdadera y ms segura;
para convertirse en un modesto artesano, vendedor de
procedimientos de organizacin del trabajo, a ratos
agusanados (las paradojas seran como los gusanos de las
matemticas).


Paradojas antiguas y nuevas

Hay conceptos paradjicos: el barbero de pueblo que
afeita a todos los hombres del pueblo que no se afeitan
a s mismos. Tal barbero no puede existir, porque no
puede afeitarse a s mismo (no afeita a los que hacen
eso); pero si no se afeita a s mismo, tiene que
afeitarse... a s mismo.

Es muy fcil definir conceptos matemticos que
resulten contradictorios, tanto como el barbero de
marras. La teora de conjuntos permite construir, sin
vulnerar ninguna de sus reglas, hasta infinitos
conceptos paradjicos.

Cuando el lgico alemn Gottlob Frege (1848-1925)
tena en prensa su obra "Fundamentos de la Matemtica",
el lgico ingls Bertrand Russell (1872-1970) le
escribi contndole que haba descubierto un concepto
paradjico (llamado despus "la antinomia de Russell").
Universidad de Piura
Facultad de Ingeniera
Geometra Fundamental y Trigonometra

Frege contest: "La aritmtica se tambalea". Y puso un
apndice a su libro, comentando ese asunto, en que
deca: "Un cientfico no puede tropezarse con algo ms
indeseable que un colapso de los fundamentos una vez que
la obra est acabada. He sido puesto en esa situacin
por una carta de Bertrand Russell" (#Quine, "The
Foundations...", p.206).

Tambin los enunciados ms simples pueden envolver
contradiccin. Es el caso de la paradoja de Epimnides:
"Todos los cretenses son mentirosos". Epimnides era
cretense. Si menta, no era verdad lo que deca. Pero si
deca la verdad, tampoco. La afirmacin se desautoriza a
s misma, por ser contradictoria.

Puede haber contradiccin en las reglas de operacin
o en las especificaciones. Una tpica orden
contradictoria es: "Se prohibe prohibir".

Un conocido profesor, cierto da, cuando era
principiante en el manejo del automvil, conduca su
coche por las calles de Lima acompaado por un amigo. En
un momento de peligro, el amigo, asustado, con toda
razn, le grit: "Derecha-izquierda-acelera-frena!". El
choque fue inevitable. El amigo le haba dado rdenes
contradictorias.

Estando Sancho Panza en la Insula Barataria, como
gobernador, tuvo que arbitrar una situacin paradjica.
Haba en la Insula un puente, donde a los que lo pasaban
se les preguntaba para qu pasaban el puente. Si decan
la verdad no eran molestados, pero si mentan eran
ahorcados. El caso es que cierto seor, cuando le
preguntaron para qu iba al otro lado del puente, haba
respondido: "Voy a que me ahorquen". Si se le ahorcaba,
habra dicho la verdad, y no merecera la horca. Pero si
se le dejaba pasar, habra mentido y debera ser
ahorcado.

Sancho Panza orden vulnerar las reglas, dejarlo
pasar y olvidar el caso (#Cervantes, "Don
Quijote...",p.690). He ah unas reglas que no resultaban
contradictorias ms que en esa situacin especial, en
que se necesitaba un tratamiento de excepcin que Sancho
Panza resolvi con cordura y bondad.

Un caso menos sutil es el de una empresa, dominada
por avaros, de la que se deca que haba buscado
contratar un empleado de menos de 25 aos de edad (para
pagarle poco), y que cumpliera una larga serie de
Universidad de Piura
Facultad de Ingeniera
Geometra Fundamental y Trigonometra

condiciones, entre ellas, la de tener 30 aos o ms de
experiencia en la labor concreta que pensaban asignarle.

Tambin hay razonamientos paradjicos o
contradictorios. Y no se crea que se deban siempre a
personas poco perspicaces o poco informadas. Hay
ejemplos ilustres:

Se nos explica en forma convincente la causa de que
el concepto de causa no sea vlido (Hume).

Se nos bombardea de argumentos con la finalidad de
demostrarnos que no existe la finalidad (los
darwinistas).

Se nos aconseja "tirar la escalera despus de haber
subido", o sea, suponer ciertas unas cosas A, deducir de
ellas otras B, y luego negar las A y conservar las B
(Wittgestein; como atenuante diremos que lo dijo en su
juventud).


Todos ellos son argumentos autodestructivos. En
general, los escpticos nos dicen que no podemos estar
seguros de nada, pero en ese caso esa afirmacin no es
nada segura. Los escpticos casi siempre cavan su propia
fosa.


Los teoremas de Gdel

Kurt Gdel (nacido en 1906 en Brno, Checoslovaquia;
la misma ciudad donde Gregor Mendel haba fundado la
Gentica medio siglo antes) public en 1931 un artculo
("Sobre proposiciones indecidibles de 'Principia
Mathematica' y sistemas relacionados") que, a pesar de
tener menos de 100 pginas, dio la vuelta al mundo
cientfico en muy poco tiempo.

Artculo difcil, con rigurosas demostraciones
lgico-matemticas; sus conclusiones no deben ser
fciles de vulgarizar adecuadamente, pues los
comentarios destinados a no especialistas adolecen de
obscuridad y de ambigedades.

Sin embargo, y a riesgo de ser muy incompletos, nos
atrevemos a resumirlas a continuacin.

Ningn sistema de axiomas de la complejidad del de
los nmeros enteros (que es el ms sencillo de toda la
matemtica) o mayor, admite una prueba de consistencia
Universidad de Piura
Facultad de Ingeniera
Geometra Fundamental y Trigonometra

basada en l mismo. Es decir, la consistencia hay que
buscarla fuera del sistema axiomtico (en otro sistema;
o en el mundo exterior).

Dado cualquier sistema de axiomas, siempre es posible
encontrar proposiciones que tienen que ser verdaderas o
falsas, y que sin embargo son indemostrables (o tambin,
indecidibles) a partir del sistema axiomtico dado.

Dado un sistema matemtico formalizado (constituido
por axiomas, reglas de formacin de frmulas, y reglas
de deduccin), y su contraparte informal (es decir, que
estudie la misma rama matemtica, pero con axiomtica
material, y reglas de deduccin informales), hay
teoremas demostrables informalmente, que no son
demostrables en el sistema formalizado.

Conclusiones

Los teoremas de Gdel indican las limitaciones del
mtodo axiomtico: siempre es incompleto, siempre est
expuesto a que la contradiccin aparezca (y ms expuesto
cuanto ms se aleje la matemtica de un modelo real, es
decir, cuando sea ms abstracta).

La mecanizacin de la deduccin, posible slo en
sistemas matemticos formalizados, no permite demostrar
ciertos teoremas que el hombre s puede demostrar de
modo informal.

"El cerebro humano puede tener limitaciones
intrnsecas, y pueden presentarse problemas matemticos
para l insolubles. Pero aun as, engloba una estructura
de reglas de inferencia mucho ms potentes que todas las
mquinas que podamos imaginar" (#Nagel, "The
Foundations...", p. 230).


En otras palabras, la mente humana no puede ser
mecanizada totalmente, ni siquiera en sus operaciones
ms mecnicas como las deducciones. Porque tiene
creatividad, inspiracin; un poder sutil que no es
mecanizable.