Математика. Поиск истины. (Клайн) - страница 188

Различные рассуждения на тему о том, в какой степени математика отражает и представляет истину о реальном физическом мире, следует отличать от многочисленных утверждений об истинности самой математики и ее объективной реальности, но не обязательно касающихся отношения математики к реальному миру. Например, Платон в диалоге «Менон» утверждал, что математические конструкции не зависят от опыта и даже предшествуют ему. В существовании математики Платон видел в действительности доказательство существования бессмертной души, ибо, поскольку теоремы невозможно получить из опыта, они должны сопровождать душу при возвращении к истинному бытию. Формулировка новой теоремы по Платону — это акт воспроизведения того, что хранилось в памяти.

Примерно до начала XIX в. подобных взглядов придерживались практически все математики, а некоторые представители математической науки разделяли их и позднее. Уильям Р. Гамильтон (1805-1865) — хотя именно он изобрел тот самый объект (кватернионы), который поставил под сомнение истинность арифметики, — в своих взглядах во многом сходился с Декартом:

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

([13], с. 371.)

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

В то время как одни ученые, подобно Гамильтону и Кэли, считали математику неотъемлемой частью человеческого разума, другим она представлялась существующей в мире вне человека. До начала XX в. существование единственного объективного мира математических истин, не зависящих от человека, ни у кого не вызвало сомнений, и это вполне понятно. Даже Гаусс, первым оценивший значение неевклидовой геометрии, был убежден в истинности понятий числа и математического анализа. Один из выдающихся французских математиков XX в. Жак Адамар (1865-1963) в книге «Исследование психологии процесса изобретения в области математики» утверждал: «Хотя истина еще не известна нам, она предсуществует