stringtranslate.com

Belleza matemática

Un ejemplo de "belleza en el método": un descriptor visual simple y elegante del teorema de Pitágoras .

La belleza matemática es el placer estético que se deriva de la abstracción, pureza, simplicidad, profundidad u orden de las matemáticas . Los matemáticos pueden expresar este placer describiendo las matemáticas (o, al menos, algún aspecto de las matemáticas) como bellas o describiendo las matemáticas como una forma de arte (una postura adoptada por GH Hardy [1] ) o, como mínimo, como una actividad creativa .

Se hacen comparaciones con la música y la poesía .

En método

Los matemáticos suelen describir un método de prueba especialmente agradable como elegante . [2] Dependiendo del contexto, esto puede significar:

En la búsqueda de una demostración elegante, los matemáticos pueden buscar múltiples formas independientes de demostrar un resultado, ya que la primera demostración que se encuentra a menudo se puede mejorar. El teorema para el que se ha descubierto el mayor número de demostraciones diferentes es posiblemente el teorema de Pitágoras , con cientos de demostraciones publicadas hasta la fecha. [3] Otro teorema que se ha demostrado de muchas formas diferentes es el teorema de reciprocidad cuadrática . De hecho, Carl Friedrich Gauss solo tenía ocho demostraciones diferentes de este teorema, seis de las cuales publicó. [4]

Por el contrario, los resultados que son lógicamente correctos pero que implican cálculos laboriosos, métodos demasiado elaborados, enfoques altamente convencionales o una gran cantidad de axiomas poderosos o resultados previos, generalmente no se consideran elegantes, e incluso pueden calificarse de feos o torpes .

En resultados

Comenzando en e 0 = 1, viajando a la velocidad i relativa a la posición de uno durante el tiempo π y sumando 1, se llega a 0. (El diagrama es un diagrama de Argand ).

Algunos matemáticos ven belleza en los resultados matemáticos que establecen conexiones entre dos áreas de las matemáticas que a primera vista parecen no estar relacionadas. [5] Estos resultados suelen describirse como profundos . Si bien es difícil encontrar un acuerdo universal sobre si un resultado es profundo, algunos ejemplos se citan con más frecuencia que otros. Un ejemplo de ello es la identidad de Euler : [6]

Esta elegante expresión une posiblemente las cinco constantes matemáticas más importantes ( e , i , π, 1 y 0) con los dos símbolos matemáticos más comunes (+, =). La identidad de Euler es un caso especial de la fórmula de Euler , que el físico Richard Feynman llamó "nuestra joya" y "la fórmula más notable en matemáticas". [7] Los ejemplos modernos incluyen el teorema de modularidad , que establece una conexión importante entre las curvas elípticas y las formas modulares (trabajo en el que condujo a la concesión del Premio Wolf a Andrew Wiles y Robert Langlands ), y " monstruosa luz de luna ", que conecta el grupo Monster con las funciones modulares a través de la teoría de cuerdas (por la que Richard Borcherds fue galardonado con la Medalla Fields ).

Otros ejemplos de resultados profundos incluyen perspectivas inesperadas sobre estructuras matemáticas. Por ejemplo, el Teorema Egregium de Gauss es un teorema profundo que establece que la curvatura gaussiana es invariante bajo la isometría de la superficie. Otro ejemplo es el teorema fundamental del cálculo [8] (y sus versiones vectoriales, incluido el teorema de Green y el teorema de Stokes ).

El opuesto de profundo es trivial . Un teorema trivial puede ser un resultado que se puede derivar de manera obvia y directa a partir de otros resultados conocidos, o que se aplica solo a un conjunto específico de objetos particulares, como el conjunto vacío . En algunas ocasiones, el enunciado de un teorema puede ser lo suficientemente original como para ser considerado profundo, aunque su demostración sea bastante obvia.

En su ensayo de 1940 A Mathematician's Apology , GH Hardy sugirió que una prueba o resultado bello posee "inevitabilidad", "inesperanza" y "economía". [9]

En 1997, Gian-Carlo Rota se mostró en desacuerdo con lo inesperado como condición suficiente para la belleza y propuso un contraejemplo:

