Поговорим об этом подробнее. Вот история о Рамануджане [29], величайшем восточном (индийском) математике моего времени, и об английском ученом Харди [30]. Оба были чистыми теоретиками. На одной из своих лекций Харди рассказывал о том, как нанял кэб и отправился навестить Рамануджана, когда тот гостил в Англии. Появившись, Харди сказал: «Я приехал на кэбе номер 1729 – очень скучное число». Его друг-индиец возразил: «Напротив, это очень интересное число. Это минимальное из всех чисел, которые можно двумя различными способами представить в виде суммы двух кубов». Попробуйте самостоятельно найти решения этой задачи [31].
Дело в том, что вольная душа не трудится, а играет. Действия такого человека представляют собой спонтанное проявление радости, но такой подход приводит к величайшим открытиям. Что касается расцвета формализма, который начался после развития неевклидовых геометрий, то этот подъем стал подлинной революцией в представлениях о природе математики. Была низвергнута сама идея аксиом, то есть убежденность в существовании неких несомненных истин, на основе которых выстраиваются логические рассуждения. Вместо аксиом у математиков осталось только то, что можно назвать «основополагающими исходными посылками». Впоследствии это привело к созданию самых разнообразных экзотических геометрий. В качестве примера используем такие основополагающие исходные посылки (те, кому известны аксиомы Евклида, могут их не узнать):
Аксиома 1. Если а и b – различные элементы множества S, то существует по меньшей мере один класс L, одновременно содержащий в себе и а и b.
Аксиома 2. Если a и b – различные элементы множества S, то существует не более одного класса L, одновременно содержащего в себе и а и b.
Аксиома 3. Любые два класса L имеют по меньшей мере один общий элемент из множества S.
Аксиома 4. В множестве S существует по меньшей мере один класс L.
Аксиома 5. Любой класс L содержит по меньшей мере три элемента множества S.
Аксиома 6. Все элементы множества S не могут одновременно принадлежать одному классу L.
Аксиома 7. Ни один класс L не содержит более трех элементов множества S.
Обратимся к практическим приложениям этой геометрии. Предположим, существует некая банковская фирма, у которой есть семь совладельцев. Чтобы обеспечить правильное обращение с информацией, относящейся к вопросам ценных бумаг, совладельцы решили образовать семь комиссий, каждая из которых будет связана с определенной областью. Кроме того, партнеры договорились, что каждый из них должен стать председателем какой-либо комиссии и членом трех – ровно трех – комитетов в целом. Запишем названия комиссий и списки их членов; председателем подразделения является тот совладелец, чье имя указано первым: