Что ж, профессор Херш, добро пожаловать в Платоновский клуб! Любой платоник всецело согласится с вашими словами. Но затем Херш делает невероятное заявление: «Ошибка платонизма — в неверной интерпретации этой объективной реальности, в выведении ее за рамки человеческой культуры и сознания».
Математические теоремы и объекты, продолжает Херш, подобно «многим другим реалиям культуры» являются «внешними и объективными
с точки зрения любой отдельной личности(курсив Херша), но при этом внутренними, историчными и социально обусловленными
с точки зрения данного социума или данной культуры в целом(по-прежнему курсив Херша)».
Получается, Херш все-таки не платоник! Неужели он вправду отрицает, что перекладывание камешков с целью доказать, скажем, что число 17 является простым, — это процесс, протекающий «здесь» независимо отданной культуры? Разумеется, манипулирование камешками является культурно обусловленным — в том тривиальном смысле, что вообще всякая человеческая деятельность так или иначе обусловлена культурой. Но не более того. Тот факт, что число 17 — простое, очевидным образом реализуется «здесь», в поведении камешков: по сути, аналогичным образом присутствует «здесь» эллиптическая орбита Марса или спиральная форма нашей галактики.
Херш буквально помешан на втискивании математики в социальность; в своей книге «Что же такое математика?» («Oxford University Press», 1997) пишет даже (крепитесь!), что 8+5 не обязательно равняется 13, ибо у отдельных небоскребов нет тринадцатого этажа. Стало быть, если вы доедете на лифте до восьмого этажа, а потом подниметесь еще на пять этажей, вы окажетесь на четырнадцатом этаже. Вероятно, Херш предполагает тем самым, что в субкультуре некоторых высотных зданий законы арифметики постоянно нарушаются?
Надо ли мне отмечать здесь, что с тех пор, как Декарт арифметизировал геометрию, ее модели тоже в принципе возможно строить с помощью камешков? И в самом деле, Вселенная заполнена моделями почти всех математических областей, объектов и теорий. Любой тополог сумеет доказать, построив грубую модель из конверта и затем разрезав ее пополам, что рассечение бутылки Клейна на две равные части даст две зеркальные ленты Мёбиуса
[80].
Для комплексных чисел и производных функций, возможно, не существует материальных моделей, однако и эти объекты вкраплениями испещряют Вселенную. Ньютон и Лейбниц, если выражаться обиходным языком, изобрели дифференциальное и интегральное исчисление, но в более глубинном смысле они