Kurt Gödel fue un lógico notable que demostró los límites de la lógica matemática a través de sus teoremas de incompletitud, estableciendo que cualquier sistema formal suficientemente rico para la aritmética siempre contendrá proposiciones verdaderas pero no demostrables. Su lógica impecable lo convirtió en un genio inolvidable de las matemáticas.