O teorema de Gödel

por musicaefantasia

Imagem de https://pt.wikipedia.org/wiki/Ficheiro:1925_kurt_g%C3%B6del.png Clique sobre ela para ler artigo sobre Gödel

O lógico Gödel encerrou o sonho dos lógicos e filósofos do começo do século 20, de traduzir todo raciocínio pela matemática, pois demonstrou que há na aritmética dos inteiros afirmações que não podem ser decididas como falsas ou verdadeiras.

Anúncios