Aquí te pongo una cita que he encontrado en internet, creo que es absolutamente cierta.
La Verdad Matemática (página 25)
"La consigna de esta corriente (formalismo), encarnada en el llamado Programa de Hilbert, era la de lograr establecer una correspondencia entre los enunciados matemáticos considerados verdaderos, y las cadenas que son derivables dentro de un sistema formal. Y esta correspondencia debería cumplir con dos características fundamentales: primero, debería ser consistente, es decir, si un enunciado pertenece al sistema formal, entonces su negación no puede hacerlo; y segundo, debería ser completo, es decir, dado cualquier enunciado matemático expresable en la terminología del sistema formal, éste debe ser capaz de determinar si el enunciado pertenece a él, o si es su negación la que lo hace."
Teoría que se mantuvo hasta que Gödel la derribó demostrando la imposibilidad de que un sistema formal (que contenga a la aritmética) presente ambas características simultàneamente con sus famosos Teoremas de Incompletitud.El documento citado es éste:
http://descartes.ajusco.upn.mx/sube_baja/raggi/264.pdfy en su página 25, tienes el párrafo aludido, pero léelo todo, el documento completo no tiene desperdicio. Así que sí hay objeciones al concepto de verdad de Hilbert, y muy poderosas.
Respecto a la verdad en física, aunque es cierto que te has expandido mucho, pues no dices tampoco nada que pueda servir para aclarar que entiendes por verdad física.
Salu2
