Menú
Qué hay de nuevo
  • ¿Quieres apoyar a nuestro foro haciendo una donación?, entra aquí.

Arrepiéntete antroniano pecador!! Diós sí existiría de acuerdo a la ciencia!

cinefilia_masterfuck

cinefilia_masterfuck

Animal
Registrado
2005/07/06
Mensajes
10.279
Sexo
Macho
Según la noticia, con la ayuda de un simple MacBook se habrìa logrado demostrar el "teorema de Gödel", el cual en base a los principios de la lógica debe existir un ser superior.

Vil copy/paste :cafe3:


¿Existe Dios?

Durante miles de años el hombre ha tratado de responder a este enigma. Desde filósofos, artistas, teólogos, pensadores, pasando por científicos y matemáticos.

Pero la existencia de un ser superior podría haber sido demostrada por un computador.

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, que concluye que en base a los principios de la lógica debe existir un ser superior.

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

Ahora, estos científicos han demostrado con un MacBook ordinario que su argumentación era matemáticamente correcta.

Aunque 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".

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".
Click para expandir ...

Yo primero empezaría a buscar el paper de los weones, ya que nunca he confiado en la capacidad de análisis del "periodismo científico" :hands:

Fuente http://www.24horas.cl/tendencias/ciencia/demuestran-existencia-de-dios-con-un-macbook-908196
 
ocupar el lenguaje matemático para demostrar cosas de sentido común jaja
que idiotas estos weones, si el lenguaje matemático nunca ha sido necesario mas que para transmitir lo que uno piensa, nada mas.
 
Buen tema, no conocía el teorema de Godel.

Ahora yo creo que la pregunta que como sociedad debemos hacernos es si Prometheus sera o no película de culto
 
tumblr_lz5gv2eYFZ1qc37jxo1_500.jpg
 
Interesante.

El punto primordial es que no se debe confundir la existencia de "algo" o "alguien superior" con los dioses de las religiones humanas. La gente suele asociar el término "dios" con estos últimos y comienza el desparrame de prejuicios en torno al temita.
 
Si el teorema toma los parámetros de la perfección para definir a diós, y por otro lado, tenemos que "la energía no se crea ni se destruye sólo se transforma", entonces, en base a ésto, no podríamos decir que el universo es perfecto? Y si así es, entonces el universo necesariamente tendría que ser "diós". Por lo tanto, el teorema no tendría porqué estar errado.
 
El paper no prueba que existe un Dios, prueba que la lógica seguida por el wn de Godel era correcta, algo que antes era difícil de demostrar, así entiendo. Lo volveré a revisar más rato.

---

Sí, todo el punto del paper fue demostrar que las herramientas computacionales pueden ayudar a verificar argumentos lógicos.

:monomeon: periodistas culiaos callamperos
 
TLITD dijo:
El paper no prueba que existe un Dios, prueba que la lógica seguida por el wn de Godel era correcta, algo que antes era difícil de demostrar, así entiendo. Lo volveré a revisar más rato.

---

Sí, todo el punto del paper fue demostrar que las herramientas computacionales pueden ayudar a verificar argumentos lógicos.

:monomeon: periodistas culiaos callamperos
Click para expandir ...

Toda la razón, la wea no prueba la existencia de Dios, sino que el argumento es lógicamente consistente, que está bien construido. El verdadero avance es respecto a la posibilidad de corroborar la consistencia lógica de los argumentos (sin importar el contenido de estos). Algo así como A -> C , A=B , B -> C

"This work attests the maturity of contemporary interactive and automated deduction tools for classical higher-order logic and demonstrates the elegance and practical relevance of the embeddings-based approach. Most importantly, our work opens new perspectives for a computer-assisted theoretical philosophy"

Por otra parte, un análisis profundo y crítico respecto del significado de los conceptos utilizados depende de los humanos, en el paper sale más o menos lo mismo: "The critical discussion of the underlying concepts, definitions and axioms remains a human responsibility, but the computer can assist in building and checking rigorously correct logical arguments."


:monomeon: MacBook
 
Dios existe pero no en la dimension que existimos nosotros, de lo contrario sería un ser inferior, ya que cabría la pregunta de quien es el creador de Dios.
 
Debes iniciar sesión o registrarte para participar.
Volver
Arriba