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 se o sistema for completo, então ele não poderá validar a
si mesmo — seria inconsistente.
in Wikipédia
Sem comentários:
Enviar um comentário