¿QUE HABÍA ALGUNA DUDA?.

ARTICULO: 

Científicos informáticos prueban el 'teorema de Dios' de Gödel

 

• 458

Corbis

Dos científicos europeos han probado informáticamente el teorema de Gödel desarrollado a finales del siglo pasado por el matemático austriaco Kurt Gödel, que concluía que en base a los principios de la lógica debe existir un ser superior.

Se trata del alemán Christoph Benzmüller, de la Universidad Libre de Berlín, y el austriaco Bruno Woltzenlogel, de la Universidad Técnica de Viena.

En su momento Gödel argumentó que, por definición, "no puede existir nada más grande que un ser supremo", y propuso un modelo matemático para demostrar su existencia basado en seis axiomas. Los científicos han demostrado que la argumentación de Gödel era matemáticamente correcta.

No puede existir nada más grande que un ser supremo

Es necesario indicar que los informáticos subrayan que este trabajo tiene la intención "de demostrar que una tecnología superior puede ayudar a la ciencia, y que no es el hecho de que Dios exista o no".

Desde el punto de vista de un buen titular, es sin duda bastante atractivo: "Los científicos prueban la existencia de Dios", escribió el diario alemán 'Die Welt'.

Sin embargo, como era de esperar, hay un 'pero' significativo en esa afirmación. De hecho, lo que los investigadores en cuestión dicen que han probado en realidad es el teorema propuesto por el renombrado matemático austriaco Kurt Gödel y la verdadera noticia no trata de un ser supremo, sino que lo que ahora se puede lograr en los campos científicos que utilizan tecnologías superiores, según publica Spiegel.

Cuando Gödel murió en 1978, dejó tras de sí una teoría tentadora basada en los principios de la lógica modal que sugería que un ser superior debe existir. Este razonamiento matemático no tenía como intención convencer de la existencia de Dios, sino demostrar que el llamado "argumento ontológico" de la existencia de Dios es válido.

Los detalles de las matemáticas involucradas en la prueba ontológica de Gödel son complicados pero, en esencia, el austriaco sostenía que, "Dios, por definición, es lo más perfecto que puede ser pensado. Si pensáramos en Dios como inexistente, entonces no sería realmente la idea de Dios, pues tendría la imperfección de no existir. Entonces, la oración 'Dios existe' es necesariamente verdadera. Por lo tanto, Dios existe".

Incluso en ese momento, el argumento no era exactamente algo novedoso. Durante siglos, muchos pensadores habían tratado de utilizar este tipo de razonamiento abstracto para demostrar la posibilidad o necesidad de la existencia de Dios. Sin embargo, el modelo matemático compuesto por Gödel propuso una prueba de la idea. Sus teoremas y axiomas -supuestos que no pueden ser probados- pueden expresarse como ecuaciones matemáticas. Y eso significa que se pueden probar.

 

Probar la existencia de Dios con un MacBook

Ahí es donde Benzmüller y su colega Woltzenlogel entran en escena. Usando un ordenador MacBook ordinario han demostrado que el raciocinio de Gödel era correcto, al menos en un nivel matemático, por medio de una mayor lógica modal. Su presentación inicial en el servidor de artículos de investigación arXiv.org se llama 'Formalización, mecanización y automatización de la prueba de la existencia de Dios de Gödel'.

 

El hecho de que la formalización de teoremas tan complicados se pueda delegar a los ordenadores abre todo tipo de posibilidades, señaló Benzmüller a 'Spiegel Online'. "Es totalmente increíble que a partir de esta discusión dirigida por Gödel, todo esto se pueda probar de forma automática en pocos segundos o incluso menos en un portátil estándar", agregó.

 

El nombre de Gödel puede no significar mucho para algunos, pero entre los científicos goza de una reputación similar a la talla de Albert Einstein, quien por cierto fue su amigo cercano. Nacido en 1906 en lo que entonces era el Imperio Austrohúngaro y ahora es la ciudad checa de Brno, Gödel estudió en Viena antes de mudarse a Estados Unidos después de que estallara la Segunda Guerra Mundial para trabajar en Princeton, donde Einstein también estaba radicado.

La primera versión de esta prueba ontológica data de notas fechadas en torno a 1941, pero no fue hasta la década de los 70, cuando Gödel temió que podía morir, que se hizo pública por primera vez.

FUENTE:  http://actualidad.rt.com/ciencias/view/109733-teorema-dios-godel-probar


