Вот строки Осипа Мандельштама:
…Но чем внимательней, твердыня Notre-Dame, Я изучал твои чудовищные ребра, Тем чаще думал я: «Из тяжести недоброй И я когда-нибудь прекрасное создам…»
По словарю Ларусса, красивое - это то, что «радует глаз или разум».
Мы говорим о красоте музыки Моцарта, пушкинских стихов, но что можно сказать о красоте науки, мысленных построений, которых не нарисовать на бумаге, не высечь из камня, не переложить на музыку?
Крдсота науки, как и искусства, определяется ощущением соразмерности и взаимосвязанности частей, образующих целое, и отражает гармонию окружающего мира.
Вот что говорит Анри Пуанкаре в книге «Наука и метод»: «Если бы природа не была прекрасна, она не стоила бы того, чтобы ее знать; жизнь не стоила бы Toго, чтобы ее переживать. Я здесь говорю, конечно, не о той красоте, которая бросается в глаза (…), я имею в виду ту более глубокую красоту, которая открывается в гармонии частей, которая постигается только разумом. Это она создает почву, создает скелет для игры видимых красок, ласкающих наши чувства, и без этой поддержки красота мимолетных впечатлений была бы несовершенна, как все неотчетливое и преходящее. Напротив, красота интеллектуальная дает удовлетворение сама по себе».
Красота логических построений
Красота, о которой говорит Пуанкаре, - это не только отражение гармонии материального мира, это и красота логических построений. Логическое - один из объектов познания, его объективность доказывается общеобязательностью логических заключений. Логическая красота так же объективна, как и красота физических законов. Мы часто ощущаем изящество теории и в том случае, когда предсказания ее не подтвердились экспериментом. Под «изяществом» понимается остроумие аргументации, установление неожиданных связей, богатство и значительность заключений при минимальном числе правдоподобных предположений… Словом, то, что отражает красоту законов разума.
Красота логических построений в самом чистом виде проявляется в математике. Так, математика изучает все возможные геометрии пространства с произвольным или даже бесконечным числом измерений. Математическая ценность и красота этих результатов не зависят от того, какая именно из геометрий осуществляется в нашем трехмерном мире.
Один из удивительных примеров математической красоты - это «алгебра высказываний», или «алгебра логики», позволившая анализировать законы и возможности логических заключений.
Еще у Аристотеля была идея составлять сложные рассуждения, последовательно применяя более простые элементы, независимые от природы объектов, о которых идет речь. Дальнейшее развитие эта идея получила у Лейбница - он пытался придать аристотелевой логике алгебраическую форму. Но только в середине прошлого века идея превратилась в законченную теорию (см.: Бурбаки Н. Очерки по истории математики. М., 1963).
