Две сформулированные задачи тесно связаны между собой. По поводу второй замечу, что, в отличие от времён создания Ньютоном и Лейбницем дифференциального и интегрального исчисления, математики умеют сейчас без большого промедления подводить фундамент логически безукоризненных математических построений под любые методы расчёта, родившиеся из живой физической и технической интуиции и оправдывающие себя на практике. Но фундамент этот иногда оказывается столь хитро построенным, что молодые математики, гордые пониманием его устройства, принимают фундамент за всё здание. Физики же и инженеры, будучи не в силах в нём разобраться, изготовляют для себя вместо него временные шаткие подмостки[6].
Непрерывное повышение уровня математической строгости одновременно с попытками представить самые сложные построения так, чтобы они стали интуитивно понятными, возникновение одних понятий и уточнение других, переставших удовлетворять новым требованиям, расщепление казавшихся ещё недавно незыблемыми моделей и образование новых обобщающих моделей – весь этот исполненный большого внутреннего драматизма процесс характерен для математики не менее, чем доказательство теорем (без которого, впрочем, описанный процесс был бы совершенно бессодержателен, да и вообще не мог бы иметь места).
Математика подобна искусству – и не потому, что она представляет собой «искусство вычислять» или «искусство доказывать», а потому, что математика, как и искусство, – это особый способ познания. Имеет, быть может, смысл по аналогии с художественными образами говорить о математических образах как специфической для математики форме отражения действительности.
Математическое и гуманитарное: преодоление барьера
Поверх барьеров.
Уточняйте значения слов. Тогда человечество избавится от большей части своих заблуждений.
«Да, мой голубчик, – ухо вянет:
Такую, право, порешь чушь!»
И в глазках крошечных проглянет
Математическая сушь.
Чем дальше, тем Белому становилось яснее… что искусство и философия требуют примирения с точными знаниями – «иначе и жить нельзя». ‹…› Недаром прежде, чем поступить на филологический факультет, он окончил математический.
Никто не знает, сохранят ли грядущие века и тысячелетия сегодняшнее деление наук на естественные и гуманитарные. Но даже и сегодня безоговорочное отнесение математики к естественным наукам вызывает серьёзные возражения. Естественно-научная, прежде всего физическая, составляющая математики очевидна, и нередко приходится слышать, что математика – это часть физики, поскольку она, математика, описывает свойства внешнего, физического мира. Но с тем же успехом её можно считать частью психологии, поскольку изучаемые в ней абстракции суть явления нашего мышления, а значит, должны проходить по ведомству психологии. Не менее очевидна и логическая, приближающаяся к философской, составляющая математики. Скажем, знаменитую теорему Гёделя о неполноте, гласящую, что, какие способы доказывания ни установи, всегда найдётся истинное, но не доказуемое утверждение – причём даже среди утверждений о таких, казалось бы, простых объектах, как натуральные числа, – эту теорему с полным основанием можно считать теоремой теории познания.
В 1950-х гг. по возвращении с индийских научных конференций мои московские коллеги-математики с изумлением рассказывали, что в Индии математику – при стандартном разделении наук на естественные и гуманитарные – относят к наукам гуманитарным. И на этих конференциях им приходилось сидеть рядом не с физиками, как они привыкли, а с искусствоведами. К великому сожалению, у людей гуманитарно ориентированных математика нередко вызывает отторжение, а то и отвращение. Неуклюжее (и по содержанию, и по форме) преподавание математики в средней школе немало тому способствует.
Лет сорок назад было модно подчёркивать разницу между так называемыми физиками (к коим относили и математиков) и так называемыми лириками (к коим причисляли всех гуманитариев). Терминология эта вошла тогда в моду с лёгкой руки поэта Бориса Слуцкого, провозгласившего в 1959 г. в культовом стихотворении «Физики и лирики»:
Однако само противопоставление условных физиков условным лирикам вовсе не было вечным. По преданию, на воротах знаменитой Академии Платона была надпись: «Негеометр [нематематик. – В. У.] да не войдёт сюда!» С другой стороны, самоё математику можно называть младшей сестрой гуманитарной дисциплины юриспруденции: ведь именно в юридической практике Древней Греции, в дебатах на народных собраниях впервые возникло и далее шлифовалось понятие доказательства.