Barrapunto

Dado que la matemática se describe a partir de la aritmética como un sistema axiomático recursivo autoconsistente, existen proposiciones verdaderas sobre los números naturales que no pueden demostrarse a partir de los axiomas.

El problema de la reconversión analógico-numérica y viceversa es una vulnerabilidad fundamental e inevitable en los esquemas de prevención de manipulaciones en los contenidos numéricos o digitalizados pensados para no ser interactivos una vez han cumplido su cometido o razón de ser; y sólo posiblemente válidos como medio de prueba ante un Tribunal que, siendo conocedor de dicha vulnerabilidad fundamental e inevitable, lo valorará conforme a las reglas de la sana crítica y el sentido común.

Transladando esto al mundo físico (analógico), es como presentar una carta escrita en un ordenador pero impresa en papel y sin firma grafológicamente peritable puesto que, sin dicha firma analógica, no queda constancia fehacientemente comprobable de que sea expresión de persona física y no obra de un automatismo lógico-numérico o digital cuasi perfecto, pero manipulable en base a la tautología expuesta en el primer párrafo de este breve comentario.

No obstante, resulta admirable que te plantees una tarea de tal magnitud puesto que la vida es breve y el problema árduo. Kurt Goedel realizó importantes contribuciones a la teoría de la demostración al esclarecer las conexiones entre la lógica clásica, la lógica intuicionista y la lógica modal en las cuales contribuciones, quizás, podrías apoyarte... aunque debes saber que existen muchos y muy fuertes intereses creados en el entorno de este tipo de problemas prácticos porque tienen un significado y aplicación mucho más profundos de lo que en principio pudiera parecer.

Si resulta que en un telefono aparecen algunos mensajes y en el otro no, ya es algo sospechoso, y le dice al juez que las pruebas han sido modificadas, lo cual puede ser un condicionante a la hora de analizar otras pruebas.

En mi opinión, lo deontológicamente preocupante es que se acepte en un juicio información numérica, o digital si se prefiere, sin certificación legislativa y jurisprudencialmente regulada de autenticidad. Esto es algo que algunos, desde hace mucho, desearían que no existiera pero, ¿quién les explica que, si existe, es por una razón fundamental insalvable?

Por fortuna, de momento sigue siendo un Tribunal administrativo, civil, social o penal quien decide que es o no válido en lo que respecta a las pruebas que se colacionen a juicio.

Un saludo y gracias; es una entrada muy interesante.