Математика. Утрата определенности.

Если когда-нибудь будет доказано, что математика противоречива, то скорее всего станет известно, какому правилу следует приписать полученный результат. Отбросив это правило или надлежащим образом видоизменив его, мы избавимся от противоречия. Иначе говоря, математика изменит направление своего развития, но не перестанет быть наукой. Сказанное не просто умозаключение: нечто подобное произошло после открытия иррациональных чисел. Мы далеки от мысли оплакивать это открытие, потому что оно вскрыло противоречие в пифагорейской математике, а, напротив, сегодня мы считаем его одной из великих побед человеческого духа.

Дьедонне мог бы привести еще один пример: лейбницевский подход к дифференциальному и интегральному исчислению (гл. VII). После всех критических замечаний, выпавших на долю понятия бесконечно малой величины в XVIII в., новая формулировка (нестандартный анализ, гл. XII) придала ему строгий смысл, согласующийся с логистическим, формалистским и теоретико-множественным вариантами оснований математики.

Помимо тех, кто, подробно бурбакистам, преисполнен оптимизма и считает устранимым любое противоречие, могущее возникнуть в основаниях математики, среди математиков есть и такие, кто верит в существование единого непротиворечивого, вечного ядра математики, которое может быть применимым или неприменимым к физическому миру. По мнению этих математиков, не все идеи, образующие вечное ядро математики, могут быть известны человеку, тем не менее эти идеи существуют, — так и несогласованность и неопределенность доказательства обусловлены только ограниченностью человеческого разума. Имеющиеся ныне разногласия между математиками не более чем временное препятствие, которое постепенно будет преодолено.

Некоторые из мыслителей считают, что математика настолько глубоко внедрилась в человеческий разум (в этом отношении их можно считать кантианцами), что вопрос о ее непротиворечивости отпадает сам собой. Так, Уильям Роуан Гамильтон, хотя он и ввел объекты (кватернионы), которые породили сомнение в соответствии арифметики физическому миру, в 1836 г. высказался вполне в духе Декарта:

Такие чисто математические науки, как алгебра и геометрия, являются науками чистого разума, не подкрепляемыми опытом и не получающими от него помощи, изолированными или могущими быть изолированными от всех внешних и случайных явлений… Вместе с тем это идеи, рожденные внутри нас, обладание которыми в сколько-нибудь ощутимой степени есть следствие нашей врожденной способности, проявление человеческого начала.

В докладе, прочитанном в 1883 г. на заседании Британской ассоциации поощрения науки, один из крупнейших алгебраистов XIX в. Артур Кэли заявил: «Мы обладаем априорными знаниями, не зависящими не только от того или иного опыта, но и от всякого опыта вообще… Эти знания составляют вклад нашего разума в интерпретацию опыта».

В то время как одни (например, Гамильтон и Кэли) представляли математику как «внедрившуюся» в человеческий разум, другие считали, что она существует в мире, лежащем вне человека. Трудно понять, как могли просуществовать до начала XX в. представления о математике как о едином реальном мире математических идей. Корни таких представлений восходят к Платону (гл. I). Эти представления неоднократно возрождали, в особенности Лейбниц, проводивший различия между истинами разума и истинами факта (последние остаются истинными во всех возможных мирах). Даже Гаусс, первым по достоинству оценивший неевклидову геометрию, был убежден в абсолютной истинности арифметики (числа) и анализа (гл. IV).

Веру в существование объективного реального мира математики разделял один из искуснейших аналитиков XIX в. Шарль Эрмит (1822-1901). В письме математику Томасу Яну Стильтьесу Эрмит утверждал: