Omega: La Biblioteca de Babel Matemática
Se suele afirmar que Gödel vino a demostrar cómo la matemática NO era reducible a la lógica. En realidad, un decreto así de genérico posiblemente exceda la competencia de aquellos teoremas de incompletitud. Quienes quieren negarle el realismo a las matemáticas, afinan también que no se puede reducir toda la matemática a un principio anhipotetico o autoevidente, ahora bien, si las matemáticas son en ultima instancia algo lógico pero la lógica no da cuenta de todas las matemáticas, a mi juicio me temo, pasa que hay algo que estamos formulando mal. ¿La matematica puede ser i-logica? Piénsalo bien: si es que no, todo tendría que poderse enumerar dentro de un sistema lógico. A mi juicio, la clave en Gödel radica en la finitud enumerativa de los axiomas que de efectivamente contenerse así la axiomatica, ésta no sería omniefable. Pero se puede simultanear una infinita significación de valores de verdad con una sola proposición verdadera: la paradoja del cuervo de Hempel lo ilustr...