Teorema de Gödel

Teorema de Gödel

O Cálculo de Predicados diz-se “completo” se, e somente se, qualquer fórmula universalmente válida tem uma derivação, e toda a derivação do Cálculo resulta numa fórmula universalmente válida.


  • Em Metafísica: segundo o teorema de Gödel, é impossível demonstrar a não-contradição de um sistema (sendo bastante rico) pelos seus próprios meios, ou mediante meios mais fracos.

Por exemplo, um computador suficientemente complexo para simular o trabalho cerebral, e submetido a um rigoroso determinismo no que respeita ao seu mecanismo e às permutas com o exterior, não permite calcular, em um tempo t, o que ele (computador) será num tempo t+1 — só o consegue na medida em que a sua determinação, por si só incompleta, estiver submetida à determinação de um outro computador de ordem superior, mas que, nesse caso, também não está de modo nenhum inteiramente determinado por si mesmo; e assim consecutivamente, ad infinitum.

Editado por (OBraga)

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License