Gödel

Lo bueno y lo malo

En la obra teatral Breaking The Code (rompiendo códigos), escrita por el dramaturgo británico Hugh Whitemore, sobre la vida de Alan Turing hay una escena que representa la entrevista que Dillwyn Knox le realiza antes de reclutarlo en el equipo de Bletchey Park, para descifrar los código Enigma. En esta escena Knox le pide que explique en términos simples su trabajo teórico en matemáticas. Turing responde: “Es un documento técnico en lógica matemática.

Gödel

por Igor Kramer: Gödel from Igor Kramer on Vimeo.

La respuesta

Dicen que al final de sus días Kurt Gödel trataba de demostrar la existencia de Dios mediante un razonamiento ontológico. En 1960 escribió en sus apuntes sus puntos de vista filosóficos, para él el mundo debía ser racional. Supongo que no habría aceptado los resultados actuales de las ciencias cognitivas. También se dice que era un hombre tímido que vivía un tanto angustiado… Me pregunto ¿Cuál habría sido la respuesta de Gödel al problema que planteamos el domingo?

La Paradoja de Pinocho y el Origen de la Computación

Si Pinocho dice que su nariz crecerá, pero no lo hace, estaría mintiendo, pero cuando Pinocho miente su nariz crece, pero al crecer su nariz entonces estaría diciendo la verdad. Luego, ¿qué diablos debería pasar después de que Pinocho dice esta frase? Esta es una reformulación de la vieja Paradoja del Mentiroso, lo interesante es que esta paradoja juega un papel fundamental en la solución de un importante problema de la lógica matemática, y de paso en el desarrollo de la computación moderna (y sin esta no existirían los computadores, la web, este blog, twitter, y no estaríamos contando este cuento).