APORTACIÓN DEL TEOREMA A LOS LÍMITES DE LA CIENCIA

Este Teorema, denominado de incompletitud, pertenece a la denominada lógica matemática, rama que aborda cuestiones de gran calado filosófico como la naturaleza de la verdad, la certidumbre, en definitiva el Conocimiento. 

Más allá del intento de los matemáticos por demostrar lo que el Teorema niega, éste aborda ultérrimamente preguntas propias de nuestra condición humana, de ahí su enorme fascinación. Estos aspectos son narrados magistralmente por Douglas  Hofstadter, premio Pulitzer con su libro Gödel, Escher, Bach: Un eterno y grácil bucle. Ediciones Tusquets 1987;  un agradable recorrido por la lógica, el arte y la música. 

No era de extrañar en Gödel esta afición por suscitar en postulados matemáticos preguntas metamatemáticas, o mejor, postulados filosóficos; ya desde sus estudios universitarios en Viena, siempre aspiró a dedicarse a la denostada, en aquel momento, lógica matemática. En definitiva es volver a postulados de los filósofos antiguos: la verdadera ciencia va de la mano de la filosofía; la ciencia sin epistemología es un sin sentido. 

Gödel está interesado en trascender los postulados matemáticos en busca del denominado Platonismo matemático; compuesto por realidades matemáticas independientes de la actividad humana: la realidad matemática objetiva, el mundo de las Ideas. Gödel lo define de la siguiente forma: 

"Mas allá se extiende un mundo inmenso que existe independientemente de nosotros los humanos y que nos plantea un enigma enorme y eterno; aunque al menos parcialmente accesible a nuestra inspección y pensamiento".