¿Cuál es la definición moderna de las matemáticas?

En un ensayo muy admirado, “Sobre la prueba y el progreso en las matemáticas”, el gran matemático William Thurston describe una respuesta desafiante pero perspicaz, a la que Justin e Igor ya han aludido. Da un bosquejo de una definición directa de las matemáticas modernas y también una definición más profunda y recursiva.

Puede sonar casi circular decir que lo que los matemáticos están logrando es avanzar en la comprensión humana de las matemáticas. No intentaré resolver esto discutiendo qué son las matemáticas, porque nos llevaría lejos. Los matemáticos generalmente sienten que saben lo que son las matemáticas, pero les resulta difícil dar una buena definición directa. Es interesante intentarlo. Para mí, “la teoría de los patrones formales” ha sido lo más cercano, pero discutir esto sería un ensayo completo en sí mismo.

¿Podría la dificultad de dar una buena definición directa de las matemáticas ser esencial, indicando que las matemáticas tienen una cualidad recursiva esencial? En este sentido, podríamos decir que las matemáticas son la asignatura más pequeña que satisface lo siguiente:

  • Las matemáticas incluyen los números naturales y la geometría plana y sólida.
  • Las matemáticas son lo que estudian los matemáticos.
  • Los matemáticos son aquellos humanos que promueven la comprensión humana de las matemáticas.

En otras palabras, a medida que avanzan las matemáticas, lo incorporamos a nuestro pensamiento. A medida que nuestro pensamiento se vuelve más sofisticado, generamos nuevos conceptos matemáticos y nuevas estructuras matemáticas: el tema de las matemáticas cambia para reflejar cómo pensamos.

No conozco la definición moderna de las matemáticas, pero si quieres saber de qué se trata realmente la matemática, te recomiendo Un lamento matemático de Paul Lockhart. Aquí hay un extracto:

Lo primero que hay que entender es que las matemáticas son un arte. La diferencia entre las matemáticas y las otras artes, como la música y la pintura, es que nuestra cultura no lo reconoce como tal.
[…] Parte del problema es que nadie tiene la menor idea de lo que hacen los matemáticos. La percepción común parece ser que los matemáticos están de alguna manera conectados con la ciencia, tal vez ayudan a los científicos con sus fórmulas o alimentan grandes números a las computadoras por alguna razón u otra. No hay duda de que si el mundo tuviera que dividirse en “soñadores poéticos” y “pensadores racionales”, la mayoría de las personas colocarían a los matemáticos en la última categoría.

Sin embargo, el hecho es que no hay nada tan soñador y poético, nada tan radical, subversivo y psicodélico como las matemáticas. Es tan alucinante como la cosmología o la física (los matemáticos concibieron los agujeros negros mucho antes de que los astrónomos realmente encontraran alguno), y permite más libertad de expresión que la poesía, el arte o la música (que dependen en gran medida de las propiedades del universo físico). La matemática es la más pura de las artes, así como la más incomprendida.
Permítanme tratar de explicar qué son las matemáticas y qué hacen los matemáticos. Apenas puedo hacerlo mejor que comenzar con la excelente descripción de GH Hardy:
Un matemático, como un pintor o poeta, es un creador.
de patrones. Si sus patrones son más permanentes que
la suya, es porque están hechos con ideas.

La otra parte que necesita escuchar para comprender completamente la respuesta de Igor Markov es que los matemáticos son personas que hacen matemáticas.

Las matemáticas son lo que hacen los matemáticos (¡en serio!)