Дэвид Дойч - Начало бесконечности

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

Всё вышеприведённое обсуждение предполагает универсальность разума . Сфера досягаемости науки имеет неотъемлемые ограничения; это относится и к математике, и к любому направлению философии. Но если вы считаете, что существуют границы той области, в которой разум есть должный судья идей, значит, вы верите в иррациональное или в сверхъестественное. Аналогично, если вы отрицаете бесконечное, то вы застряли в конечном, а конечно парохиально. Здесь нельзя остановиться посередине. Самое разумное объяснение чего бы то ни было в конечном счёте включает в себя универсальность, а значит, и бесконечность. Сферу объяснимого нельзя взять и ограничить в приказном порядке.

Одним из проявлений этого в математике стал принцип, впервые явно сформулированный в девятнадцатом веке математиком Георгом Кантором, согласно которому абстрактные сущности можно определить любым желаемым способом через другие сущности при условии, что определения однозначны и непротиворечивы. Кантор заложил основы современного математического исследования бесконечности. В двадцатом веке его принцип отстаивал и обобщал математик Джон Конуэй, который дал ему эксцентричное, но вполне подходящее название — движение за освобождение математиков . Согласно Конуэю, открытия Кантора встретили резкое неприятие со стороны современников, включая большинство математиков того времени и также многих учёных, философов — и богословов. Как это ни парадоксально, религиозные возражения по сути строились на принципе заурядности. Попытки понять бесконечность и работать с ней в них характеризовались как посягательство на прерогативу Бога. В середине двадцатого века, через много лет после того, как исследования в области бесконечности стали обычным для математики делом и нашли в ней бесчисленное множество приложений, философ Людвиг Витгенштейн всё ещё презрительно осуждал их за «бессмысленность». (Правда, в конечном итоге он предъявил это обвинение и философии в целом, включая свою собственную работу, см. главу 12.)

Я уже упоминал другие примеры принципиального неприятия бесконечности. Необъяснимую антипатию к универсальным системам записи чисел выражали Архимед, Аполлоний и другие. Существуют такие учения, как инструментализм и финитизм. Принцип заурядности начинает с того, чтобы уйти от ограниченности взглядов и добраться до бесконечности, но в итоге загоняет науку в бесконечно малый, непредставительный пузырь постижимости. Есть ещё пессимизм, который (как будет показано в следующей главе) стремится объяснить неудачи существованием конечной границы совершенствования. Один из примеров пессимизма — парадоксальная парохиальность сравнения Земли со звездолётом — транспортным средством, которое гораздо лучше подошло бы в качестве метафоры бесконечности.

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

В математике бесконечность изучается посредством бесконечных множеств (то есть множеств с бесконечным числом элементов). Определяющее свойство бесконечного множества заключается в том, что некоторая его часть содержит столько же элементов, сколько всё оно в целом. Возьмём, например, натуральные числа:

В верхней строке на рисунке каждое натуральное число встречается ровно один раз. В нижней строке содержится только часть этого множества: натуральные числа, начиная с 2. Чтобы показать, что в этих двух множествах одинаковое число элементов, на рисунке между ними установлено соответствие, которое математики называют «взаимно однозначным».

Чтобы проиллюстрировать некоторые интуитивные вещи, от которых приходится отказаться, рассуждая о бесконечности, математик Давид Гильберт придумал мысленный эксперимент. Он представил себе гостиницу с бесконечным числом номеров: отель «Бесконечность» . Номера пронумерованы с помощью натуральных чисел, начиная с 1 и заканчивая… Чем же?