La matemática pura es el estudio de conceptos matemáticos independientemente de cualquier aplicación fuera de las matemáticas . Estos conceptos pueden originarse en preocupaciones del mundo real, y los resultados obtenidos pueden resultar más tarde útiles para aplicaciones prácticas, pero los matemáticos puros no están motivados principalmente por tales aplicaciones. En cambio, el atractivo se atribuye al desafío intelectual y la belleza estética de resolver las consecuencias lógicas de los principios básicos .
Si bien las matemáticas puras han existido como actividad al menos desde la antigua Grecia , el concepto se desarrolló alrededor del año 1900, [2] después de la introducción de teorías con propiedades contraintuitivas (como las geometrías no euclidianas y la teoría de conjuntos infinitos de Cantor ). ), y el descubrimiento de paradojas aparentes (como funciones continuas que no son diferenciables en ninguna parte y la paradoja de Russell ). Esto introdujo la necesidad de renovar el concepto de rigor matemático y reescribir todas las matemáticas en consecuencia, con un uso sistemático de métodos axiomáticos . Esto llevó a muchos matemáticos a centrarse en las matemáticas por sí mismas, es decir, en las matemáticas puras.
Sin embargo, casi todas las teorías matemáticas siguieron motivadas por problemas provenientes del mundo real o de teorías matemáticas menos abstractas. Además, muchas teorías matemáticas, que parecían ser matemáticas totalmente puras, finalmente se utilizaron en áreas aplicadas, principalmente la física y la informática . Un ejemplo temprano y famoso es la demostración de Isaac Newton de que su ley de gravitación universal implicaba que los planetas se mueven en órbitas que son secciones cónicas , curvas geométricas que habían sido estudiadas en la antigüedad por Apolonio . Otro ejemplo es el problema de factorizar números enteros grandes , que es la base del criptosistema RSA , ampliamente utilizado para proteger las comunicaciones por Internet . [3]
De ello se deduce que, actualmente, la distinción entre matemáticas puras y aplicadas es más un punto de vista filosófico o una preferencia de los matemáticos que una subdivisión rígida de las matemáticas. [ cita necesaria ]
Los matemáticos griegos antiguos estuvieron entre los primeros en hacer una distinción entre matemáticas puras y aplicadas. Platón ayudó a crear la brecha entre la "aritmética", ahora llamada teoría de números , y la "logística", ahora llamada aritmética . Platón consideraba que la logística (aritmética) era apropiada para los hombres de negocios y hombres de guerra que "deben aprender el arte de los números o [no] sabrán cómo organizar [sus] tropas" y la aritmética (teoría de números) como apropiada para los filósofos "porque [ tienen] que surgir del mar del cambio y asirse al verdadero ser". [4] Euclides de Alejandría , cuando uno de sus estudiantes le preguntó para qué servía el estudio de la geometría, pidió a su esclavo que le diera tres peniques al estudiante, "ya que debe sacar provecho de lo que aprende". [5] Al matemático griego Apolonio de Perge se le preguntó sobre la utilidad de algunos de sus teoremas en el Libro IV de las Cónicas , a lo que afirmó con orgullo, [6]
Son dignos de aceptación por el bien de las demostraciones mismas, del mismo modo que aceptamos muchas otras cosas en matemáticas por esta y ninguna otra razón.
Y dado que muchos de sus resultados no eran aplicables a la ciencia o la ingeniería de su época, Apolonio argumentó además en el prefacio del quinto libro de Cónicas que el tema es uno de esos que "...parecen dignos de estudio por sí mismos". ". [6]
El término en sí está consagrado en el título completo de la Cátedra Sadleiriana , "Profesor Sadleiriano de Matemática Pura", fundada (como cátedra) a mediados del siglo XIX. Es posible que en aquella época haya surgido la idea de una disciplina separada de las matemáticas puras . La generación de Gauss no hizo ninguna distinción radical entre puro y aplicado . En los años siguientes, la especialización y la profesionalización (particularmente en el enfoque de Weierstrass sobre el análisis matemático ) comenzaron a hacer más evidente una brecha.
A principios del siglo XX los matemáticos adoptaron el método axiomático , fuertemente influenciados por el ejemplo de David Hilbert . La formulación lógica de las matemáticas puras sugerida por Bertrand Russell en términos de una estructura cuantificadora de proposiciones parecía cada vez más plausible, a medida que grandes partes de las matemáticas se volvieron axiomatizadas y, por tanto, sujetas a criterios simples de prueba rigurosa .
Lo que está demostrado es la matemática pura, según una visión que puede atribuirse al grupo de Bourbaki . El "matemático puro" se convirtió en una vocación reconocida, alcanzable mediante la formación.
Se argumentó que las matemáticas puras son útiles en la educación en ingeniería : [7]
Un concepto central de las matemáticas puras es la idea de generalidad; Las matemáticas puras a menudo muestran una tendencia hacia una mayor generalidad. Los usos y ventajas de generalidad incluyen los siguientes:
El impacto de la generalidad en la intuición depende tanto del tema como de una cuestión de preferencia personal o estilo de aprendizaje. A menudo la generalidad se considera un obstáculo para la intuición, aunque ciertamente puede funcionar como una ayuda para ella, especialmente cuando proporciona analogías con material para el que ya se tiene una buena intuición.
Como excelente ejemplo de generalidad, el programa de Erlangen implicó una expansión de la geometría para dar cabida a geometrías no euclidianas , así como al campo de la topología y otras formas de geometría, al considerar la geometría como el estudio de un espacio junto con un grupo de transformaciones. . El estudio de los números , llamado álgebra en el nivel inicial de pregrado, se extiende al álgebra abstracta en un nivel más avanzado; y el estudio de funciones , llamado cálculo en el nivel de primer año de la universidad, se convierte en análisis matemático y análisis funcional en un nivel más avanzado. Cada una de estas ramas de las matemáticas más abstractas tiene muchas subespecialidades y, de hecho, existen muchas conexiones entre las disciplinas de las matemáticas puras y las matemáticas aplicadas. A mediados del siglo XX se observó un fuerte aumento en la abstracción .
Sin embargo, en la práctica, estos desarrollos condujeron a una marcada divergencia con la física , especialmente de 1950 a 1983. Más tarde, esto fue criticado, por ejemplo por Vladimir Arnold , como demasiado Hilbert y poco Poincaré . La cuestión aún no parece estar resuelta, en el sentido de que la teoría de cuerdas tira en una dirección, mientras que las matemáticas discretas retroceden hacia la demostración como central.
Los matemáticos siempre han tenido opiniones diferentes sobre la distinción entre matemáticas puras y aplicadas. Uno de los ejemplos modernos más famosos (pero quizás incomprendido) de este debate se puede encontrar en el ensayo de GH Hardy de 1940, A Mathematician's Apology .
Se cree ampliamente que Hardy consideraba que las matemáticas aplicadas eran feas y aburridas. Si bien es cierto que Hardy prefería las matemáticas puras, que a menudo comparaba con la pintura y la poesía , Hardy consideraba que la distinción entre matemáticas puras y aplicadas era simplemente que las matemáticas aplicadas buscaban expresar la verdad física en un marco matemático, mientras que las matemáticas puras expresaban verdades que eran independientes del mundo físico. Hardy hizo una distinción separada en matemáticas entre lo que llamó matemáticas "reales", "que tienen un valor estético permanente", y "las partes aburridas y elementales de las matemáticas" que tienen un uso práctico.
Hardy consideraba a algunos físicos, como Einstein y Dirac , entre los "reales" matemáticos, pero en el momento en que escribía su Apología , consideraba "inútiles" la relatividad general y la mecánica cuántica , lo que le permitía sostener la opinión de que sólo las matemáticas "aburridas" eran útiles. Además, Hardy admitió brevemente que, así como la aplicación de la teoría de matrices y la teoría de grupos a la física había llegado inesperadamente, puede llegar el momento en que algunos tipos de matemáticas hermosas y "reales" también puedan ser útiles.
Otra visión reveladora la ofrece el matemático estadounidense Andy Magid :
Siempre he pensado que aquí se podría extraer un buen modelo de la teoría de anillos. En esa materia, se tienen las subáreas de teoría de anillos conmutativa y teoría de anillos no conmutativa . Un observador desinformado podría pensar que representan una dicotomía, pero en realidad la última subsume a la primera: un anillo no conmutativo es un anillo no necesariamente conmutativo. Si utilizamos convenciones similares, entonces podríamos referirnos a matemáticas aplicadas y matemáticas no aplicadas, donde por estas últimas entendemos matemáticas no necesariamente aplicadas ... [énfasis añadido] [8]
Friedrich Engels argumentó en su libro Anti-Dühring de 1878 que "no es del todo cierto que en matemáticas puras la mente se ocupe únicamente de sus propias creaciones e imaginaciones. Los conceptos de número y figura no han sido inventados de ninguna otra fuente que no sea el mundo". de la realidad". [9] : 36 Argumentó además que "Antes de que a uno se le ocurriera la idea de deducir la forma de un cilindro a partir de la rotación de un rectángulo alrededor de uno de sus lados, varios rectángulos y cilindros reales, por imperfectos que fueran en forma, debían tener Como todas las demás ciencias, las matemáticas surgieron de las necesidades de los hombres... Pero, como en todos los departamentos del pensamiento, en una determinada etapa del desarrollo las leyes, que estaban abstraídas del mundo real, se divorcian de éste. mundo, y se oponen a él como algo independiente, como leyes que vienen del exterior, a las que el mundo tiene que ajustarse". [9] : 37