Un gran número de teoremas de las matemáticas, cuando se publican por primera vez, parecen sorprendentes; así, por ejemplo, hace unos veinte años [desde 1977] se pensó que la prueba de la existencia de estructuras diferenciables no equivalentes en esferas de gran dimensión era sorprendente, pero a nadie se le ocurrió llamar bello a semejante hecho, ni entonces ni ahora. [10]

Por el contrario, Monastyrsky escribió en 2001:

Es muy difícil encontrar en el pasado una invención análoga a la hermosa construcción de Milnor de las diferentes estructuras diferenciales en la esfera de siete dimensiones... La prueba original de Milnor no era muy constructiva, pero más tarde E. Brieskorn demostró que estas estructuras diferenciales pueden describirse de una forma extremadamente explícita y hermosa. [11]

Este desacuerdo ilustra tanto la naturaleza subjetiva de la belleza matemática como su conexión con los resultados matemáticos: en este caso, no sólo la existencia de esferas exóticas, sino también una realización particular de ellas.

En experiencia

Al conjunto de cinco cubos se le ha atribuido una "belleza fría y austera".

El interés por las matemáticas puras separadas del estudio empírico ha sido parte de la experiencia de varias civilizaciones , incluida la de los antiguos griegos , que "hacían matemáticas por su belleza". [12] El placer estético que los físicos matemáticos tienden a experimentar en la teoría de la relatividad general de Einstein ha sido atribuido (por Paul Dirac , entre otros) a su "gran belleza matemática". [13] La belleza de las matemáticas se experimenta cuando la realidad física de los objetos se representa mediante modelos matemáticos . La teoría de grupos , desarrollada a principios del siglo XIX con el único propósito de resolver ecuaciones polinómicas , se convirtió en una forma fructífera de categorizar las partículas elementales , los bloques de construcción de la materia. De manera similar, el estudio de los nudos proporciona importantes conocimientos sobre la teoría de cuerdas y la gravedad cuántica de bucles . [ cita requerida ]

Algunos [¿ quiénes? ] creen que para apreciar las matemáticas es necesario practicarlas. [14]

Por ejemplo, los Círculos de Matemáticas son programas de enriquecimiento extraescolares en los que los estudiantes se involucran con las matemáticas a través de conferencias y actividades; también hay algunos maestros que fomentan la participación de los estudiantes enseñando matemáticas en el aprendizaje kinestésico . En una lección general de Círculo de Matemáticas, los estudiantes utilizan la búsqueda de patrones, la observación y la exploración para hacer sus propios descubrimientos matemáticos. Por ejemplo, la belleza matemática surge en una actividad de Círculo de Matemáticas sobre simetría diseñada para estudiantes de 2.º y 3.º grado, donde los estudiantes crean sus propios copos de nieve doblando un trozo de papel cuadrado y recortando diseños de su elección a lo largo de los bordes del papel doblado. Cuando se desdobla el papel, se revela un diseño simétrico. En una clase de matemáticas de la escuela primaria del día a día, la simetría se puede presentar como tal de una manera artística donde los estudiantes ven resultados estéticamente agradables en matemáticas. [ cita requerida ]

Algunos profesores [¿ quiénes? ] prefieren utilizar manipuladores matemáticos para presentar las matemáticas de una forma estéticamente agradable. Algunos ejemplos de manipuladores son las fichas de álgebra , las varillas de Cuisenaire y los bloques de patrones . Por ejemplo, se puede enseñar el método de completar el cuadrado utilizando fichas de álgebra. Las varillas de Cuisenaire se pueden utilizar para enseñar fracciones y los bloques de patrones se pueden utilizar para enseñar geometría. El uso de manipuladores matemáticos ayuda a los estudiantes a obtener una comprensión conceptual que podría no verse inmediatamente en fórmulas matemáticas escritas. [15]

Otro ejemplo de belleza en la experiencia es el uso del origami . El origami, el arte de doblar papel, tiene cualidades estéticas y muchas conexiones matemáticas. Se pueden estudiar las matemáticas del plegado de papel observando el patrón de pliegues en las piezas de origami desplegadas. [16]

La combinatoria , el estudio del conteo, tiene representaciones artísticas que algunos [¿ quiénes? ] encuentran matemáticamente hermosas. Hay muchos ejemplos visuales que ilustran conceptos combinatorios. Algunos de los temas y objetos que se ven en los cursos de combinatoria con representaciones visuales incluyen, entre otros , el teorema de los cuatro colores , el cuadro de Young , el permutoedro , la teoría de grafos y la partición de un conjunto . [17]

