Belleza Matemática .... (Russel)

"La matemática posee no sólo verdad, sino belleza suprema; una belleza fría y austera, como aquella de la escultura, sin apelación a ninguna parte de nuestra naturaleza débil, sin los adornos magnificos de la pintura o la música, pero sublime y pura, y capaz de una perfección severa como sólo las mejores artes pueden presentar. El verdadero espíritu del deleite, de exaltación, el sentido de ser más grande que el hombre, que es el criterio con el cual se mide la más alta excelencia, puede ser encontrado en la matemática tan seguramente como en la poesía."


Tomado de Wikipedia: ¿ Qué es belleza Matemática ? (En torno al método):

Belleza en el método

Los matemáticos describen un específico método de comprobación como elegante. Dependiendo del contexto, esto puede significar:

• Una demostración que utiliza una mínima cantidad de hipótesis adicionales o resultados previos.
• Una demostración que es inusualmente breve.
• Una demostración que deriva el resultado de una manera sorprendente (a partir de teoremas que aparentemente no están relacionados con la proposición a ser demostrada).
• Una demostración que se basa en una visión nueva y original sobre el problema a resolver.
• Un método de demostración que puede ser fácilmente generalizado para resolver una familia de problemas similares.

En la búsqueda de una demostración elegante, los matemáticos usualmente buscan formas independientes y diferentes de demostrar un resultado-la primera demostración podría no ser la mejor. El teorema que más demostraciones distintas tiene es el teorema de Pitágoras, con cientos de demostraciones publicadas. Otro teorema que ha sido demostrado de muchas maneras diferentes es el de la "Reciprocidad Cuadrática". Solamente "Carl Friedrich Gauss" publicó ocho demostraciones diferentes de este teorema.

Recíprocamente, resultados que son lógicamente correctos pero que involucran cálculos laboriosos, métodos sobreelaborados, ataques muy convencionales o que dependen de una gran número de axiomas particularmente poderosos o resultados previos que no son usualmente considerados elegantes, pueden ser llamados feos o torpes.