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.