Los experimentos de imágenes cerebrales realizados por Semir Zeki y sus colegas [18] muestran que la experiencia de la belleza matemática tiene, como correlato neuronal, actividad en el campo A1 de la corteza orbitofrontal medial (mOFC) del cerebro y que esta actividad está relacionada paramétricamente con la intensidad declarada de la belleza. La ubicación de la actividad es similar a la ubicación de la actividad que se correlaciona con la experiencia de la belleza de otras fuentes, como la música, la alegría o la tristeza. Además, los matemáticos parecen resistirse a revisar su juicio sobre la belleza de una fórmula matemática a la luz de la opinión contradictoria de sus pares. [19]

En filosofía

Algunos matemáticos [¿ quiénes? ] opinan que hacer matemáticas está más cerca del descubrimiento que de la invención, por ejemplo:

No hay ningún descubridor científico, ningún poeta, ningún pintor, ningún músico, que no te diga que encontró ya hecho su descubrimiento, su poema o su cuadro, que le vino de fuera y que no lo creó conscientemente desde dentro.

—  William Kingdon Clifford , de una conferencia en la Royal Institution titulada "Algunas de las condiciones del desarrollo mental"

Estos matemáticos creen que los resultados detallados y precisos de las matemáticas pueden considerarse razonablemente verdaderos sin ninguna dependencia del universo en el que vivimos. Por ejemplo, argumentarían que la teoría de los números naturales es fundamentalmente válida, de un modo que no requiere ningún contexto específico. Algunos matemáticos han extrapolado aún más este punto de vista de que la belleza matemática es verdad, llegando en algunos casos a convertirse en misticismo .

En la filosofía de Platón había dos mundos: el mundo físico en el que vivimos y otro mundo abstracto que contenía la verdad inmutable, incluidas las matemáticas. Creía que el mundo físico era un mero reflejo del mundo abstracto más perfecto. [20]

El matemático húngaro Paul Erdős [21] hablaba de un libro imaginario en el que Dios había escrito todas las pruebas matemáticas más hermosas. Cuando Erdős quería expresar su especial aprecio por una prueba, exclamaba: "¡Ésta es del Libro!".

El filósofo francés del siglo XX Alain Badiou afirmó que la ontología es matemática. [22] Badiou también cree en conexiones profundas entre las matemáticas, la poesía y la filosofía.

En muchos casos, los filósofos naturales y otros científicos que han hecho un uso extensivo de las matemáticas han hecho saltos de inferencia entre la belleza y la verdad física de maneras que resultaron ser erróneas. Por ejemplo, en una etapa de su vida, Johannes Kepler creyó que las proporciones de las órbitas de los planetas entonces conocidos en el Sistema Solar habían sido dispuestas por Dios para corresponder a una disposición concéntrica de los cinco sólidos platónicos , cada órbita situada en la circunsfera de un poliedro y en la insfera de otro. Como hay exactamente cinco sólidos platónicos, la hipótesis de Kepler solo podía dar cabida a seis órbitas planetarias y fue refutada por el posterior descubrimiento de Urano .

Análisis de la belleza en las matemáticas

GH Hardy [23] analizó la belleza de las demostraciones matemáticas en estas seis dimensiones: general, seria, profunda, inesperada, inevitable, económica (simple). Paul Ernest [24] propone siete dimensiones para cualquier objeto matemático, incluyendo conceptos, teoremas, demostraciones y teorías. Estas son 1. Economía, simplicidad, brevedad, concisión, elegancia; 2. Generalidad, abstracción, poder; 3. Sorpresa, ingenio, astucia; 4. Patrón, estructura, simetría, regularidad, diseño visual; 5. Lógica, rigor, razonamiento y deducción ajustados, pensamiento puro; 6. Interconexión, vínculos, unificación; 7. Aplicabilidad, poder de modelado, generalidad empírica. Argumenta que los matemáticos individuales y las comunidades de matemáticos tendrán opciones preferidas de esta lista. Algunos, como Hardy, rechazarán algunas (Hardy afirmó que las matemáticas aplicadas son feas). Sin embargo, Rentuya Sa y sus colegas [25] compararon las opiniones de matemáticos y estudiantes universitarios británicos y matemáticos chinos sobre la belleza de 20 ecuaciones bien conocidas y encontraron un fuerte grado de acuerdo entre sus opiniones.

