El texto de esta conferencia está disponible aquí.
Resumen:
Abordamos, de manera más bien naïve, algunos aspectos
de la Teoría de la Computación y la Filosofía. Distinguimos
inicialmente las nociones de lenguaje, de modelo o idea, y de objeto. En
la relación entre lenguajes y modelos están las nociones
de consistencia, de completitud y de decisión de la noción
de inferencia lógica. Los teoremas de Gödel imponen
limitantes para que una teoría lógica sea completa o sea
formalmente consistente. En el plano de la Computación estas limitantes
se traducen a nociones de no-computabilidad. En el análisis de la
inteligencia humana los teoremas de Gödel también imponen limitantes.
Ufanos como somos, y seguros como estamos, no podemos aceptar vernos limitados
como lo están las máquinas. Así pues resulta interesante
ver cómo influyen los teoremas gödelianos en la inteligencia
humana.
