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
Este Blog gosta que os seus leitores comentem os posts - mas seja respeitador das ideias dos outros, claro e conciso. Por favor não coloque aqui links fora da temática do Blog ou do post que comenta. Se o fizer eles poderão ser apagados...