Краса математики
Краса математики — сприйняття математики як об'єкта естетичної насолоди, подібного до музики і поезії.
Правильний погляд на математику відкриває не тільки істину, але й бездоганну красу — холодну й сувору, як скульптура, відсторонену від людських слабкостей, позбавлену вигадливих вивертів живопису і музики — гірську кришталевість і строгу досконалість великого мистецтва. Справжній смак насолоди, захоплення, звільнення від тлінної людської оболонки — все це критерії вищої досконалості, які математика має нарівні з поезією.Оригінальний текст (англ.)Mathematics, rightly viewed, possesses not only truth, but supreme beauty—a beauty cold and austere, like that of sculpture, without appeal to any part of our weaker nature, without the gorgeous trappings of painting or music, yet sublimely pure, and capable of a stern perfection such as only the greatest art can show. The true spirit of delight, the exaltation, the sense of being more than man, which is the touchstone of the highest excellence, is to be found in mathematics as surely as in poetry.
Математики часто називають елегантним метод доведення, який має одну або декілька з таких властивостей:
- Мінімум початкових постулатів або попередніх результатів.
- Гранична лаконічність.
- Незвичність побудови (наприклад, за допомогою теорем з іншої галузі математики).
- Використання нових, оригінальних ідей.
- Можливість узагальнення для розв'язання схожих задач.
У пошуках елегантного доведення математики використовують найрізноманітніші способи розв'язування задачі, оскільки перше знайдене доведення не обов'язково є найкращим. Рекордсменом за кількістю доведень (кілька сотень) є, ймовірно, теорема Піфагора.[2] Інша відома теорема, доведена багатьма способами — квадратичний закон взаємності, для якої тільки Карл Фрідріх Гаусс опублікував 8 доведень, заснованих на абсолютно різних ідеях. На противагу елегантному, логічно коректне доведення з використанням трудомістких обчислень, надскладних методів, традиційних підходів, значного числа аксіом або доведень інших теорем називають грубим або незграбним.
Деякі математики[3] вважають красивим розв'язок задачі, що встановлює зв'язок між галузями математики, які раніше вважалися непов'язаними. Такий результат часто називають глибоким. Одним з найвідоміших прикладів є тотожність Ейлера:[4]
Цей особливий випадок формули Ейлера фізик Річард Фейнман назвав «нашим скарбом» і «найчудовішою формулою математики».[5] Теорема про модулярність, за доведення якої Ендрю Вайлс і Роберт Ленглендс отримали премію Вольфа, встановлює важливий взаємозв'язок між еліптичними кривими і модулярними формами. Гіпотеза жахливої нісенітниці (англ. monstrous moonshine) пов'язує просту скінченну групу монстр із модулярними функціями через теорію струн — результат, за який Річарда Борхердса нагороджено Філдсівською премією.
Глибоким результатом також є виявлення несподіваних аспектів математичних структур. Наприклад, Theorema Egregium Гаусса — основна теорема теорії поверхонь — встановлює зв'язок між локальним явищем (кривиною) і глобальним (площею). Зокрема, площа трикутника на викривленій поверхні пропорційна його надлишку, причому коефіцієнт пропорційності визначається кривиною. Інший приклад — основна теорема аналізу (і її векторні варіанти, серед яких теорема Гріна і теорема Стокса).
Протилежністю глибокому результату є тривіальний. До таких можна віднести результати, що безпосередньо випливають з інших відомих результатів або застосовні тільки до специфічних об'єктів, таких як порожня множина. Втім, можливі випадки, коли формулювання теореми може бути досить оригінальним, щоб вважатися глибокою, навіть якщо її доведення цілком очевидне.
У книзі «Апологія математика[en]» Годфрі Гарді припускає, що гарне доведення або результат повинні володіти «несподіванкою в поєднанні з непохитністю й економічністю».[6] Несподіванка була важливим моментом багатьох математичних результатів Срініваси Рамануджана.
Італійський математик Джан-Карло Рота, проте, не визнає несподіванку достатньою умовою краси, наводячи такий контрприклад:
Дуже багато математичних теорем виявлялися несподіваними після їх опублікування; наприклад, близько двадцяти років тому (в 1957 році - прим.) доведення існування нееквівалентних диференційовних структур на сферах великої розмірності здавалося несподіваним, але нікому б і в голову не прийшло назвати цей факт красивим ні тоді, ні зараз.[7]
М. І. Монастирський з легкою іронією пише:
Дуже важко знайти в минулому винаходи, аналогічні мілноровим вражаючим конструкціям різних диференціальних структур на семивимірній сфері... Первісне доведення Мілнора було не дуже конструктивним, однак Е. Бріскорн показав, що такі структури можна описати в досить наочній і красивій формі.[8]
Ця розбіжність у думках ілюструє як суб'єктивність сприйняття математичної краси, так і її зв'язок з результатом: доведення існування екзотичних сфер справляє менше враження, ніж реалізація їх моделей.
Інтерес до чистої математики, відмінний від емпіричних досліджень, відзначається в багатьох цивілізацій, як от у давньогрецької, де «математикою займалися заради її краси»[9]. Проте, математичну красу можна відчути й за межами чистої математики. Наприклад, фізики отримують естетичну насолоду від загальної теорії відносності Ейнштейна, яку Поль Дірак пояснював її «великою математичною красою»[10].
Нерідко математики розробляли нову галузь математики, яка спочатку не мала практичного застосування, але через певний час фізики помічали, що ці абстрактні математичні обчислення відбивають результати їхніх спостережень. Наприклад, теорія груп, розроблена на початку 1800-х років, єдиною метою якої була можливість розв'язання поліноміальних рівнянь, виявилася найбільш підхожим способом категоризації елементарних частинок — будівельних блоків матерії. Так само сталося і з теорією вузлів, де вузол розглядався лише як математичний об'єкт, але пізніше вона зробила значний внесок у теорію струн і теорію петльової квантової гравітації.
Отримання задоволення від маніпулювання числами і символами вимагає певного залучення в заняття математикою, тому будь-яке технологічне суспільство, що використовує цей надзвичайно корисний інструмент, неминуче відкриває її естетичний аспект. Пасивне ж спостереження не дозволяє оцінити всю силу математичної краси, оскільки її реципієнтами не є аудиторія або глядач у їх класичному розумінні[11]. Бертран Рассел називав красу математики суворою.
Френсіс Гатчесон у «Дослідженні про походження наших ідей краси і чесноти у двох трактатах» (1725) виділив такі характеристики естетичної краси математики:
- єдність у різноманітті;
- ідеал загальності наукових істин;
- набуття неочевидної істини, здогадки про яку вимагають доведень[12].
Пал Ердеш вважав так: коли розв'язок задачі був правильним, але здавався йому негарним, недостатньо витонченим і лаконічним, він зазвичай говорив: «Чудово, але давайте пошукаємо доведення з Книги» (тобто ідеального, платонічного збірника всіх математичних результатів, відомих і невідомих)[13]. Таким чином, усе записане в Книзі і математики лише читають її. Послідовники Ердеша Мартін Айгнер[ru] і Ґюнтер Ціглер[ru] опублікували книгу «Доведення з Книги»[14], яка за п'ять років витримала три перевидання і була перекладена декількома мовами.
Дехто з математиків дотримується думки, що досягнення їхньої науки можна з більшим правом називати не винаходом, а відкриттям, яке, за своїм змістом, ближче до відшукання:
Ви не знайдете дослідника, поета, художника, музиканта, який не скаже, що знайшов своє відкриття, вірш або картину готовими — що вони прийшли ззовні, а не були створені ним усвідомлено зсередини.Оригінальний текст (англ.)There is no scientific discoverer, no poet, no painter, no musician, who will not tell you that he found ready made his discovery or poem or picture – that it came to him from outside, and that he did not consciously create it from within.— Вільям Кінгстон Кліффорд, із лекції в Королівському інституті на тему «Деякі умови розвитку мислення»
Крім того, математики, які дотримуються подібної точки зору, вважають, що докладні і точні результати математики можна справедливо вважати істинними незалежно від будови Всесвіту, в якому ми живемо. Наприклад, вони стверджують, що теорія натуральних чисел обґрунтована так, що принципово не вимагає конкретного контексту розгляду. Найрадикальніші з них приписують математичній красі абсолютну істинність, тим самим тяжіючи до містицизму.
Піфагорійці вірили в буквальну реальність чисел. Тому відкриття ірраціональних чисел стало тим більше для них дивним, оскільки можливість відношення двох натуральних чисел вони вважали свідченням недосконалості природи, невимовним — алогос (піфагорійський світогляд нічого не говорив про границі нескінченних послідовностей відношень натуральних чисел). Із сучасної точки зору такий містичний підхід, що передбачав єдність і нероздільність чисел і геометричних об'єктів, можна назвати нумерологією.
У філософії Платона існували два світи: світ речей, у якому ми живемо, і світ ідей, які необхідні для існування реального світу. У світ ідей входили також математичні ідеї.
Угорський математик Пал Ердеш вірив в існування уявної книги, в якій бог записав усі найпрекрасніші математичні доведення. І коли Ердеш хотів висловити захоплення доведенням, він вигукував: «О, це з Книги!».
Французький філософ XX століття Ален Бадью стверджує, що онтологія за своєю природою математична, оскільки математика може помислити множину як таку, а буття є непостійна множинність.
Дуже часто філософи-натуралісти й інші вчені, що широко користуються математичним методом, робили безпідставні висновки про зв'язок краси з істиною, які згодом виявлялися помилковими. Наприклад, на одному етапі свого життя Йоганн Кеплер вважав, що пропорції орбіт відомих у його час планет Сонячної системи встановлені Богом у відповідності з концентричним розташуванням п'яти платонівських тіл так, що кожна з орбіт одночасно розташована на сфері описаній навколо одного многогранника і вписаній в наступний.
У 1970-х роках Абраам Моль і Фрідер Наке[en] проаналізували зв'язок між красою, обробкою інформації та теорією інформації.[15][16] У 1990-х роках Юрген Шмідхубер сформулював математичну теорію, яка залежить від спостерігача і його суб'єктивного бачення краси, на основі алгоритмічної теорії інформації: найгарніші об'єкти серед тих, що суб'єкту здаються порівнянними між собою, мають короткі алгоритмічні описи, (тобто складність Колмогорова), і відносяться до того, що спостерігач вже знає.[17][18][19] При цьому Шмідхубер проводить чітку межу між красивим і цікавим. Останнє відповідає першій похідній суб'єктивно сприйманої краси: спостерігач постійно намагається збільшити передбачуваність і стиснути спостережувані дані, виявляючи такі закономірності як повторення і симетрію, фрактальну самоподібність. Однак, щоразу коли процес навчання спостерігача (для цього можна використовувати прогнозувальну штучну нейронну мережу) дозволяє краще стиснути дані, тобто нинішнє спостереження можна описати меншою кількістю бітів, ніж попереднє, і відрізок часу, на якому спостерігач виявляє зацікавленість, відповідає коефіцієнту успішного стиснення і пропорційний власній винагороді спостерігача за свою цікавість, йдеться про цікаве, а не про красиве.[20][21]
- Апологія математика[en]
- Історія математики
- Давньогрецька математика
- Математика та мистецтво
- Математика та архітектура
- Фрактал
- ↑ Russell, Bertrand. The Study of Mathematics // Mysticism and Logic: And Other Essays. — Longman, 1919. — С. 60.
- ↑ Еліша Скотт Луміс зібрав у своїй книзі «Піфагорейська гіпотез» (ISBN 0-873-53036-5) більше 360 доведень.
- ↑ Rota (1997), The phenomenology of mathematical beauty, с. 173
- ↑ Gallagher, James (13 лютого 2014). Mathematics: Why the brain sees maths as beauty. BBC News online. Архів оригіналу за 28 січня 2021. Процитовано 13 лютого 2014.
- ↑ Feynman, Richard P. The Feynman Lectures on Physics. — Addison-Wesley, 1977. — Т. I. — С. 22—10. — ISBN 0-201-02010-6.
- ↑ Hardy, G.H. 18 // A Mathematician's Apology.
- ↑ Rota (1997), The phenomenology of mathematical beauty, с. 172
- ↑ Monastyrsky (2001), Some Trends in Modern Mathematics and the Fields Medal
- ↑ Lang, p. 3
- ↑ Chandrasekhar, p. 148
- ↑ Phillips, George. Preface // Mathematics Is Not a Spectator Sport. — Springer Science+Business Media, 2005. — ISBN 0-387-25528-1.
- ↑ Л. И. Лурье. Математическое образование в пространстве эстетического опыта // Образование и наука (Известия уральского отделения Российской академии образования). — 2006. — № 6 (42). — С 120.
- ↑ N is a number (фільм про Ердеша. Архів оригіналу за 22 січня 2021. Процитовано 15 січня 2021.
- ↑ Айгнер М., Циглер Г. Доказательства из Книги. Лучшие доказательства со времен Евклида до наших дней. М.: Мир, 2006. 256 с., ил. ISBN 5-03-003690-3
- ↑ A. Moles: Théorie de l'information et perception esthétique, Paris, Denoël, 1973 (Information Theory and aesthetical perception)
- ↑ F Nake (1974). Ästhetik als Informationsverarbeitung. (Aesthetics as information processing). Grundlagen und Anwendungen der Informatik im Bereich ästhetischer Produktion und Kritik. Springer, 1974, ISBN 3-211-81216-4, ISBN 978-3-211-81216-7
- ↑ J. Schmidhuber. Low-complexity art . Leonardo , Journal of the International Society for the Arts, Sciences, and Technology (Leonardo/ISAST ), 30(2):97–103, 1997. DOI:10.2307/1576418. JSTOR 1576418.
- ↑ J. Schmidhuber. Papers on the theory of beauty and low-complexity art since 1994: http://www.idsia.ch/~juergen/beauty.html
- ↑ J. Schmidhuber. Simple Algorithmic Principles of Discovery, Subjective Beauty, Selective Attention, Curiosity & Creativity. Proc. 10th Intl. Conf. on Discovery Science (DS 2007) pp. 26–38, LNAI 4755, Springer, 2007. Also in Proc. 18th Intl. Conf. on Algorithmic Learning Theory (ALT 2007) p. 32, LNAI 4754, Springer, 2007. Joint invited lecture for DS 2007 and ALT 2007, Sendai, Japan, 2007. arXiv:0709.0674.
- ↑ Schmidhuber, J. (1991). Curious model-building control systems. International Joint Conference on Neural Networks. Т. 2. Singapore: IEEE press. с. 1458—1463. doi:10.1109/IJCNN.1991.170605.
- ↑ Schmidhuber's theory of beauty and curiosity in a German TV show: http://www.br-online.de/bayerisches-fernsehen/faszination-wissen/schoenheit--aesthetik-wahrnehmung-ID1212005092828.xml [Архівовано 3 червня 2008 у Wayback Machine.]
- Г. Х. Харди. Апологія математика[en] (Перевод с английского Ю. А. Данилова). — Ижевск: НИЦ «Регулярная и хаотическая динамика», 2000, 104 с. ISBN 5-89806-035-9
- Успенский В. А. Апология математики. М: Амфора, 2009.
- Дуран А. Поэзия чисел. Прекрасное и математика. / Пер. с исп. М: Де Агостини, 2014, 160 с. ISBN 978-5-9774-0682-6, ISBN 978-5-9774-0722-9.
- Пайтген Х.-О., Рихтер П. Х. Красота фракталов. Образы комплексных динамических систем. / Пер. с нем. М., Мир, 1993, 208 с. ISBN 5-03-001296-6.
- Aigner, Martin, and Ziegler, Gunter M. (2003), Proofs from THE BOOK, 3rd edition, Springer-Verlag (есть русский перевод).
- Chandrasekhar, Subrahmanyan (1987), Truth and Beauty: Aesthetics and Motivations in Science, University of Chicago Press, Chicago, IL.
- Hadamard, Jacques (1949), The Psychology of Invention in the Mathematical Field, 1st edition, Princeton University Press, Princeton, NJ. 2nd edition, 1949. Reprinted, Dover Publications, New York, NY, 1954.
- Hardy, G.H. (1940), A Mathematician's Apology, 1st published, 1940. Reprinted, C.P. Snow (foreword), 1967. Reprinted, Cambridge University Press, Cambridge, UK, 1992.
- Hoffman, Paul (1992), The Man Who Loved Only Numbers, Hyperion.
- Huntley, H.E. (1970), The Divine Proportion: A Study in Mathematical Beauty, Dover Publications, New York, NY.
- Loomis, Elisha Scott (1968), The Pythagorean Proposition, The National Council of Teachers of Mathematics. Contains 365 proofs of the Pythagorean Theorem.
- Lang, Serge (1985). The Beauty of Doing Mathematics: Three Public Dialogues [Архівовано 21 січня 2021 у Wayback Machine.]. New York: Springer-Verlag. ISBN 0-387-96149-6.
- Peitgen, H.-O., and Richter, P.H. (1986), The Beauty of Fractals, Springer-Verlag.
- Reber, R., Brun, M., & Mitterndorfer, K. (2008). The use of heuristics in intuitive mathematical judgment. Psychonomic Bulletin & Review, 15, 1174—1178.
- Strohmeier, John, and Westbrook, Peter (1999), Divine Harmony, The Life and Teachings of Pythagoras, Berkeley Hills Books, Berkeley, CA.
- Rota, Gian-Carlo. The phenomenology of mathematical beauty // Synthese[en] : journal. — 1997. — Vol. 111, no. 2 (5 November). — P. 171—182. — DOI: .
- Monastyrsky, Michael. Some Trends in Modern Mathematics and the Fields Medal // Can. Math. Soc. Notes : journal. — 2001. — Vol. 33, no. 2 and 3 (5 November). Архівовано з джерела 13 серпня 2006. Процитовано 15 січня 2021.
- Edna St. Vincent Millay (poet): Euclid alone has looked on beauty bare [Архівовано 6 жовтня 2007 у Wayback Machine.]
- Terence Tao, What is good mathematics? [Архівовано 16 лютого 2007 у Wayback Machine.]
- Математика як мистецтво [Архівовано 21 січня 2021 у Wayback Machine.]
- A Mathematical Romance [Архівовано 6 вересня 2015 у Wayback Machine.] Jim Holt, December 5, 2013 issue of The New York Review of Books review of Love and Math: The Heart of Hidden Reality by Edward Frenkel