Portada
Vaticano
Realidades Eclesiales
Iglesia en España
Iglesia en América
Iglesia resto del mundo
Cultura
Sociedad

·Homilia Dominical
·Hablan los Obispos
·Fe y Razón
·Reflexion en libertad
·Colaboraciones



 
 
 
 
 
Oct 2018
MoTuWeThFrSaSu
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        


 
http://www.holyart.es

www
Portada:: Cultura:: Ciencia y tecnologia:: Científicos prueban informáticamente que existe Dios

5 / 5 (4 Votos)




Científicos prueban informáticamente que existe Dios


Mon, 28 Oct 2013 23:35:00

Los científicos Christoph Benzmüller, de la Universidad Libre de Berlín, y Bruno Woltzenlogel, de la Universidad Técnica de Viena, han probado informáticamente el teorema de Gödel, desarrollado a finales del siglo pasado por el matemático austríaco Kurt Gödel y que concluye que en base a los principios de la lógica debe existir Dios.

A finales de los años 70 Gödel argumentó que, por definición, "no puede existir nada más grande de un ser supremo", y propuso mediante argumentaciones lógico-matemático la existencia de Dios. Su intención era demostrar que el llamado 'argumento ontológico' --de un modo puramente lógico-- de la existencia de Dios es válido.

Ahora, los científicos han demostrado, con un MacBook ordinario, que su argumentación era matemáticamente correcta. En este sentido, los investigadores han subrayado que este trabajo, publicado en 'Arxiv.org', "tiene más que ver con la demostración de que una tecnología superior puede ayudar a la ciencia, que con la teoría de que Dios exista o no".

Así, han apuntado que lo importante es que "lo que han logrado a través de los ordenadores supone un éxito del genial razonamiento" de Gödel. Benzmüller ha señalado que la prueba ontológica era, más que cualquier otra cosa, un buen ejemplo de algo inaccesible en las matemáticas o de la inteligencia artificial, que se ha resuelto con la tecnología actual.

En su opinión, el hecho de que la formalización de estos teoremas complicados se puedan realizar con ordenadores no profesionales abre todo tipo de posibilidades. El científico ha señalado que "es totalmente increíble que el Teorema de Gödel se pueda probar de forma automática en pocos segundos o incluso menos en un portátil estándar".






Comenta la noticia

Los comentarios tiene un número limitado de carácteres. Tu mensaje ha de ser corto y conciso. NO OLVIDES INTRODUCIR EL CODIGO DE SEGURIDAD. Si quieres hacer una exposición más prolongada, puedes abrir un tema de debate en los FOROS DE CAMINEO



Nombre:
Email:
Titulo:
Comentario:



SI QUIERES COLABORAR CON CAMINEO.INFO PULSA DONAR

Preview Chanel Preview Chanel
Camineo.info 2004-2015

PHPCow news publishing script, content management system Review www.camineo.info on alexa.com