o matemático Kurt Godel era um cientista que aprimorou algumas funções relacionadas ao computador?

A 'revolução' de Gödel

Até o século passado, a matemática era conhecida como a ciência capaz de oferecer "certezas". Era um mundo em que tudo era verdadeiro ou falso, certo ou errado. Se fosse aplicada corretamente, sempre seria possível descobrir a resposta certa, exata.

Mas em 1900, quando o Congresso Internacional de Matemáticos se reuniu em Paris, o ambiente era tanto de esperança quanto de questionamentos. A consistência da matemática estava sendo contestada. Durante o congresso, um jovem chamado David Hilbert lançou o plano de reconstruir os fundamentos da matemática, para torná-los consistentes e livres de paradoxos.

Hilbert era um dos maiores matemáticos do mundo, mas seu plano fracassou por "culpa" de Kurt Gödel. Com sua tese de doutorado, Gödel pôs um ponto final a essa pretensão, demonstrando que havia problemas na matemática que eram impossíveis de serem resolvidos. A deslumbrante clareza e exatidão da matemática era, na realidade, um labirinto repleto de paradoxos.

Gödel provou que: 1) Em qualquer sistema formal axiomático consistente que possa expressar feitos sobre aritmética básica, há enunciados verdadeiros que não podem ser provados; 2) Que a consistência do sistema não pode ser provada dentro do mesmo sistema.