No lo diría, aunque diría que es útil para la filosofía, principalmente porque sirve como un problema interesante. Actúa mucho como si estuviera a horcajadas entre las ciencias y las humanidades, lo que lo coloca en un lugar interesante para explicar.
Por lo general, se supone que no es empírico en el sentido de que si alguien hace un experimento, no puede decirme que tiene consecuencias matemáticas. Si hacen un “experimento” por computadora, y demuestra un hecho matemático, es (como generalmente lo vemos) solo porque el cálculo podría, en principio, escribirse y servir como prueba del hecho (como se hizo con los cuatro -teorema de color). La prueba se acaba de hacer en una computadora en lugar de en un cerebro y en papel. Por otro lado, las matemáticas parecen ser la base de mucha ciencia, que a menudo se supone que es completamente empírica. De alguna manera, ayuda informar a otras ciencias. Un punto de vista es que cada teoría física realmente incorpora sus propios fundamentos matemáticos, pero es un componente de la teoría que a menudo no se modifica. Si satisface el criterio de falsabilidad de Popper, al menos lo satisface de una manera inusual. Si tenemos una teoría de la física que (usando las matemáticas aceptadas) predice resultados incorrectos, casi siempre es la física la que se adapta a las matemáticas y no al revés. Entonces, ¿las matemáticas son un dogma? Una filosofía popular de las matemáticas (formalismo) enfatiza la libertad que tenemos para elegir los axiomas que queramos usar como punto de partida, sin interferencia ideológica. Pero en la práctica parece que las personas rara vez van en contra del consenso sobre lo que se considera axiomas “naturales”. Querer evitar axiomas que te parecen malos (quizás el axioma de elección) tiende a parecer excéntrico para los matemáticos. Uno tiene la impresión de que es una disciplina altamente objetiva con conclusiones más sólidas que casi cualquier otro campo, pero que también fue una construcción mental.
Es posible conciliar filosóficamente estas incongruencias, pero creo que es beneficioso para la filosofía cuando consideran necesario abordarlas. Sospecho que se ha eliminado una cierta cantidad de filosofía débil a lo largo de los años al descubrir que la filosofía se aplica mal a las matemáticas.
- ¿Por qué es [matemáticas] e [/ matemáticas] tan importante en matemáticas?
- ¿Puedo convertirme en un muy buen ingeniero electrónico si mis matemáticas son muy débiles?
- Cómo aprender cálculo fácilmente (estoy en la clase 10)
- ¿Cómo es la educación matemática en tu país?
- ¿Qué significa relación directa en matemáticas? ¿Cómo se usa?