domingo, janeiro 14, 2024

O matemático Kurt Godel morreu há 46 anos

    
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.
  

Sem comentários: