Essa está no topo das coisas mais estranhas e interessantes sobre o universo e não é a toa. E agora alguns leitores podem estar se perguntando: “Por quê?”. E essa é uma pergunta que certamente é muito fácil de ser respondida. Não é estritamente científica, mas sim um conjunto muito interessante de teoremas matemáticos sobre a lógica e a filosofia que é definitivamente relevante para a ciência como um todo. Teoremas de Incolpletude de Gödel, ou então Teoremas da Indecibilidade, foi demonstrado em 1931 por Kurt Gödel. Um dos teoremas diz que “qualquer teoria axiomática recursivamente enumerável e capaz de expressar algumas verdades básicas de aritmética não pode ser, ao mesmo tempo, completa e consistente”. Um segundo teorema diz que “uma teoria, recursivamente enumerável e capaz de expressar verdades básicas da aritmética e alguns enunciados da teoria da prova, pode provar sua própria consistência se, e somente se, for inconsistente.” Ou seja, com um dado conjunto de regras lógicas, exceto os mais simples, sempre haverá declarações que são indecidíveis, o que significa que não pode ser provada ou refutada devido à natureza inevitável auto-referencial de qualquer sistema lógico que é, nem remotamente complicado. Isto é pensado para indicar que não há nenhum grande sistema matemático capaz de provar ou não todas as instruções. Pode ser pensado como uma forma matemática de uma declaração como “Eu sempre minto.” Porque a declaração faz referência à linguagem a ser utilizada para descrevê-lo, não pode ser conhecido se a afirmação é verdadeira ou não, também chamado na filosofia de sofisma. No entanto, uma declaração indecidível não precisa ser explicitamente auto-referencial a ser indecidível. A principal conclusão dos teoremas da incompletude de Gödel é que todos os sistemas lógicos terão demonstrações de que não pode ser provada ou refutada. E agora? É pra ficar rodando em círculos mesmo. Não é a toa que esse tá no topo da lista…

O conjunto sugere que, em Física, uma “teoria de tudo” pode ser impossível, já que nenhum conjunto de regras pode explicar todos os eventos possíveis. Ele também indica que, logicamente, “prova” é um conceito mais fraco do que o “verdadeiro”, um conceito como é inquietante para os cientistas porque isso significa que haverá sempre coisas que, apesar de ser verdadeira, não pode ser comprovada para ser verdade. Isso ocorre porque o segundo o Teorema da Incompletude de Gödel afirma que nenhum sistema consistente pode provar sua própria consistência, ou seja, nenhuma mente sã pode provar a sua própria sanidade. Muito legal, não é mesmo? Isso vale o mesmo pra quando se está bêbado, tente provar que não está e só conseguirá mostrar que está mais bêbado do que achavam que a pessoa estava. Agora algumas pessoas podem estar bem confusas e precisam de um tempo para pensar. Você que leu o artigo até aqui, nunca mais verá o mundo com os mesmos olhos. Se você entendeu todo esse artigo e domina cada teoria dessa, inclusive na parte matemática, faça agora seu teste de QI e tente uma vaguinha em Harvard. Brincadeiras a parte, poucas pessoas no mundo dominam todas essas teorias e não é por falta de estudo ou preguiça de tentar e porque elas são muitos difíceis de compreender. Por isso se você não entendeu metade, fique tranquilo, é normal. Agora se você não entendeu nada, está na hora de você desligar a Tv e estudar um pouquinho.