7. O matemático que desenvolveu o Teorema de Deus (1931)
Kurt Gödel Friedrich era um austríaco, e mais tarde americano, matemático e filósofo. Considerado, junto com Aristóteles e Frege, um dos lógicos mais significativos da história humana, Gödel fez um enorme impacto sobre o pensamento científico e filosófico no século 20.
Gödel publicou seus dois teoremas da incompletude em 1931, quando ele tinha 25 anos, um ano depois de terminar seu doutorado na Universidade de Viena. O primeiro teorema da incompletude afirma que para qualquer sistema axiomático recursivo auto-consistente poderoso o suficiente para descrever a aritmética dos números naturais (por exemplo aritmética de Peano), existem proposições verdadeiras sobre os naturais que não podem ser provadas a partir dos axiomas. Para provar este teorema, Gödel desenvolveu uma técnica conhecida agora como numeração Gödel, que codifica expressões formais como números naturais.
Ele também mostrou que nem o axioma da escolha, nem a hipótese do contínuo podem ser refutados a partir dos axiomas aceitos da teoria dos conjuntos, assumindo que estes axiomas são consistentes. O ex-resultado abriu a porta para os matemáticos para assumir o axioma da escolha em suas provas. Ele também fez importantes contribuições à teoria da prova, clarificando as conexões entre a lógica clássica, a lógica intuitiva, e a lógica modal.
Quando Gödel morreu em 1978, ele deixou para trás uma teoria tentadora com base em princípios da lógica modal, um tipo de lógica formal que, definida de forma estrita, envolve o uso das expressões “necessariamente” e “possivelmente”, de acordo com a Universidade de Stanford. Assim, o teorema diz que Deus ou um ser supremo, é aquele para o qual nada maior pode ser concebido. Deus existe no entendimento. Se Deus existe no entendimento, poderíamos imaginar que Ele é maior por existir na realidade. Portanto, Deus deve existir.
