Demonstração ontológica de Gödel
De Wikipedia, a enciclopédia encyclopedia
A demonstração ontológica de Gödel é um argumento formal para a existência de Deus pelo matemático e filósofo Kurt Gödel (1906-1978).
É uma linha de pensamento que data desde Anselmo de Cantuária (1033-1109). O argumento ontológico de São Anselmo, na sua mais sucinta forma, é o seguinte: "Deus, por definição, é aquele para o qual, nada maior pode ser concebido. Deus existe no entendimento. Se Deus existe no entendimento, nós poderíamos imaginá-lo maior por existir na realidade. Portanto Deus tem que existir.". Uma versão mais elaborada foi feita por Gottfried Leibniz (1646-1716); essa é a versão que Gödel estudou e tentou esclarecer com seu argumento ontológico.
Gödel deixou quatorze pontos destacados de sua crença filosófica em seus escritos. Pontos relevantes para a prova ontológica incluem:
- 4. Existem mundos e seres racionais de espécies diferentes e mais evoluídos.
- 5. O mundo em que vivemos não é o único em que devemos viver, ou temos vivido.
- 13. Existe uma filosofia e teologia científica (exata), que lida com conceitos da maior abstração; e isso é em geral muito frutífero para a ciência.
- 14. Religiões são, em sua maior parte, más, mas religião não é.