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.
Va a ser gracioso saber cual es mas votada al final... para descubrir si en meneame cuando las noticias van de tu palo, la meneas... si no ahi se pudra... aunque sea la misma noticia en contenido
Comentarios
Relacionada: Científicos informáticos prueban el "teorema de Dios" de Gödel
Científicos informáticos prueban el "teorema ...
actualidad.rt.comLa verdad, es que molaría que existiera dios, y morirte e ir al cielo y esas chorradas
Si han calculado computacionalmente qué es dios, estaría bien preguntarle a ese dios si ve bien que la iglesia esté exenta de IVA.
www.meneame.net/story/cientificos-informaticos-prueban-teorema-dios-go tiene 22 meneos
Falsa polémica por la demostración informática de la existencia de Dios con un ‘teorema’ de Gödel
Falsa polémica por la demostración informática de ...
agenciasinc.esVa a ser gracioso saber cual es mas votada al final... para descubrir si en meneame cuando las noticias van de tu palo, la meneas... si no ahi se pudra... aunque sea la misma noticia en contenido
Noticia antigua. Esto ya estaba demostrado desde hacía tiempo:
User: admin
Password: god
Muy interesante.