Parece que los científicos supuestamente han confirmado la existencia de 'Dios' después de 'probar' la teoría de un matemático que sugiere que un 'poder superior' existe.
Según los dos científicos, puede hayan demostrado – de una vez por todas, que hay una fuerza – Santa -, después de confirmar las ecuaciones matemáticas complejas.
Alrededor de 1941, el matemático Kurt Gödel creó una larga y compleja teoría basada en lógica MODAL. Llamada prueba ontológica de Gödel que presupone la noción de propiedades positivas y negativas y demuestra la existencia necesaria de un objeto por cada característica positiva, pero ninguna característica negativa, se aplica a.
La teoría de Gödel se basa en ecuaciones matemáticas que son muy sofisticadas, pero como muchas cosas en la historia, se basan mucho más en antiguos 'modelos'.
La prueba ontológica de Gödel es una versión moderna del argumento ontológico para la existencia de Dios de San Anselmo de Canterbury (1033-1109), monje benedictino que fue arzobispo de Canterbury de 1093 hasta su muerte.
Su argumento, en resumen es el siguiente: «por definición, Dios es aquello de que nada mayor puede ser concebido. Si tal ser no existe, entonces se puede concebir un ser mayor, es decir, un ser que no se puede concebir y que existe. Pero esto sería absurdo: nada puede ser mayor que un ser que no se puede concebir. De modo que un ser que no puede ser concebido, es decir, Dios existe.
La esencia es que no hay mayor poder que Dios que pueda ser concebido, y si él o ella se cree como un concepto entonces él o ella pueden existir en realidad.
Muchas de las manifestaciones – como los escrito anteriormente, se basan en asignar el concepto de "Dios" a una propiedad máxima. La demostración de Gödel, por otro lado, trata de usar un argumento mínimo, por lo que se centra en la "esencia" de las propiedades positivas que caracterizan a Dios.
La discussion Ontological de Gödel como fue interpretada por Anderson, 1990:
Definición 1: x es como Dios- si y sólo si x tiene como propiedades esenciales aquellas y solamente aquellas propiedades que son positivas.
Definición 2: A es una esencia de x si y solamente si para cada propiedad B, x tiene B necesariamente si y solamente si A implica B.
Definición 3: x necesariamente existe si y solamente si cada esencia de x ejemplo es necesariamente ejemplificada.
Axioma 1: Si una propiedad es positiva, entonces su negación no es positiva.
Axioma 2: Cualquier propiedad implicada por, es decir, estrictamente implícita por una propiedad positiva es positive
Axioma 3: La propiedad de ser como Dios es positiva
Axioma 4: Si una propiedad es positiva, entonces es necesariamente positiva
Axioma 5: La existencia necesaria es positiva
Axioma 6: Para cualquier propiedad P, si P es positiva, entonces siendo necesariamente P es positiva.
Teorema 1: Si una propiedad es positiva, entonces es coherente, es decir, posiblemente ejemplificada.
Corolario 1: La propiedad de ser como Dios es constante.
Teorema 2: Si algo es como Dios- entonces la propiedad de ser como Dios es una esencia de esa cosa.
Teorema 3: Necesariamente se ejemplifica la propiedad de ser como Dios es.
La prueba ontológica de Gödel en notación matemática.
Fácil, ¿verdad?
Bien, dos científicos de la computación pueden haber demostrado que tales ecuación de ecuaciones complicadas odas suman de hecho, y Dios es real.
Los dos científicos argumentan que no trataban directamente para probar – ni refutar — la existencia de Dios, sólo mostrar la potencia de sus computadoras.
Hablando para Spiegel Online, Christoph Benzmüller de la Universidad libre de Berlín, quien corrió los cálculos junto con Bruno Woltzenlogel Paleo de la Universidad técnica en Viena, dijo:
"Es totalmente increíble que de este argumento dirigido por Gödel, todas estas cosas se pueden probar automáticamente en unos segundos o incluso menos en una notebook estándar.
"Yo no sabía que crearía un enorme interés público pero [prueba ontological de Gödel] fue definitivamente un mejor ejemplo de algo inaccesible en matemáticas o en inteligencia artificial...
"Es una cosa muy pequeña y nítida, porque estamos tratando sólo con seis axiomas en un pequeño teorema.
"Puede haber otras cosas que utilizan lógica similar."
En última instancia, es improbable que la formalización de la prueba ontológica de Gödel gane a muchos ateos, y tampoco es probable que consuele a los verdaderos creyentes.
Según los dos científicos, puede hayan demostrado – de una vez por todas, que hay una fuerza – Santa -, después de confirmar las ecuaciones matemáticas complejas.
Alrededor de 1941, el matemático Kurt Gödel creó una larga y compleja teoría basada en lógica MODAL. Llamada prueba ontológica de Gödel que presupone la noción de propiedades positivas y negativas y demuestra la existencia necesaria de un objeto por cada característica positiva, pero ninguna característica negativa, se aplica a.
La teoría de Gödel se basa en ecuaciones matemáticas que son muy sofisticadas, pero como muchas cosas en la historia, se basan mucho más en antiguos 'modelos'.
La prueba ontológica de Gödel es una versión moderna del argumento ontológico para la existencia de Dios de San Anselmo de Canterbury (1033-1109), monje benedictino que fue arzobispo de Canterbury de 1093 hasta su muerte.
Su argumento, en resumen es el siguiente: «por definición, Dios es aquello de que nada mayor puede ser concebido. Si tal ser no existe, entonces se puede concebir un ser mayor, es decir, un ser que no se puede concebir y que existe. Pero esto sería absurdo: nada puede ser mayor que un ser que no se puede concebir. De modo que un ser que no puede ser concebido, es decir, Dios existe.
La esencia es que no hay mayor poder que Dios que pueda ser concebido, y si él o ella se cree como un concepto entonces él o ella pueden existir en realidad.
Muchas de las manifestaciones – como los escrito anteriormente, se basan en asignar el concepto de "Dios" a una propiedad máxima. La demostración de Gödel, por otro lado, trata de usar un argumento mínimo, por lo que se centra en la "esencia" de las propiedades positivas que caracterizan a Dios.
La discussion Ontological de Gödel como fue interpretada por Anderson, 1990:
Definición 1: x es como Dios- si y sólo si x tiene como propiedades esenciales aquellas y solamente aquellas propiedades que son positivas.
Definición 2: A es una esencia de x si y solamente si para cada propiedad B, x tiene B necesariamente si y solamente si A implica B.
Definición 3: x necesariamente existe si y solamente si cada esencia de x ejemplo es necesariamente ejemplificada.
Axioma 1: Si una propiedad es positiva, entonces su negación no es positiva.
Axioma 2: Cualquier propiedad implicada por, es decir, estrictamente implícita por una propiedad positiva es positive
Axioma 3: La propiedad de ser como Dios es positiva
Axioma 4: Si una propiedad es positiva, entonces es necesariamente positiva
Axioma 5: La existencia necesaria es positiva
Axioma 6: Para cualquier propiedad P, si P es positiva, entonces siendo necesariamente P es positiva.
Teorema 1: Si una propiedad es positiva, entonces es coherente, es decir, posiblemente ejemplificada.
Corolario 1: La propiedad de ser como Dios es constante.
Teorema 2: Si algo es como Dios- entonces la propiedad de ser como Dios es una esencia de esa cosa.
Teorema 3: Necesariamente se ejemplifica la propiedad de ser como Dios es.
La prueba ontológica de Gödel en notación matemática.
Fácil, ¿verdad?
Bien, dos científicos de la computación pueden haber demostrado que tales ecuación de ecuaciones complicadas odas suman de hecho, y Dios es real.
Los dos científicos argumentan que no trataban directamente para probar – ni refutar — la existencia de Dios, sólo mostrar la potencia de sus computadoras.
Hablando para Spiegel Online, Christoph Benzmüller de la Universidad libre de Berlín, quien corrió los cálculos junto con Bruno Woltzenlogel Paleo de la Universidad técnica en Viena, dijo:
"Es totalmente increíble que de este argumento dirigido por Gödel, todas estas cosas se pueden probar automáticamente en unos segundos o incluso menos en una notebook estándar.
"Yo no sabía que crearía un enorme interés público pero [prueba ontological de Gödel] fue definitivamente un mejor ejemplo de algo inaccesible en matemáticas o en inteligencia artificial...
"Es una cosa muy pequeña y nítida, porque estamos tratando sólo con seis axiomas en un pequeño teorema.
"Puede haber otras cosas que utilizan lógica similar."
En última instancia, es improbable que la formalización de la prueba ontológica de Gödel gane a muchos ateos, y tampoco es probable que consuele a los verdaderos creyentes.
No hay comentarios.:
Publicar un comentario
Comenta si te gustó lo que acabas de ver.