1º y 2º de Bachillerato: El argumento ontológico y los ordenadores

Gödel y Einstein

  

   En el curso de las clases de lógica de 1º de Bachillerato, y en el tema de 2º de Bachillerato dedicado a Tomás de Aquino, hacemos referencia al famoso "argumento ontológico", formulado por San Anselmo de Canterbury, para demostrar la existencia de Dios. Este argumento ha sido retomado en numerosas ocasiones a lo largo de la historia de la filosofía occidental, entre otros por el famoso lógico y matemático Kurt Gödel.
   Recientemente, el argumento ontológico, en su versión gödeliana, ha sido introducido en los ordenadores, permitiendo comprobar, no que Dios existe -¡ojalá hubiera sido así!-, sino que el argumento está bien construido lógicamente, lo cual ya resulta por sí mismo interesante.
   En estos enlaces, os ofrezco información sobre esta apasionante conjunción de filosofía, lógica e informática:

Supuesta demostración informática de la existencia de Dios

¿Probada la existencia de Dios con un Macbook?

Verificación informática de la existencia de Dios

Prueban informáticamente que existe un ser superior

Demostración matemática de la existencia de Dios