Destrói-os na tua verdade — Salmo 54:5

Mais recente

Dois resultados publicados por Kurt Gödel em 1931 tornaram-se, na boca do incrédulo contemporâneo, o argumento recorrente contra qualquer sistema que confesse um ponto de partida indemonstrável. O primeiro teorema estabelece que todo sistema formal consistente, cujos axiomas sejam enumeráveis por…

Ler artigo →
1 / 3

Artigos recentes