Los más eminentes cerebros

buscan el camino a la realidad

a la certeza, a la verdad

por el razonamiento.

La filosofía se llena de contradicciones,

la física se apoya en las matemáticas

y la matemática en axiomas

que no han sido probados.

David Hilbert dixit:

«Necesitamos una aritmética de certeza total».

Peano y Frege impulsan el lenguaje de la lógica,

Russell y Whitehead la lógica de conjuntos

hasta encontrar paradojas insuperables:

«El conjunto de todos los conjuntos no se contiene a sí mismo».

Russell siente hartazgo de volver a la lógica matemática

y Gödel pone el punto final:

«la aritmética es incompleta».

Siempre habrá cuestiones no comprobables

porque el conjunto de todos los conjuntos es infinito

dijo Wittgenstein.

La matemática es la que cubre un campo finito

y Alan Turing más John von Neumann

emplean la lógica para la computación.