No tengo ningún problema con eso, aunque sí tengo un problema con los físicos que descartan que el rigor matemático sea innecesario. El hecho es que los físicos usan un modo de razonamiento perfectamente adecuado con las matemáticas; se asemeja a los argumentos más libres de las matemáticas pre-Cauchy, que lograron mucho. Hay dos grandes razones por las que el rigor se hizo necesario:
- Para estudiar objetos matemáticos que se definen a partir de los primeros principios a través de la lógica.
- Para domesticar las regiones patológicas externas de ideas bastante intuitivas.
Un buen ejemplo del número 1 es la teoría de grupos, que en realidad es útil para los físicos pero que probablemente no tolerarían tener que desarrollarse, porque lo bueno viene con una gran cantidad de formalismo realmente necesario y resultados intermedios puramente abstractos.
El número 2 se aplica muy bien al enfoque de la física para el análisis (cálculo y sus generalizaciones). A menudo se acusa a los físicos de suponer que cada función es diferenciable, que cada serie converge de manera uniforme, que lo infinito y lo infinitesimal están sujetos a las leyes usuales de la aritmética, etc. Trabajaron felizmente con la “función” delta de Dirac durante décadas antes de que los matemáticos la definieran formalmente. Todavía usan la integral de ruta de Feynman y la renormalización, que tienen, en el mejor de los casos, un débil soporte matemático.
- ¿Puede tianhe-2 calcular 9 ^ 9 ^ 9?
- ¿Cuáles son los requisitos previos para un curso de pregrado en Relatividad general?
- ¿Cómo entendió Fourier que puede convertir una onda de un dominio de tiempo a un dominio de frecuencia?
- ¿Qué papel jugó la ecuación de Einstein E = MC ^ 2 en el desarrollo de la bomba atómica?
- ¿Qué podría leer para aprender algunas de las leyes de la física sin saber las matemáticas necesarias?
¿Sabes por qué funciona esto? Es porque esos escenarios idealistas son en cierto sentido genéricos. No en el sentido de cardinalidad (los casos patológicos son mucho más numerosos) o topología (los casos patológicos son densos siempre que tenga sentido), sino en el sentido de deducción. Todas las quejas anteriores equivalen a decir que los físicos ponen signos más iguales de lo que justifican las matemáticas rigurosas. Bueno, si no puedes decir que dos cosas son iguales, ¿qué puedes decir? A menudo nada. Se puede deducir más cuando se puede suponer más, razón por la cual los teoremas rigurosos tienen tantas hipótesis. Es bastante raro que las condiciones representadas por esas hipótesis (digamos, diferenciabilidad y convergencia uniforme de series de potencia) sean mutuamente excluyentes. Por lo tanto, la física termina usando las conclusiones de todos los teoremas posibles que no son literalmente contradictorios. Mientras sea concebible, y no inconsistente, hay alguna situación en la que es cierto. La física opera en la intersección de todas estas situaciones, un paraíso que solo puede obtenerse “honestamente” con un trabajo inmenso.
Dicho así, parece que se están perdiendo las matemáticas que requieren rigor lógico para acceder. Eso es potencialmente cierto. Pero una vez que la utilidad de tal resultado se hace evidente, los físicos nuevamente están felices de tomarlo como un hecho.
De todos modos, la investigación matemática no es toda lógica formal. La mayor parte es en realidad pre-rigurosa torpeza o post-rigurosa saltos intuitivos. Solo la escritura es completamente lógica (y a veces ni siquiera eso, lamentablemente). Somos menos diferentes de lo que a los dos nos gusta creer.