Kurt Gödel fue el lógico más
importante de los tiempos modernos. Hoy tenemos las
pruebas de que también fue filósofo.
Entrevista a Eva-Maria Engelen, la editora de sus cuadernos.
Sra. Engelen, Kurt Gödel es famoso por
la prueba del teorema de incompletitud realizado en 1931,
según el cual en matemáticas hay proposiciones no demostrables matemáticamente que son verdaderas. Además dejó 15 cuadernos con preguntas filosóficas que usted ha
editado y cuyo primer volumen "Filosofía I Maximen O" fue publicado
recientemente por de Gruyter. ¿Fue Gödel filósofo además de matemático?