GÖDEL Y TURING:

CERCANIAS Y
DESENCUENTROS

Estudiante: Alysmar Zúñiga

GÖDEL Y TURING: CERCANIAS Y DESENCUENTROS
Kurt Gödel (1906-1978)
En 1931, cuando
Muy joven se interesó tenía 25 años, publicó su
por la lógica y los trabajo sobre la
fundamentos de las incompletitud de los
matemáticas. sistemas formales que
cambiaría para siempre
nuestro entendimiento de
los sistemas formales y la
lógica.

Matemático austríaco
Gödel era una persona
que hoy es considerado
muy reservada, profunda y
el lógico más relevante
obsesiva (en su infancia
desde Aristóteles.
su familia le
apodaba “Señor Por qué”).
Anécdota que
muestra muy bien
su carácter
Al llegar a Estados Unidos arrancando del
nazismo que había anexado Austria, para
nacionalizarse debió estudiar la
constitución de los Estados Unidos.
Detallista, descubrió que este entramado
lógico-legal permitiría una dictadura como
la nazi. Sus amigos Einstein y
Morgenstern intentaron
desesperadamente convencerlo que no
mencione eso en público, que era un
caso muy poco probable de darse.
Durante el examen de inmigración,
apareció el tema de las formas de
gobierno y Gödel orgulloso le indica al
examinador que tiene una demostración
de la posibilidad de una dictadura. Por
suerte el funcionario conocía a Einstein y
las extravagancias de estos personajes, y
rápidamente le cambió de tema.
GÖDEL Y TURING: CERCANIAS Y DESENCUENTROS
Kurt Gödel (1906-1978)

Gödel vivió Así murió de

tranquilo el resto de su malnutrición crónica.
vida en Princeton… Y al final de sus días se
obsesionó con que alguien lo
podía envenenar
GÖDEL Y TURING: CERCANIAS Y DESENCUENTROS
Alan Turing (1912-1954)

Matemático Desde muy joven Captó rápidamente la esencia misma del

inglés, de amplios mostró signos de resultado de Gödel y por su cuenta, sin guía
intereses genio en el estudio de formal, dio el siguiente paso (que no
científicos. las matemáticas y vislumbró Gödel) desarrollando su famoso
motivado por los formalismo (conocido hoy como “máquina de
resultados de Gödel Turing”) que captura la noción de
se interesó en la procedimiento “efectivo” (esto es, que
lógica matemática. efectivamente puede realizarse).
Con esos antecedentes… Alan Turing (1912-1954)

El Gobierno
inglés lo
Va a Princeton persiguió por
donde su condición
continúa homosexual y
estudiando con debido a ello,
Alonzo Church y también muere
se doctora en trágicamente.
1938.

Escribe
sobre
diversas
Vuelve a áreas.
Inglaterra en los
años iniciales de
la Segunda
Guerra y se Después de
enrola entre los la guerra, se
científicos que dedica a
trabajaban en construir el
asuntos militares, primer
en su caso, computador
descifrando inglés.
códigos
GÖDEL Y TURING: CERCANIAS Y
Agenda Style “Aquí hay un gran número de
los más distinguidos
Aunque Turing y Gödel nunca se matemáticos: J. v. Neumann,
Weyl, Courant, Hardy,
DESENCUENTROS

encontraron físicamente (al parecer

tampoco intercambiaron Einstein, Lefschetz y otros.
correspondencia), cada uno Desafortunadamente no hay
“descubrió” al otro a su manera. muchos lógicos. Church está
Cuando estaba en Princeton, Turing aquí, pero Gödel, Kleene,
escribía a su madre: Rosser y Bernays que
estuvieron el año pasado, se
fueron. No creo que me
importe mucho ninguno
excepto Gödel”

En la constelación de genios de Princeton, Einstein y Von

Neumann incluidos, a Turing sólo le interesó Gödel.
 La admiración (secreta) era recíproca.
GÖDEL Y TURING: CERCANIAS Y
Agenda Style
También a Gödel lo que más le llamó
la atención de la impresionante obra
lógica de los años treinta, fue la obra
de Turing. Ese formalismo logró
convencerlo que finalmente se “Debido al trabajo de A. M.
DESENCUENTROS

había encontrado la representación de Turing, es posible dar ahora

la noción de procedimiento efectivo una definición precisa e
que los matemáticos andaban incuestionable del concepto
buscando hace mucho tiempo. En general de sistema formal”.
particular, Gödel le vió una
consecuencia muy relevante que se
deducía de él y escribió:

Ahora es Gödel quien ve más allá del propio Turing.

Cuando Turing se adentraba en otros campos dejando
atrás sus investigaciones teóricas sobre lo computable,
Gödel continuó la reflexión sobre ello.