Se han utilizado métodos computacionales para comprobar la veracidad de la premisa de la existencia de Dios. Para ello, dos matemáticos han hecho uso de lo que se conoce como probadores de teoremas, que funcionan mediante algoritmos que testean y comprueban la consistencia de una serie de axiomas. El teorema de Gödel se utiliza como herramienta básica para, tras añadir una serie de premisas lógicas adicionales, llegar a la conclusión de la existencia de Dios. Los algoritmos usados previamente no eran lo suficientemente precisos y/o eficientes.
Comentarios
#0 Dupe: La existencia de Dios, definitivamente probada por dos matemáticos alemanes usando un MAC
La existencia de Dios, definitivamente probada por...
lavozdegalicia.es#3 De duple nada. Son dos validaciones distintas de un mismo teorema
#0 Bienvenido. Lectura recomendada http://meneame.wikispaces.com/Comenzando http://meneame.wikispaces.com/Meneatiqueta
Antes de menear noticias suele dar mejor resultado hacer vida social y conocer la web. A votar y comentar otros meneos. Acércate a saludar al notame.
La prueba es aplicable a cualquier dios, que cumpla los axiomas. Es decir el FSM existe.
" Se prueba, por tanto, con un método paso a paso la existencia de Dios. "
¿De verdad? ¿Me lo juras?
Además, en la noticia anterior, la descripción es totalmente errónea.