En la teoría de la información

En la década de 1970, Abraham Moles y Frieder Nake analizaron los vínculos entre la belleza, el procesamiento de la información y la teoría de la información . [26] [27] En la década de 1990, Jürgen Schmidhuber formuló una teoría matemática de la belleza subjetiva dependiente del observador basada en la teoría de la información algorítmica : los objetos más bellos entre los objetos subjetivamente comparables tienen descripciones algorítmicas cortas (es decir, complejidad de Kolmogorov ) en relación con lo que el observador ya sabe. [28] [29] [30] Schmidhuber distingue explícitamente entre bello e interesante. Este último corresponde a la primera derivada de la belleza percibida subjetivamente: el observador intenta continuamente mejorar la predictibilidad y compresibilidad de las observaciones descubriendo regularidades como repeticiones y simetrías y autosimilitud fractal . Siempre que el proceso de aprendizaje del observador (posiblemente una red neuronal artificial predictiva ) conduce a una mejor compresión de datos de modo que la secuencia de observación puede describirse con menos bits que antes, el interés temporal de los datos corresponde al progreso de la compresión y es proporcional a la recompensa de la curiosidad interna del observador. [31] [32]

En las artes

Música

Entre los ejemplos del uso de las matemáticas en la música se incluyen la música estocástica de Iannis Xenakis , la secuencia de Fibonacci en Lateralus de Tool , el contrapunto de Johann Sebastian Bach , las estructuras polirrítmicas (como en La consagración de la primavera de Ígor Stravinsky ), la modulación métrica de Elliott Carter , la teoría de la permutación en el serialismo a partir de Arnold Schoenberg y la aplicación de los tonos de Shepard en Hymnen de Karlheinz Stockhausen . También se incluyen las aplicaciones de la teoría de grupos a las transformaciones en la música en los escritos teóricos de David Lewin .

Artes visuales

Diagrama de Della Pittura de Leon Battista Alberti de 1435 , con pilares en perspectiva sobre una cuadrícula

Algunos ejemplos del uso de las matemáticas en las artes visuales incluyen aplicaciones de la teoría del caos y la geometría fractal al arte generado por computadora , estudios de simetría de Leonardo da Vinci , geometrías proyectivas en el desarrollo de la teoría de la perspectiva del arte renacentista , cuadrículas en el arte óptico , geometría óptica en la cámara oscura de Giambattista della Porta y perspectiva múltiple en el cubismo analítico y el futurismo .

La geometría sagrada es un campo en sí mismo, que da origen a innumerables formas de arte, incluidos algunos de los símbolos místicos y motivos religiosos más conocidos, y tiene una historia particularmente rica en la arquitectura islámica . También proporciona un medio de meditación y contemplación, por ejemplo, el estudio de las Sefirot de la Cábala (el árbol de la vida) y el cubo de Metatrón ; y también el acto de dibujar en sí.

El diseñador gráfico holandés MC Escher creó xilografías , litografías y mezzotintas de inspiración matemática que presentan construcciones imposibles, exploraciones del infinito , arquitectura, paradojas visuales y teselaciones .

Algunos pintores y escultores crean obras distorsionadas con los principios matemáticos de la anamorfosis , incluido el escultor sudafricano Jonty Hurwitz .

El artista construccionista británico John Ernest creó relieves y pinturas inspirados en la teoría de grupos. [33] Varios otros artistas británicos de las escuelas de pensamiento construccionista y de sistemas también recurren a modelos y estructuras matemáticas como fuente de inspiración, incluidos Anthony Hill y Peter Lowe . [34] El arte generado por computadora se basa en algoritmos matemáticos .

Citas de matemáticos

Bertrand Russell expresó su sentido de la belleza matemática con estas palabras:

Las matemáticas, bien consideradas, poseen no sólo verdad, sino también belleza suprema: una belleza fría y austera, como la de la escultura, que no apela a ninguna parte de nuestra naturaleza más débil, sin los suntuosos adornos de la pintura o la música, pero sublimemente pura y capaz de una perfección severa como sólo el arte más grande puede mostrar. El verdadero espíritu de deleite, la exaltación, la sensación de ser más que un hombre, que es la piedra de toque de la excelencia más alta, se encuentra en las matemáticas con tanta seguridad como en la poesía. [35]

