" 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."
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.
Voto blasfema
" 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."
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.
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