Kurt Friedrich Gödel foi um matemático austríaco, naturalizado americano, nascido em Brünn, Áustria-Hungria, a 28 de Abril de 1906.
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.
Sem comentários:
Enviar um comentário