Spa: Los teoremas de incompletitud, demostrados por el célebre matemático Kurt Gödel en el año 1930 son de los teoremas más famosos fuera de las matemáticas. Debido a la naturaleza formal de éstos, generalmente no son tan ...