Matemáticos, ¿cuál es su opinión sobre el constructivismo matemático?

Depende del contexto, pero puede ser un punto de vista innecesariamente limitante. La matemática se inventó porque nos ayuda a resolver problemas, por lo tanto, debe adaptarse al problema en cuestión. Si quiero hacer algunos cálculos físicos, sería muy importante asegurarme de que mis argumentos son constructivos.

Por otro lado, a veces se crea un modelo matemático que abstrae muchos detalles superfluos y, a veces, esos detalles “abstraídos” fueron precisamente los hechos que hicieron que los argumentos constructivos fueran más fáciles o incluso posibles. Sin embargo, aún puede ser perfectamente informativo probar cosas en este entorno. Los supuestos continuos para la física matemática a menudo ponen al matemático en este tipo de situación. Aunque físicamente no estamos tratando con un continuo, abstraemos los detalles de los átomos y los efectos cuánticos para obtener un modelo útil que sea correcto en las escalas de interés. Probar cosas en esta configuración a menudo puede conducir a argumentos no constructivos. ¿Eso hace que las pruebas o los hechos sean menos informativos? El constructivista diría que sí, yo digo que las pruebas son perfectamente legítimas para el modelo y nos dicen algo sobre las matemáticas que surge cuando hacemos ese tipo de suposiciones de abstracción.

Dejando a un lado la metafísica, es solo una forma de ver más de cerca la constructibilidad de las cosas. No veo dos mundos incompatibles allí.

Digamos, tenemos un teorema clásico que afirma la existencia de un objeto X, pero no da una manera de cómo construirlo (encontrarlo). Constructivísticamente, la doble negación de ese teorema aún se mantiene, es decir: los constructivistas no dicen “X existe”, porque para ellos “existe” significa “sabemos cómo encontrarlo”. Pero pueden decir “no tiene ningún sentido buscar una prueba de que X no existe: porque ese teorema muestra que tal prueba no puede existir”. Así que la “existencia” clásica también tiene un significado para ellos, solo que no tienen una buena palabra para ello.

De modo que las matemáticas clásicas completas siguen siendo verdaderas constructivísticamente, al poner dobles negaciones antes de todas las proposiciones. Y la matemática constructivista completa sigue siendo significativa clásicamente, poniendo el valor agregado de registrar para cada declaración de existencia si conocemos un algoritmo para encontrar la cosa o si no.

Cualquier afirmación de que los matemáticos solo deberían preocuparse por las cosas que son construibles no tiene sentido matemático.

More Interesting

¿Cómo es que 0 ^ 0 es igual a 1? ¿Quién decidió eso?

Cómo obtener la información del marco mundial basada en la siguiente información

¿Podría Shinichi Mochizuki haber usado razonablemente un asistente de prueba como Coq para formalizar su prueba de la Conjetura ABC?

¿Cuáles son las ramas más útiles de las Matemáticas en el mundo real / práctico y algunas ramas teóricas realistas que muestran potencial para ser utilizado para algo extraordinario?

¿Cuál es la solución de la pregunta AP en la imagen a continuación?

¿Qué es la jerarquía aritmética?

¿Cuál es la solución de sqrt (-x)?

¿El diseño de Nature sigue la serie y la simetría de Fibonacci?

¿Existe una fórmula para calcular particiones primarias?

Si F (7) = 3; F (11) = -2; F (13) = -5, entonces, ¿qué es F?

¿Cuáles son algunos modelos matemáticos económicos y financieros que vale la pena explorar para comprender y aplicar mejor dichos temas?

A y B pueden completar un trabajo en 30 y 20 días respectivamente. Comienzan a trabajar juntos y B se va 5 días antes de que termine el trabajo. ¿En cuántos días está terminado el trabajo total?

¿Cómo se puede definir la calidad de búsqueda en términos matemáticos?

¿Pueden dos teorías matemáticas ser estructuralmente diferentes pero llegar a un acuerdo sobre la mayoría de las preguntas? Hay conexiones profundas entre áreas muy distantes de las matemáticas, pero la respuesta debería ser sobre las teorías que modelan las mismas cosas de manera diferente.

¿Qué sabes sobre Srinivasan Ramanujam?