Paul Erdős expresó su opinión sobre la inefabilidad de las matemáticas cuando dijo: "¿Por qué son bellos los números? Es como preguntar por qué es bella la Novena Sinfonía de Beethoven . Si no ves por qué, nadie te lo puede decir. Yo sé que los números son bellos. Si no son bellos, nada lo es". [36]

Véase también

Notas

  1. ^ "Citas de Hardy". www-history.mcs.st-andrews.ac.uk . Consultado el 31 de octubre de 2019 .
  2. ^ "Elegancia de la prueba - Comunicación matemática MAA Comunicación matemática MAA". 2011-04-01 . Consultado el 2024-04-28 .
  3. ^ Elisha Scott Loomis publicó más de 360 ​​pruebas en su libro Proposición pitagórica ( ISBN 0-873-53036-5 ). 
  4. ^ Weisstein, Eric W. "Teorema de reciprocidad cuadrática". mathworld.wolfram.com . Consultado el 31 de octubre de 2019 .
  5. ^ Rota (1997), pág. 173.
  6. ^ Gallagher, James (13 de febrero de 2014). «Matemáticas: por qué el cerebro ve las matemáticas como belleza». BBC News online . Consultado el 13 de febrero de 2014 .
  7. ^ Feynman, Richard P. (1977). Las conferencias Feynman sobre física. Vol. I. Addison-Wesley. ISBN 0-201-02010-6.
  8. ^ Weisstein, Eric W. "Teoremas fundamentales del cálculo". mathworld.wolfram.com . Consultado el 31 de octubre de 2019 .
  9. ^ Hardy, GH "18". La disculpa de un matemático – vía Internet Archive.
  10. ^ Rota (1997), pág. 172.
  11. ^ Monastyrsky (2001), Algunas tendencias en las matemáticas modernas y la medalla Fields
  12. ^ Lang, pág. 3
  13. ^ Chandrasekhar, pág. 148
  14. ^ Phillips, George (2005). "Prefacio". Las matemáticas no son un deporte para espectadores . Springer Science+Business Media . ISBN 0-387-25528-1. Consultado el 22 de agosto de 2008 ."...no hay nada en el mundo de las matemáticas que se corresponda con una audiencia en una sala de conciertos, donde los pasivos escuchan a los activos. Afortunadamente, los matemáticos son todos hacedores , no espectadores.
  15. ^ Sowell, E (1989). "Efectos de los materiales manipulativos en la enseñanza de las matemáticas". Revista de investigación en educación matemática . 20 (5): 498–505. doi :10.2307/749423. JSTOR  749423.
  16. ^ Hull, Thomas. "Proyecto Origami: actividades para explorar las matemáticas". Taylor & Francis, 2006.
  17. ^ Brualdi, Richard (2009). Combinatoria introductoria . Pearson. ISBN 978-0136020400.
  18. ^ Zeki, Semir; Romaya, John Paul; Benincasa, Dionigi MT; Atiyah, Michael F. (2014). "La experiencia de la belleza matemática y sus correlatos neuronales". Frontiers in Human Neuroscience . 8 : 68. doi : 10.3389/fnhum.2014.00068 . ISSN  1662-5161. PMC 3923150 . PMID  24592230. 
  19. ^ Zhang, Haoxuan; Zeki, Semir (mayo de 2022). "Los juicios de belleza matemática son resistentes a la revisión a través de la opinión externa". PsyCh Journal . 11 (5): 741–747. doi : 10.1002/pchj.556 . ISSN  2046-0252. PMC 9790661 . PMID  35491015. 
  20. ^ Linnebo, Øystein (2018), "Platonismo en la filosofía de las matemáticas", en Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (edición de primavera de 2018), Metaphysics Research Lab, Stanford University , consultado el 31 de octubre de 2019
  21. ^ Schechter, Bruce (2000). Mi cerebro está abierto: los viajes matemáticos de Paul Erdős . Nueva York: Simon & Schuster . pp. 70–71. ISBN 0-684-85980-7.
  22. ^ "Alain Badiou: Ontología y estructuralismo". Revista Ceasefire . 2014-04-02 . Consultado el 2019-10-31 .
  23. ^ Hardy, GH (1940). La disculpa de un matemático . Cambridge: Cambridge University Press .
  24. ^ "Paul Ernest: Matemáticas y belleza" (PDF) . Enseñanza de las matemáticas . 2015-09-01 . Consultado el 2024-09-15 .
  25. ^ "Rentuya Sa, Lara Alcock, Matthew Inglis y Fenner Stanley Tanswell: ¿Están de acuerdo los matemáticos sobre la belleza matemática?". Revista de filosofía y psicología . 21 de febrero de 2024. Consultado el 15 de septiembre de 2024 .
  26. ^ A. Moles: Théorie de l'information et percepción esthétique , París, Denoël, 1973 ( Teoría de la información y percepción estética)
  27. ^ F desnudo (1974). Ästhetik als Informationsverarbeitung. ( La estética como procesamiento de información). Grundlagen und Anwendungen der Informatik im Bereich ästhetischer Produktion und Kritik. Springer, 1974, ISBN 3-211-81216-4 , ISBN 978-3-211-81216-7  
  28. ^ J. Schmidhuber. Arte de baja complejidad . Leonardo , Revista de la Sociedad Internacional para las Artes, las Ciencias y la Tecnología ( Leonardo/ISAST ), 30(2):97–103, 1997. doi :10.2307/1576418. JSTOR  1576418.
  29. ^ J. Schmidhuber. Artículos sobre la teoría de la belleza y el arte de baja complejidad desde 1994: http://www.idsia.ch/~juergen/beauty.html
  30. ^ J. Schmidhuber. Principios algorítmicos simples de descubrimiento, belleza subjetiva, atención selectiva, curiosidad y creatividad. Actas de la 10.ª Conferencia Internacional sobre la Ciencia del Descubrimiento (DS 2007), págs. 26-38, LNAI 4755, Springer, 2007. También en Actas de la 18.ª Conferencia Internacional sobre la Teoría del Aprendizaje Algorítmico (ALT 2007), pág. 32, LNAI 4754, Springer, 2007. Conferencia invitada conjunta para DS 2007 y ALT 2007, Sendai, Japón, 2007. arXiv :0709.0674.
  31. ^ Schmidhuber, J. (1991). Sistemas de control de construcción de modelos curiosos . Conferencia conjunta internacional sobre redes neuronales. Vol. 2. Singapur: IEEE press. págs. 1458–1463. doi :10.1109/IJCNN.1991.170605.
  32. ^ La teoría de la belleza y la curiosidad de Schmidhuber en un programa de televisión alemán: http://www.br-online.de/bayerisches-fernsehen/faszination-wissen/schoenheit--aesthetik-wahrnehmung-ID1212005092828.xml Archivado el 3 de junio de 2008 en Wayback Machine .
  33. ^ El uso que hace John Ernest de las matemáticas y, especialmente, de la teoría de grupos en sus obras de arte se analiza en John Ernest, A Mathematical Artist de Paul Ernest en Philosophy of Mathematics Education Journal , n.º 24, diciembre de 2009 (número especial sobre matemáticas y arte): https://www.exeter.ac.uk/research/groups/education/pmej/pome24/index.htm
  34. ^ Franco, Francesca (5 de octubre de 2017). "El grupo de sistemas (capítulo 2)". Arte de sistemas generativos: la obra de Ernest Edmonds . Routledge. ISBN 9781317137436.
  35. ^ Russell, Bertrand (1919). "El estudio de las matemáticas". Misticismo y lógica: y otros ensayos. Longman . p. 60 . Consultado el 22 de agosto de 2008 . Las matemáticas correctamente consideradas poseen no sólo verdad sino belleza suprema, una belleza fría y austera como la de la escultura, sin atractivo para ninguna parte de nuestra naturaleza más débil sin los magníficos adornos de Russell.
  36. ^ Devlin, Keith (2000). "¿Tienen los matemáticos cerebros diferentes?". El gen de las matemáticas: cómo evolucionó el pensamiento matemático y por qué los números son como chismes . Basic Books . pág. 140. ISBN 978-0-465-01619-8. Consultado el 22 de agosto de 2008 .

Referencias

Lectura adicional

Enlaces externos