Você resolveu? Teorema da incompletude de Gödel. A solução para o quebra-cabeça
Na sexta, coloquei o quebra-cabeça abaixo, baseado no teorema da incompletude de Gödel. Conforme discuti no post original, esse teorema é um dos mais famosos da matemática e afirma que em qualquer sistema matemático sempre haverá afirmações verdadeiras que não podem ser provadas.
Marcos Ribeiro
02/05/2023
Você pode resolver isso? Teorema da incompletude de Gödel
Em 1931, o lógico austríaco Kurt Gödel publicou seu teorema da incompletude, resultado amplamente considerado uma das maiores realizações intelectuais dos tempos modernos.
Marcos Ribeiro
28/04/2023
