Kurt Friedrich Gödel (Brünn, Áustria-Hungria, 28 de abril de 1906 - Princeton, Estados Unidos, 14 de janeiro de 1978) foi um matemático austríaco naturalizado norte-americano.
O trabalho mais conhecido de Gödel é seu teorema da incompletude, no qual afirma que qualquer sistema axiomático suficiente para incluir a aritmética dos números inteiros não pode ser simultaneamente completo e consistente. Isto significa que se o sistema é auto-consistente, então existirão proposições
que não poderão ser nem comprovadas nem negadas por este sistema
axiomático e que, se o sistema for completo, então ele não poderá validar-se a
si mesmo - seria inconsistente.
in Wikipédia
