Начало бесконечности. Объяснения, которые меняют мир

Дойч Дэвид

Терминология

Квалиа – субъективные аспекты чувственного опыта.

Бихевиоризм – инструментализм применительно к психологии. Учение о том, что наука может (или должна) измерять и предсказывать лишь поведение людей в ответ на стимулы.

Краткое содержание

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

в том, что мы не понимаем природу универсальности системы репликации ДНК.

8. Окно в бесконечность

Много столетий назад математики поняли, что с бесконечностями можно уверенно работать и извлекать из этой абстракции пользу. Бесконечные множества, бесконечно большие величины, а также бесконечно малые – все имеет смысл. Многие их свойства трудны для понимания, появление теорий о бесконечных величинах всегда вызывало споры; но ведь и многие факты о конечных сущностях столь же контринтуитивны. То, что Докинз называет «аргументом, основанном на личном недоверии», – не аргумент: это все равно что предпочитать парохиальные заблуждения универсальным истинам.

С античных времен над бесконечностью размышляли и в физике. Евклидово пространство было бесконечным; так или иначе, пространство обычно рассматривалось как континуум: даже конечный отрезок состоял из бесконечного множества точек. Между двумя произвольными моментами времени также было бесконечно много моментов. Но до изобретения Ньютоном и Лейбницем дифференциального исчисления, метода анализа непрерывных изменений в терминах бесконечного числа бесконечно малых изменений, представление о непрерывных величинах было обрывочно и противоречиво.

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

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

44

В русском языке чаще говорят об актуальной бесконечности. – Прим. ред.

В философии математики существует направление, называемое финитизмом, в котором утверждается, что существуют только конечные абстрактные сущности. Так, например, натуральных чисел бесконечно много, но финитисты настаивают на том, что это просто фигура речи. По их словам, в действительности существует лишь конечное правило для образования каждого натурального числа (или, точнее говоря, его записи) из предыдущего, а ничего реально бесконечного тут нет. Но это учение сталкивается со следующей проблемой: есть ли в ряду натуральных чисел наибольшее? Если есть, то это противоречит существованию правила, позволяющего построить еще большее число. Если нет, то неверно, что количество натуральных чисел конечно. И здесь финитистам приходится отрицать логический принцип, называемый «законом исключенного третьего», который гласит, что для каждого содержательного утверждения верно либо оно, либо его отрицание. Согласно финитистам получается, что, хотя среди натуральных чисел нет

наибольшего, их все равно не бесконечно много.

Финитизм – это инструментализм применительно к математике: это принципиальное неприятие объяснения. Он пытается рассматривать математические сущности только как процедуры, которым следуют математики, правила для написания значков на бумаге и так далее – и иногда это полезно, но связи с реальностью в этом нет, разве что с конечными объектами из опыта, такими как два яблока или три апельсина. Поэтому финитизм по сути своей антропоцентричен, что неудивительно, так как согласно ему ограниченность есть достоинство теории, а не наоборот. У финитизма есть и еще один роковой недостаток, который привносят в науку инструментализм и эмпиризм: допущение, что у математиков есть своего рода привилегированный доступ к конечным сущностям, а к бесконечным – нет. Но это не так. Все наблюдения нагружены теорией. Любые абстрактные теоретические рассуждения – тоже. Добраться до абстрактных сущностей, конечных или бесконечных, как и до физических сущностей, можно только через теорию.

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

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

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

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