Falsa polémica por la demostración informática de la existencia de Dios con un ‘teorema’ de Gödel

La verificación computarizada de un argumento lógico formulado por Kurt Gödel en los años 70 ha despertado el interés en las redes sociales. El motivo es que el objeto a demostrar es Dios, aunque los dos científicos que han desarrollado el trabajo solo querían probar que se pueden resolver complejos problemas de lógica con el ordenador.

via Matemáticas, Física y Química http://www.agenciasinc.es/Matematicas-Fisica-y-Quimica