El teorema de Gödel a principios del siglo 20 david Hilbert un matemático de

gran prestigio propuso un ideal para el futuro desarrollo de las matemáticas

construir un sistema de símbolos y reglas que demostrase todas
las afirmaciones verdaderas gilbert entendía por demostración la
organización de los símbolos a partir de reglas precisas y en un número finito
de pasos hasta formar expresiones correctas visualicemos este ideal con una
metáfora imaginemos un puente con una barrera en medio a la derecha hay
cajas muchas cajas cada una con una afirmación matemática junto a la barrera
un escáner a analiza cada expresión y si es demostrable se pasa al otro lado
veamos esta caja en dos pasos sumamos el interior del paréntesis y en el
siguiente lo eliminamos tenemos ahora un caso particular de un axioma toda
expresión es igual a sí misma la caja pasa la barrera esta otra evidentemente
no gilbert creía que este sistema existe y que podía separar todas las
expresiones verdaderas de las pero en 1931 ocurrió e ideó un procedimiento
que permitía a las cajas referirse a otras que estaban en su interior por
ejemplo esta caja dice que contiene otra que pasa la barrera y ya sabemos que
la del interior es demostrable entonces la del exterior también es demostrable y
las dos atraviesan la barrera pero en una caja escribió la caja que contengo se
llena con una copia suya y ya no pasa la barrera luego hizo un duplicado y
metió la copia en el original qué pasa ahora el scanner lee la caja exterior
sácala de dentro y siguiendo las instrucciones me dio una copia si nos fijamos
bien la caja original da instrucciones para armar una idéntica a sí misma
además habla del resultado del montaje es decir esta caja de una forma
indirecta habla de ella misma es una caja autorreferencial y dice esta caja
no pasa la barrera y aquí tenemos una sorpresa si pasa la barrera el sistema
demuestra una afirmación falsa y si no pasa hay algo verdadero que no
demuestra con esta caja tan particular bien él nos muestra que el sistema
soñado por gilbert no existe no existe ni siquiera para un campo tan reducido
como el de la aritmética ciertas intuiciones especialmente las relacionadas con
la idea del infinito no pueden reducirse a intuiciones más elementales a partir
del teorema de gödel se ha hecho claro que la pura deducción formal no puede
ser la única fuente de certeza matemática