Hace 5 años | Por Spirograph a researchgate.net
Publicado hace 5 años por Spirograph a researchgate.net

"Formalizamos el Argumento Ontológico de Gödel —la demostración de la existencia de Dios— en PowerEpsilon y verificamos su corrección."

Comentarios

D

No vale comentar sin leerse antes la noticia.

skaworld

#3 Falta un ";" no copila.

Voto blasfema

aunotrovago

Relacionada: no te masturbes.

i

Por favor, ¿alguno de vosotros puede explicar qué es PowerEpsilon? Gracias por adelantado. (He buscado info y no me queda nada claro)

empanadilla.cosmica

Conclusión:

" Lessons Learned
There were two lessons learned from this practice:

1. You can prove something which you don’t believe and you are not going to believe in future.

2. Another lesson learned from this work is an implication for computer science and information technology. When we
introduce a new instruction or a new function into the computer systems in order to obtain more expressive power or
to increase the performance, there will be a risk to introduce bugs and backdoors as we have done for the Ontological
Argumentation. Beside of the inconsistency, we are not able to predict the risk until we found them finally, since we are not able to define them in advance."

empanadilla.cosmica

#5 Traduzco.

Puedes demostrar algo en lo no crees y no vas a creer en el futuro.

Cuando introduced una nueva función o instrucción en un sistema informático para hacerlo más expresivo o mejorar su rendimiento puedes introducir defectos como hemos hecho nosotros para el caso de la argumentación ontológica.

A pesar de la inconsistencia no hemos sido capaces de de predecir el riesgo hasta que lo hemos encontrado, porque no hemos sido capaces de definirlo a priori.

Tontolculo

Cuánto talento desperdiciado

s

Una petición de principio añadida de forma muy elaborada con lógica modal

La existencia se coteja con la realidad y es una identidad entre lo afirmado y la realidad sin contradicción... Todo lo demás...

Aunque puede ser un ejercicio comprobarlo