¿Existen pruebas formales en algún campo, como economía o química, además de las matemáticas? Educación te da un futuro mejor

En realidad no, puede hacer una prueba formal relacionada con un modelo en economía, química, etc., pero esa prueba solo sería válida en la medida en que el modelo se aplique a la realidad. Mostrar que se relaciona con la realidad es algo que no se puede mostrar utilizando pruebas formales, solo los experimentos y las observaciones pueden respaldarlo y, aunque pueden respaldar un modelo, nunca pueden confirmarlo.

Claro, algunos modelos que utilizamos se observan tan a fondo que nos sorprendería que nos equivocáramos. Por ejemplo, el modelo de la órbita de la Tierra alrededor del Sol, pero incluso eso solo es válido dentro de un cierto período de tiempo y con una cierta precisión. La atracción gravitacional de varios planetas en la Tierra que se ignoran en tales modelos pero que tienen un pequeño efecto en la realidad implica que no se puede usar dicho modelo indefinidamente en el futuro o el pasado.

Por ejemplo, una versión simple de ese modelo estipula que la Tierra gira alrededor de su propio eje en un tiempo cercano a las 24 horas, un poco menos en realidad ya que la Tierra se ha movido un poco por cabeza y así obtener el sol en la misma dirección como se ve del sol debe girar un poco más. Sin embargo, cuando se formó la luna, creemos que la Tierra giró alrededor de su eje alrededor de 16 horas si no recuerdo mal, por lo que fueron 8 horas de día y 8 horas de noche e incluso ahora el día se prolonga una fracción de segundo cada siglo más o menos para que en un par de 100 millones de años más o menos un día puedan ser 25 horas y no más. Entonces, para hacer un modelo más preciso, debe poner más información en el modelo y hacerlo más complicado y nunca está seguro de haberlo hecho lo suficientemente complicado. ¿Qué pasa con 5 mil millones de años a partir de ahora cuando el sol comienza a colapsar? Creo que primero se convertirá en un pequeño gigante rojo, es decir, un gigante rojo pero no uno grande y luego se convertirá en una estrella enana blanca unos 100 mil millones de años en el futuro y luego terminará su vida como una estrella enana marrón. ¿Cómo afectará eso a la órbita de la tierra? ¿Qué pasa en unos 5 mil millones de años más o menos cuando la galaxia de Andrómeda colisiona con la vía láctea? La probabilidad es muy pequeña, pero es más de 0 que alguna estrella en la galaxia de Andrómeda se acerque al sol y posiblemente afecte a la órbita de algunos planetas. ¿Qué tan enfermo a su vez afecta la órbita de la tierra? El punto es que un modelo solo es válido durante un cierto período de tiempo para una cierta precisión y nunca se puede verificar o confirmar un modelo utilizando pruebas formales.