Os argumentos em favor da existência de Deus: de Gödel aos computadores

É com imensa alegria que recebo mais uma vez aqui no blog os textos escorreitos, informativos e divertidamente contraintuitivos do professor Walter Carnielli, do Centro de Lógica da Unicamp. Desta vez, ele faz uma análise da lógica formal por trás de um dos mais famosos argumentos em favor da existência de Deus, um debate que […] … Leia post completo no blog
Leia mais (08/13/2019 – 15h58)