CARNET: 1690-19-22993

BRAYAN RIVALDO OBANDO CASASOLA

El quinto postulado
pitagorasTodos conocemos el teorema de Pitágoras. Nos lo enseñan en la escuela
hasta que nos lo sabemos de memoria: el cuadrado de la hipotenusa es igual a la
suma del cuadrado de los catetos. Sin embargo esto es solo la punta del iceberg de
una historia más interesante.
Todo comienza con Euclides y su obra Los Elementos en la cual se exponen una
serie de postulados formales geométricos, lo que más tarde llamaremos “geometría
euclidiana“. La geometría euclidiana es la geometría que todos intuimos de forma
natural en el plano, con axiomas del tipo: “entre dos puntos solo existe una recta”.
Los postulados de Euclides representan los axiomas fundamentales a partir de los
cuales se puede construir cualquier teorema geométrico.
El quinto postulado de Euclides era un poco más complicado, decía algo así como:
angulos1“Si una recta al cortar a otras dos forma ángulos internos menores a un
ángulo recto, esas dos rectas prolongadas indefinidamente se cortan del lado en el
que están los ángulos menores que dos rectos.”
Que puede hacerse equivalente a una forma más sencilla:
“Por un punto exterior a una recta, se puede trazar una única paralela a la recta
dada.”
A primera vista esto es evidente, pero durante siglos se mantuvo una pregunta en
el aire: ¿era el quinto postulado realmente una verdad evidente (un axioma) o podía
ser deducido del resto de postulados previos? Sin embargo a lo largo de los siglos
los intentos de demostración no tuvieron éxito.
Todo parecía indicar que el quinto postulado era un axioma no deducible de otros
axiomas euclideos. Un axioma es por definición indemostrable, es una verdad dada
a priori a partir de la cual construimos el resto del “castillo” matemático. Sin embargo,
la indemostrabilidad del quinto postulado no era tan fácil de aceptar. Parecía indicar
la imposibilidad de demostrar que dos rectas paralelas (según la definición del
quinto postulado) no se cortarían nunca. Esto recuerda al problema metafísico del
infinito. ¿Cómo podemos demostrar que las rectas nunca se cortarán en su
prolongación infinita? Una cosa es la intuición que podamos tener y otra el problema
de la demostración matemática formal.
Geosphere El gran genio matemático Gauss le dio la vuelta al problema pensando
que podrían existir geometrías donde el quinto postulado no fuera cierto. Hasta
 CARNET: 1690-19-22993
BRAYAN RIVALDO OBANDO CASASOLA
La prueba de Turing consiste en lo siguiente:

Imagina que tenemos dos sujetos en dos habitaciones contiguas, la habitación A y

la habitación B. En la A se encuentra una persona, mientras que en la B hay o bien
una persona o bien una máquina. Se comunican mediante mensajes escritos (como
en un chat) y la persona de la habitación A debe averiguar si en la habitación B hay
una máquina o un ser humano.

Observa la imagen de la derecha: el individuo X se encuentra en la habitación A,

mientras que al otro lado del tabique, en la habitación B, se halla una máquina (X
ignora si se trata de una máquina o de un humano). X hará preguntas para intentar
averiguar si su interlocutor es humano o mecánico. Si X no es capaz de averiguarlo
entonces la máquina ha superado la prueba de Turing y podemos afirmar que es
inteligente; si consigue averiguarlo, entonces la máquina no ha superado la prueba,
lo que querrá decir que no es inteligente.

En consecuencia, la prueba no tiene por finalidad establecer si la máquina posee

sentimientos y/o pensamientos "conscientes", sino si la máquina es capaz de actuar
mediante mensajes escritos de tal forma que nos haga creer y presuponer que
razona y tiene inteligencia.