CONFRONTACIÓN: 

Salmos 102:25-27

Reina-Valera 1960 (RVR1960)

25 Desde el principio tú fundaste la tierra,
Y los cielos son obra de tus manos.

26 Ellos perecerán, mas tú permanecerás;
Y todos ellos como una vestidura se envejecerán;
Como un vestido los mudarás, y serán mudados;

27 Pero tú eres el mismo,
Y tus años no se acabarán.

TODA LA VIDA LA GENTE FALTA DE FE HA QUERIDO DEMOSTRAR DE UNA FORMA CIENTÍFICA LA EXISTENCIA DE DIOS, PERO ¿QUE NO COMPRENDEN QUE DE EL VIENE LA CIENCIA?;

Proverbios 2:5-6

Reina-Valera 1960 (RVR1960)

5 Entonces entenderás el temor de Jehová,
Y hallarás el conocimiento de Dios.

6 Porque Jehová da la sabiduría,
Y de su boca viene el conocimiento y la inteligencia.

ENTONCES PORQUE LA DUDA SI LA MEJOR EXPLICACIÓN DE LO QUE ES DIOS Y SU EXISTENCIA, VIENE EN SU PALABRA, 

Malaquías 3:6

Reina-Valera 1960 (RVR1960)

El pago de los diezmos

6 Porque yo Jehová no cambio; 

1 Samuel 15:29

Reina-Valera 1960 (RVR1960)

29 Además, el que es la Gloria de Israel no mentirá, ni se arrepentirá, porque no es hombre para que se arrepienta.

Romanos 11:33-34

Reina-Valera 1960 (RVR1960)

33 !!Oh profundidad de las riquezas de la sabiduría y de la ciencia de Dios! !!Cuán insondables son sus juicios, e inescrutables sus caminos!
34 Porque ¿quién entendió la mente del Señor? ¿O quién fue su consejero?

Hechos 17:24-25

Reina-Valera 1960 (RVR1960)

24 El Dios que hizo el mundo y todas las cosas que en él hay, siendo Señor del cielo y de la tierra, no habita en templos hechos por manos humanas,

25 ni es honrado por manos de hombres, como si necesitase de algo; pues él es quien da a todos vida y aliento y todas las cosas.

Job 11:7-9

Reina-Valera 1960 (RVR1960)

7 ¿Descubrirás tú los secretos de Dios?
¿Llegarás tú a la perfección del Todopoderoso?

8 Es más alta que los cielos; ¿qué harás?
Es más profunda que el Seol; ¿cómo la conocerás?

9 Su dimensión es más extensa que la tierra,
Y más ancha que el mar.

Salmos 90:2

Reina-Valera 1960 (RVR1960)

2 Antes que naciesen los montes
Y formases la tierra y el mundo,
Desde el siglo y hasta el siglo, tú eres Dios.

Salmos 139:7-8

Reina-Valera 1960 (RVR1960)

7 ¿A dónde me iré de tu Espíritu?
¿Y a dónde huiré de tu presencia?

8 Si subiere a los cielos, allí estás tú;
Y si en el Seol hiciere mi estrado, he aquí, allí tú estás

1 Timoteo 2:5

Reina-Valera 1960 (RVR1960)

5 Porque hay un solo Dios, y un solo mediador entre Dios y los hombres, Jesucristo hombre,

Éxodo 3:14

Reina-Valera 1960 (RVR1960)

14 Y respondió Dios a Moisés: YO SOY EL QUE SOY.

¿Y PORQUE CREER QUE LA PALABRA DE DIOS DICE LA VERDAD? 

Juan 17:17

Reina-Valera 1960 (RVR1960)

17 Santifícalos en tu verdad; tu palabra es verdad.

DE TODOS MODOS ES MUY DIFÍCIL PARA EL QUE NO CONOCE A JESUCRISTO ENTENDER SU PALABRA , Y SABE QUE EL ES EL CAMINO, LA VERDAD Y LA VIDA,  Y QUE JESÚS VINO DE DIOS. 

Juan 8:42-43

Reina-Valera 1960 (RVR1960)

42 Jesús entonces les dijo: Si vuestro padre fuese Dios, ciertamente me amaríais; porque yo de Dios he salido, y he venido; pues no he venido de mí mismo, sino que él me envió.
43 ¿Por qué no entendéis mi lenguaje? Porque no podéis escuchar mi palabra.