Saltar para: Post [1], Comentários [2], Pesquisa e Arquivos [3]

B(V)logue de Alterne

Gosto de, sob o Facho, usar a Foice mas, tenho, no Martelo, o meu maior prazer.

B(V)logue de Alterne

Gosto de, sob o Facho, usar a Foice mas, tenho, no Martelo, o meu maior prazer.

01.11.18

...


Vorph "ги́ря" Valknut

 

Kurt Godel:

Teorema 2: "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"

Sabemos, sem perceber, quando estamos certos. E quanto mais estamos certos mais longe estamos de sabermos. A verdade fala-nos em paradoxos.

1 comentário

Comentar post