Kurt Godel

      Depois que o professor mencionou sobre Kurt Godel, fiquei curioso e pesquisei algumas coisas!      Pude perceber que esse matemático e filosofo, estudava a teoria dos números, foi quando se interessou pela logica matemática. Em 1931, publicou o famoso “teorema da incompletude " onde ele demostra que qualquer sistema matemático axiomático, suficiente para incluir a aritmética dos números naturais, não pode ser simultaneamente completo e consistente. (Teorema da incompletude) e que se o sistema é consistente, sua consistência não pode ser provada internamente ao sistema.

                Espero podermos ver isso direito no futuro!