T-shirt Prova Ontológica

A prova ontológica de Gödel é uma formalização do argumento ontológico do Santo Anselm pela existência de Deus pelo matemático Kurt Gödel. Ruas. O argumento ontológico de Anselm, na sua forma mais sucinta, é o seguinte: "Deus, por definição, é aquilo que não se pode pensar de um maior. Deus existe no entendimento. Se Deus existe no entendimento, podemos imaginá-lo como sendo maior por existir na realidade. Portanto, Deus deve existir." Uma versão mais elaborada foi dada por Gottfried Leibniz; esta é a versão que Gödel estudou e tentou esclarecer com o seu argumento ontológico. nem todos concordam com esta prova, mas então nem todos podem lê-la e compreendê-la completamente... talvez como Deus. ou talvez esteja sendo bobo. o que você acha?