Automatizan la demostración ontológica de la existencia de Dios de Kurt Gödel en lenguaje PowerEpsilon

7 meneos

199 clics

"Formalizamos el Argumento Ontológico de Gödel —la demostración de la existencia de Dios— en PowerEpsilon y verificamos su corrección."

| etiquetas: kurt , gödel , existencia , dios

5 2 0 K 53

5 2 0 K 53

menéame