Когда ты была рыбкой, головастиком - я... (Гарднер) - страница 86
Завершим наш рассказ красивейшим симметричным покрытием стандартной шахматной доски (рис. 10).
А вот и ответ на задачу, которую я предложил вам на с. 197:
Глава12
Ay, мистер Херш, вы «здесь»?
Рубен Херш принадлежит к небольшой группе математиков, убежденных, что математика реальна лишь в контексте человеческой цивилизации. А я — бесстыжий платоник и предпочитаю иной язык мышления, предполагающий, что если из Вселенной исчезнут все разумные существа, то математические объекты и теоремы в каком-то смысле никуда не денутся — даже если не останется никого, кто смог бы писать или говорить о них. Гигантские простые числа продолжают быть простыми, хоть никто и не доказывал, что они являются таковыми. Как выразился однажды Бертран Рассел, даже в центре Солнца дважды два — четыре.
Более ранние мои замечания по этой теме см. под заголовком «В защиту платоновского реализма» — так называется глава у моей книги «Джинн из гиперпространства» (Амхерст, штат Нью-Йорк: «Prometheus Books», 2008).
Брайан Дэвис в своей статье «Дайте платонизму умереть» («IMS Newsletter» [79], июнь 2007) определяет математический платонизм как убежденность в том, что математические объекты существуют «в некоем математическом царстве, за пределами времени и пространства». Но у меня (как, полагаю, и у большинства математических платоников) — иные убеждения. Аристотель, математический реалист, с радостью ухватился за платоновские универсалии трансцендентального царства («оранжевость», «коровность», «двоечность» и т. п.), приспособив их к объектам, существующим во времени и пространстве. Так, геометрическая форма вазы находится «здесь», в данной вазе, эта форма не плавает где-то возле платоновской «пещеры».
В качестве примера можно рассмотреть камешки. Пусть каждый из них — модель числа 1. В таком случае очевидно, что все теоремы арифметики можно доказать, перекладывая камешки. В принципе таким путем можно даже доказать, что произвольно выбранное число (не важно, насколько большое) является простым или составным.
Рубен Херш, мой давний оппонент, в своей статье «О платонизме» пишет:
На мой взгляд, платонизм (имея в виду обычный, бытовой платонизм типичного практикующего математика) справедливо признаёт существование математических фактов и объектов, не управляемых волей или прихотью конкретного математика, но обрушиваемых на него как объективные факты и сущности, о которых он должен узнавать и чье независимое существование и чьи качества он стремится обнаруживать и исследовать.