No se puede demostrar que una teoría es errónea, porque una teoría es como una visión del mundo. Afirmar que se puede demostrar que una teoría es errónea es como afirmar que el concepto de "color" o "velocidad" es erróneo. Por supuesto, las teorías pueden ser incoherentes, pero entonces se rechazarían al instante.
Ahora bien, las teorías de la física siguen conectadas a la "vida real" con lo que se llama un modelo. Para entender la diferencia entre una teoría y un modelo, una buena analogía es pensar en una teoría como las reglas de un juego, y en un modelo como el propio juego (es decir, un juego concreto que está sucediendo con todas sus especificidades, elecciones, etc.). El propio juego está limitado por las reglas del juego, y es lo que es tangible o "medible". Nunca se "miden" las reglas de un juego, como nunca se "mide" una teoría. Como mucho, se puede "medir" un modelo de una teoría.
Obviamente, algunas propiedades de una teoría son universalmente verdaderas, en el sentido de que son verdaderas en todos los modelos, pero nunca es fácil concluir que lo que has medido es lo que crees que has hecho.
¿Por qué es así? Sencillamente, porque hay una gran diferencia entre el modelo abstracto que escribes en tu papel en un marco teórico determinado (digamos, un modelo de agujero negro en relatividad general), y un fenómeno de la "vida real".
En primer lugar, identificar el "fenómeno de la vida real" como un modelo propio que escribiste explícitamente en tu papel no es una elección. Se trata de una elección, y por elección me refiero a que alguien utilice su subjetividad para afirmar que lo que mide "en la vida real" se identifica realmente con este modelo abstracto escrito en un papel.
Ya aquí, entiendes que la gente puede objetar fácilmente que esta identificación es legítima. Puede que las predicciones de su modelo no sean erróneas, pero el fenómeno medido de la "vida real" no está representado fielmente por su modelo abstracto. Yo llamo a esto el problema de la modelización a la baja.
En segundo lugar, siempre es posible complejizar un modelo abstracto para que prediga lo que se mide con suficiente precisión. Bueno, eso es algo trivial, ya que siempre puedes añadir tantos parámetros libres como quieras, y hacer un ajuste de la curva de tu fenómeno de la "vida real". La cuestión de encontrar un modelo abstracto simple y suficientemente canónico que prediga tu fenómeno de la vida real es al menos tan difícil como el problema anterior. A éste lo llamo el problema de la modelización ascendente.
Entonces, ¿qué pasaría ahora si la predicción de un modelo abstracto no se ajusta a las medidas de un fenómeno de la "vida real"? Si las medidas contradicen una afirmación universal, suponiendo que no haya ningún error en el aparato de medición, eso "demostraría" que la teoría es errónea. Sin embargo, los físicos inteligentes nunca van a asumir eso (los estúpidos van a publicar miles de artículos sobre por qué es así, piense en el neutrino que va más rápido que c hace años). En todo caso, cuando tal afirmación universal es "rechazada" por una medida, lo primero que se les ocurre a los físicos inteligentes, es que el experimento estaba mal hecho. Lo mismo se les ocurre a los experimentalistas, por cierto. Necesitan una forma de convencerse de que su aparato es bueno, y precisamente concluyen que lo es cuando su medida de una afirmación universal (o digamos, o constante de la física) se ajusta a lo aceptado en la teoría.
¿Y si la reclamación rechazada no es universal? Bueno, la mayoría de la gente asumirá que usted cometió un error en la modelización a la baja, es decir, que "olvidó añadir algunos efectos a su modelo". Entonces intentarán añadir estos "efectos que faltan" en el modelo abstracto para encontrar una solución "tramposa" al problema de modelización ascendente. La solución es "tramposa" porque es raro que vaya a ser canónica o legítima, y de alguna manera, el modelo abstracto recién creado de tu teoría es capaz de predecir con una precisión suficientemente buena tu fenómeno de la vida real.
Entonces, ¿qué se hace para rechazar realmente una teoría, o incluso para darse cuenta de que un fenómeno que se ha medido está rechazando en realidad una teoría y no un modelo (como, por ejemplo, la materia oscura)? No hay una forma algorítmica y libre de elección para hacerlo. Estás obligado a usar tu cerebro, lo que aparentemente es difícil para la mayoría de los físicos en 2020.