La fascinación de Turing

La universalidad de la Lógica es una creencia típicamente occidental. Todos saben que Dios creó al mundo en lenguaje matemático, ¿pero acaso lo hizo en forma de silogismo? Galileo imaginaba al creador como un matemático, y las palabras con las que creo el mundo ecuaciones. El diablo creo la Lógica para parecerse a Dios. Con el diablo, por supuesto, nos referimos al Hombre. Sirvan estas hipérboles irresponsables como introducción a la fascinación que sentía Turing por el desarrollo de la Lógica, que es la misma fascinación subversiva y anarquista que hace parte de todo buen aficionado a la lógica. Cuando amamos la Lógica decimos: “no importa que otros hayan pensado, y no importa cual crean sea la verdad revelada, el don de la razón me ha sido dado y solo él me basta para hablar con Dios”.

En el video veremos la hermosa dramatización que la BBC hizo de la vida del importante lógico-matemático ingles Alan Turing, quien nos explica en que consistió el desarrollo del programa formalista de Russell y Hilbert, y el impacto que constituyo para el mismo el descubrimiento del teorema de Godel:

Anuncios

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s