Teorema da Incompletude de Gödel - A Realidade não é Simulada
comentada em 01/12/2025 10:09

Eu estou certo disso! Mas a grande questão é: que diferença faria?

Todo mundo iria tomar a pílula azul. Somente o escolhido pode tomar a pílula vermelha e ter alguma chance de dar certo. Eu não sou o escolhido, minha pílula é a azul, por favor.

As máquinas ja previram que iríamos pensar nisso

O matemático John von Neumann proferiu sua exclamação quando assistiu à palestra de Kurt Gödel em 1930, na Conferência de Königsberg, onde Gödel apresentou os resultados preliminares dos seus Teoremas da Incompletude.

"Está tudo acabado!" ("It's all over!")

Posso estar enganado, mas acredito que os teoremas da incompletude não demonstram a inexistência da simulação.

O que esses teoremas demonstram é que nenhum sistema formal pode ser completo e consistente ao mesmo tempo. Ou seja:

1- ou o sistema admite contradições (sendo inconsistente); ou
2- há necessariamente proposições verdadeiras indecidíveis, que não podem ser provadas verdadeiras a partir dos axiomas do sistema (logo, o sistema é incompleto).

Logo, de fato nenhum sistema algorítmico que nós podemos criar é capaz de demonstrar formalmente todas as leis naturais. Existem limitações intrínsecas à capacidade humana.

No entanto, nada disso tem que ver com as leis que regem uma possível ordem metafísica, a qual estariam submetidos os criadores de uma eventual simulação (na qual estaríamos inseridos, se a hipótese for verdadeira).

Não há qualquer garantia de que a realidade metafísica cumpre as mesmas regras que a física. Talvez nossas limitações aqui não sejam as mesmas deles lá. Por exemplo, talvez a gravidade que experimentamos seja uma regra ficcional de nossa simulação, assim como, por exemplo, a existência de orcs é uma regra ficcional do universo de Tolkien.

Para mim, a lição aqui não é de enunciação de certezas, mas de confirmação da dúvida, e consequentemente do imperativo ético da humildade.