Чтобы не возникло мысли, будто миссис Соммервилль, придерживаясь подобного взгляда, мыслила скорее теологически, чем научно, стоит заметить, что за свою поддержку науки она была персонально и публично отлучена от кафедры деканом Йоркского собора Кокберном2
. В Америке Эдвард Эверетт (1794–1865), видный ученый (первый американец, получивший докторскую степень в Геттингене) отразил просвещенные взгляды своего времени, заявив: «В чистой математике мы созерцаем абсолютные истины, существовавшие в божественном уме прежде, чем воссияли утренние звезды, и которые будут продолжать существовать и тогда, когда последняя из их сияющего сонма падет с небес»3.В наши дни выдающийся британский математик Дж. Х. Харди выразил в «Математической апологии» тот же взгляд, облеченный, однако, в выражения скорее технические, чем риторические: «Я полагаю, что математическая реальность находится вне нас, и что наша функция – открывать или наблюдать ее, и что теоремы, которые мы доказываем и которые высокопарно описываем как наши "творения" – лишь наши заметки о наших наблюдениях»4
.Противоположную точку зрения отстаивает видный физик П.У. Бриджмен, который утверждает, что «простым трюизмом, непосредственно очевидным для непредвзятого наблюдения, является то, что математика есть человеческое изобретение»5
.Эдвард Казнер и Джеймс Ньюмен утверждают, что «мы преодолели представление, будто математические истины имеют существование, независимое и отдельное от нашего собственного сознания. Нам даже кажется странным, что подобное представление когда-либо могло существовать»6
.С психологической и антропологической точки зрения эта последняя концепция – единственная, которая научно верна и обоснованна. Оснований полагать, что математические реальности обладают существованием, независимым от человеческого сознания, не больше, чем полагать, что мифологические реальности могут иметь бытие отдельно от человека. Квадратный корень из отрицательного числа реален. Таковы же были Вотан и Озирис. Таковы же боги и духи, в которых верят сегодня первобытные люди. Однако нас здесь интересует не вопрос «Реальны ли эти вещи?», а вопрос «Где место их реальности?» Ошибочно отождествлять реальность только с внешним миром. Нет ничего более реального, чем галлюцинация. Наша задача, однако, не сводится к тому, чтобы установить один взгляд на математическую реальность как верный, а другой – как иллюзорный. Мы предлагаем сделать иначе – представить феномен математического поведения таким образом, чтобы, с одной стороны, прояснить, почему вера в независимое существование математических истин на протяжении столь многих веков казалась такой правдоподобной и убедительной, а с другой, – показать, что все, из чего состоит математика, – не что иное, как особый род поведения приматов. Многие без колебаний подписались бы под предложением, гласящим, что «математическая реальность должна лежать либо внутри нас, либо вне нас». Разве не существуют только эти две возможности? Как однажды заметил Декарт, обсуждая существование Бога, «невозможно, чтобы мы могли иметь идею или представление чего бы то ни было, если бы где-то,