Ciertamente no.
La física es una aproximación, o más bien, en este momento, dos conjuntos de aproximaciones mutuamente contradictorias. La mecánica cuántica se define solo en el espacio-tiempo plano de Minkowski, y la Relatividad general se define solo en el espacio-tiempo curvo. La mayoría de la física puede usar una aproximación e ignorar la otra. El sistema GPS utiliza relojes atómicos que se ejecutan por QM en órbitas donde el tiempo debe calcularse utilizando la Relatividad Especial y General. Los principales casos en los que los conflictos son graves se encuentran dentro de los Agujeros Negros y al principio de la cosmología del Big Bang.
Dentro de esas aproximaciones, hay muchos problemas en los que no podemos calcular las respuestas de la teoría. Esto es lo más problemático en la Cromodinámica Cuántica (QCD), la teoría de la fuerza fuerte, donde no podemos calcular las masas de neutrones, protones y otras partículas compuestas de sus constituyentes, y no podemos calcular la compresibilidad de la materia estrella de neutrones, y si Las estrellas de neutrones pueden contener materia extraña, es decir, bariones que contienen quarks extraños, estabilizados por la presión dentro de la estrella.
Las matemáticas son la derivación de teoremas de axiomas y definiciones, que en su mayoría han resultado ser opcionales. Por ejemplo, hay tres tipos de geometría, euclidiana (una línea a través de un punto paralelo a una línea dada), elíptica (sin paralelos) e hiperbólica (infinitas líneas a través de un punto que no se interseca con una línea dada). Describen espacios de curvatura constante, lo cual no es el caso en nuestro espacio-tiempo.
- ¿Qué queremos decir cuando decimos que “sabemos” algo?
- ¿A qué atribuirías el origen de un concepto de moralidad?
- ¿Qué significa el éxito? ¿Puede haber una definición de éxito con la que cada persona pueda relacionarse?
- Cómo ser feliz y mantener a todos felices a mi alrededor.
- ¿Cuáles son algunos ejemplos de cuestiones morales contemporáneas?
En la mayoría de las matemáticas, un teorema demostró una vez que las demostraciones son probadas, además de la desidia que generalmente se corrige con bastante rapidez. Hay, sin embargo, varios teoremas y suposiciones importantes para los cuales esto ha resultado no ser el caso.
- Los pitagóricos pensaron que era obvio que todos los números son racionales. La leyenda dice que el mismo Pitágoras estaba tan molesto por la prueba de que [math] \ sqrt 2 [/ math] es irracional que ordenó que el descubridor arrojara un barco para que se ahogara, pero otra leyenda dice que solo fue desterrado.
- Antes era obvio que no podía haber 0, ni números negativos ni números complejos, pero luego se hizo evidente que eran necesarios.
- Saccheri y Lambert pensaron que habían refutado la posibilidad de una geometría no euclidiana al derivar resultados obviamente sin sentido que resultaron ser correctos en superficies de curvatura constante o negativa.
- Un gran número de paradojas surgieron en la lógica y la teoría de conjuntos a finales del siglo XIX y principios del XX, lo que demuestra que todos los conjuntos obvios de axiomas son, de hecho, inconsistentes y contradictorios. Llevó décadas crear conjuntos consistentes, como ZFC, que admitieran suficientes matemáticas para la mayoría de los matemáticos que trabajan. Otros han inventado cada vez más para respaldar las ideas en las que trabajaron, como la teoría de conjuntos BNR, los universos de Grothendieck, las grandes teorías ordinales cardinales y grandes y la teoría topos. Mientras tanto, otros han tratado de restringir el ámbito de las matemáticas, como en la lógica intuicionista y la teoría de conjuntos, y la teoría de conjuntos constructiva.
- Los números infinitos no pueden seguir la aritmética de los números finitos. Esto se tomó como una prueba de que no puede haber números infinitos. Entonces Cantor explicó qué clase de infinitos aritméticos siguen, y mostró cómo construir muchos de ellos.
- El teorema de Skolem-Löwenheim muestra que para cualquier sistema de primer orden que tenga un modelo, existe un modelo contable. Por ejemplo, Cantor demostró que los números reales son incontables, y este teorema muestra que pueden ser contables, pero también que los números en tal modelo no pueden ser enumerados. Resultan ser solo los números descritos en el sistema, pero varios resultados incompletos, como los Teoremas de Gödel y el Problema de detención, muestran que no podemos decir exactamente qué números tienen descripciones.
- Peano pensó que había probado que todos los modelos de los números naturales que satisfacen sus axiomas son isomorfos, pero resulta que su prueba funciona solo en la lógica de segundo orden y la teoría de conjuntos, y no tiene que ser el caso en un primer orden. teoría. Esto permite la construcción de infinitos, como en la Aritmética no estándar de Abraham Robinson.
- El Teorema de la indefinibilidad de Tarski muestra que un sistema que cumple los requisitos de los Teoremas de Gödel no puede tener una definición aritmética de la verdad. La construcción de Gödel a partir de una definición de prueba muestra que hay oraciones indecibles que no pueden ser probadas o refutadas. Aplicar la misma construcción a una definición de verdad resultaría en oraciones que no son ni verdaderas ni falsas.
- Se “comprobó” que los infinitesimales eran inconsistentes no mucho después de que Newton y Leibniz inventaron el cálculo, y se necesitaron dos siglos para desarrollar la teoría de los límites lo suficiente como para eliminar a los infinitesimales del cálculo y el análisis de manera más general. Luego resultó que esa prueba era parte de lo que debía abandonarse cuando se demostró que la lógica temprana y la teoría de conjuntos eran inconsistentes, y había que hacer una clara distinción entre las teorías de primer orden y de segundo orden. Ahora hay muchos tipos de infinitesimales. Los más conocidos son los hiperrealistas derivados de la aritmética no estándar y los surrealistas derivados de la construcción conjunta de números y juegos de cierto tipo de John Horton Conway. Hay infinitos modelos de ambos.
Por lo tanto, no existe un sistema verdadero de matemáticas en última instancia, solo conjuntos infinitamente infinitos de opciones.
Las ventajas del método de postulación son grandes. Son las mismas que las ventajas del robo sobre el trabajo honesto.
Bertrand Russell
Pero las diferencias entre ellos no hacen diferencia a la tecnología y otras empresas humanas. Son lo suficientemente ciertos.