Los límites a la representación formal del conocimiento: de Gödel a Penrose.

En esta conferencia, presentada en el Primer Congreso Internacional de Filosofía de las Matemáticas, describo qué es el conocimiento y cómo son nuestras representaciones formales del mundo. Presento una visión de las teorías y modelos formales usados para representación de diferentes aspectos de la realidad y discuto los límites que esas representaciones presentan, con particular énfasis en los teoremas de Gödel y Penrose. Hablo sobre las similitudes y diferencias entre estos teoremas, y doy mi opinión sobre que nos dicen acerca de nuestro anhelo de conocerlo todo. Un viaje al fondo del pensamiento que pasa por agujeros negros, espacio, tiempo, y el mundo matemático.