Como é que é?
O austríaco Kurt Gödel é responsável por uma das curiosidades mais interessantes e bizarras da matemática. O “Teorema da incompletude” que leva seu nome tem duas teorias, mas a segunda delas é capaz de confundir a cabeça até do fã mais radical dessa ciência.
Segundo ela, uma teoria aritmética só pode provar sua consistência se for um axioma inconsistente. Calma, explicamos: uma fórmula não pode garantir sua própria existência – mas isso pode ser feito por outra verdade matemática, que dá continuidade ao ciclo. Que confusão!
0 Comentario "Como é que é?"
Postar um comentário