Resumen de Dios: el solitario objeto matemático de Gödel
- español
Se esboza la prueba de Gödel sobre la existencia de Dios. Luego, se plantea una sencilla crítica a los supuestos de esta demostración, correcta dentro de su lenguaje formal. La crítica cuestiona la verdad de algunas de las premisas o axiomas que Gödel toma en cuenta como base para su demostración. Por último, el Dios de Gödel es caracterizado en contraste con el Dios de Anselmo.
- English
Gödel's proof for the existence of God is outlined. Then, a simple criticism of the assumptions of this demonstration is proposed, correct within its formal language. Criticism questions the truth of some of the premises or axioms that Gödel takes into account as the basis for his demonstration. Finally, Gödel's God is characterized in contrast to Anselm's God.
