Сумма технологии 21 страница

М. Таубе, Вычислительные машины и здравый смысл. Миф о думающих машинах, изд-во "Прогресс", 1964, стр. 65-75. 2

Критическая оценка взглядов М.Таубе дана в предисловии А.И.Берга к русскому изданию книги Таубе. В приложении к работе Таубе помещены статьи А.Л.Сэмюэля, У. Росс Эшби и П.Армера, высказывающих взгляды, отличные от пессимистических оценок Таубе. - Прим. ред. 3

О. К. Тихомиров, Эвристика человека и машины, "Вопросы философии", 1966, No 4. 4

См, Ф. Розенблатт. Принципы нейродинамики, Перцептроны и теория механизмов мозга, изд-во "Мир", 1965. - Прим. ред. 5

См. сб. "Автоматы", ИЛ, 1956. - Прим. ред. 6

В оригинале - непередаваемый намек. Название "teoria ukladu spolecznego" - "теория общественной системы" намекает на название "teoria ukladu slonecznego"- "теория солнечной системы". Вторая часть фразы тем самым как бы говорит, что "теория общественной системы" должна содержать гораздо больше "параметров", чем ее астрономическая "тезка". - Прим. ред. 7

Уход в бесконечность (лат.). 8

На первый взгляд (лат.). 9

Попавший в пещеру Полифема Одиссей поднес циклопу чашу вина, а на вопрос о своем имени ответил, будто его зовут Никто. Благодарный Полифем пообещал съесть Одиссея последним. Ночью Одиссей и его уцелевшие спутники выжгли захмелевшему циклопу единственное око. На вопросы сбежавшихся на рев Полифема циклопов, пострадавший отвечал, что его губит Никто. Рассерженные циклопы посоветовали Полифему успокоиться, поскольку его никто не обидел. Одиссею удалось спастись. - Прим. ред. 10

Мы отсылаем читателя к двум книгам: С.К.Клини, Введение в метаматематику (ИЛ, 1957) и А.Френкель и И.Бар-Хиллел. Основания теории множеств (изд-во "Мир", 1966). В первой из них он найдет формулировку и доказательство теоремы Геделя, о которой идет речь, во второй сравнительно простое рассмотрение связанных с ней проблем.

Смысл теоремы Геделя состоит в том, что всякая достаточно "богатая" формальная логико-математическая система, непротиворечивая в некотором достаточно сильном смысле, обязательно содержит формулу, которую в данной системе нельзя ни доказать, ни опровергнуть, но которая - как это можно показать с помощью средств, выходящих за рамки системы, - все же истинна. Короче, не всякое "содержательно" истинное утверждение в данной системе "формально выводимо" в ней. С появлением теоремы Геделя изменился взгляд на сам аксиоматический подход к построению тех или иных теорий, господствовавший со времен Евклида. В этом - общенаучное значение теоремы Геделя. - Прим. ред. 11

О различии между упомянутыми здесь направлениями в "философии математики" - интуиционизмом, формализмом и конструктивизмом - достаточно полное представление дают упомянутая в предшествующем примечании книга А.Френкеля и И.Бар-Хиллела и монография А.Рейтинга "Интуиционизм" (изд-во Мир", 1965). - Прим. ред. 12

М. Таубе, Вычислительные машины и здравый смысл. Миф о думающих машинах, изд-во "Прогресс", 1964, стр. 111-112 13

Неизвестное (лат.). 14

G. Rуlе, The Concept of Mind, Barnes and Noble, New York, 1949. 15

Друг мне Платон, но истина друг мне больший (лат.). Слова, приписываемые Аристотелю. - Прим. ред. 16

Боюсь данайцев, даже приносящих дары (греч.). Стих из "Энеиды" Вергилия. - Прим. ред. 17

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

[ Титульный лист ] [ Содержание ] <= Глава четвертая (n) ] [ Глава пятая (a) =>

Станислав ЛЕМ СУММА ТЕХНОЛОГИИ

[ Титульный лист ] [ Содержание ] <= Глава четвертая (o) ] [ Глава пятая (b) =>

ГЛАВА ПЯТАЯ ПРОЛЕГОМЕНЫ К ВСЕМОГУЩЕСТВУ

(a) ДО ХАОСА

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

Я хотел бы оградить себя от упрека в такой "поверхностности". Ни от чего не отрекаясь, я лишь замечу, что и предыдущие рассуждения и последующие, еще более дерзкие, примитивны как в п_е_р_в_о_е п_р_и_б_л_и_ж_е_н_и_е.

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

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

Единственным средством воздействия на технологию - я говорил об этом раньше - является другая технология. Разовьем это утверждение. Природа неисчерпаема в своих возможностях, количество содержащейся в ней информации, как сказал бы кибернетик, равно бесконечности. Поэтому мы не можем "каталогизировать" всю природу: ведь даже как цивилизация мы ограничены во времени. Однако, будучи технологами, мы можем в некотором смысле обратить бесконечность Природы против нее самой, оперируя несчетными множествами, подобно тому как поступают математики в теории множеств. Мы можем стереть разницу между "искусственным" и "естественным", - это произойдет тогда, когда "искусственное" станет сначала неотличимым от естественного, а затем превзойдет его. Мы еще будем говорить, как это произойдет. А как понимать превосходство? Оно означает реализацию с помощью Природы того, что для Природы невозможно.

Ага, скажет кто-нибудь, так все эти фразы произносились лишь затем, чтобы дать высокие имена творениям рук человеческих - разным там машинам, которых Природа не создает.

Все зависит от того, что мы вкладываем в понятие "машина". Это понятие может, естественно, означать и лишь то, что мы до сих пор научились строить. Но если под "машиной" мы будем подразумевать все то, что проявляет р_е_г_у_л_я_р_н_о_с_т_ь своего поведения, положение изменится. При столь широком подходе уже безразлично, сделана ли "машина" из существующей материи - из тех ста элементов, которые уже открыты, - или же из пучков излучения или из гравитационных полей. Несущественно также, использует ли эта "машина" энергию или же "создает" ее. Конечно, в мире естественных явлений невозможно создать энергию из ничего. Можно было бы, однако, из разумных существ и окружающей их среды сконструировать систему, которая вела бы себя так, что в ней не действовали бы известные нам законы термодинамики. Кто-нибудь бросит реплику, что такая система "искусственна" и что каким-то хитрым способом и незаметно для живущих в ней существ мы должны сообщать ей энергию извне. Однако мы не знаем, нет ли у Метагалактики источников энергии, внешних по отношению к ней в том же смысле, в каком были бы внешними источники, "подключенные" к нашей системе. Возможно, Метагалактика ими обладает, а возможно, вечным притоком энергии она обязана бесконечности Вселенной. А если оно так и есть, разве означало бы это, что Метагалактика "искусственна"? Мы видим, что все зависит от масштабов рассматриваемых явлений. Следовательно, машина - это система, проявляющая какую-либо регулярность поведения, вероятностную или детерминистическую. При таком понимании машиной является атом, яблоня, звездная система или сверхъестественный мир, - все то, что мы сумеем построить и что будет вести себя следующим образом: будет обладать внутренними и определенными внешними состояниями, причем связи, наблюдаемые между множествами этих состояний, будут подчиняться некоторым закономерностям.

Вопрос о том, где сейчас находится сверхъестественный мир, равносилен вопросу, где находилась швейная машина до появления человека. Нигде - но ее можно было построить. Безусловно, швейную машину построить легче, чем этот мир. Однако мы постараемся доказать, что нет никаких запретов, которые бы делали невозможным даже создание "вневременности".

Добавим вслед за Эшби, что существует два рода машин. Простая машина - это система, которая ведет себя так, что ее внутреннее состояние, а также состояние внешней среды однозначно определяют последующее состояние. Если мы имеем дело с непрерывными величинами, то адекватное описание такой машины дает система обыкновенных дифференциальных уравнений с временем в качестве независимой переменной 1. Такие описания на символическом языке математики широко применяются в физике, и в частности в астрономии. Относительно таких систем ("машин"), как маятник, как тело, падающее в поле тяготения, или вращающаяся планета, система этих уравнений дает нам столь точное приближение к действительной траектории явления, что оно вполне нас удовлетворяет [VIII].

В отношении такой сложной машины, какой является живой организм, мозг или общество, такое представление ("символическое моделирование") применить практически невозможно. Очевидно, все зависит от того, как много мы хотим о системе знать. Потребность в знании определяется целью, к которой мы стремимся, а также привходящими обстоятельствами. Если такой системой является повешенный и мы хотим определить, то есть предугадать, его будущие состояния к_а_к м_а_я_т_н_и_к_а, то достаточно учесть две переменные (угловое отклонение и угловую скорость). Если же это живой человек и нам желательно предугадать его поведение, то количество существенных переменных, которые следует учитывать, становится огромным, хотя и в этом случае наше предсказание позволит определить будущее состояние с вероятностью тем большей, чем больше переменных мы примем во внимание; однако эта вероятность никогда не будет равна единице (практически она достигает этого предела; на практике, например, вероятность 0,9999999 вполне достаточна). Имеются математические способы приближенных решений для случая, когда количество существенных переменных делает бесполезным применение обычного аналитического метода. Примером может служить так называемый метод Монте-Карло. Однако не будем отвлекаться: нас занимает в данном случае не математика, да и применяемые ею орудия, как можно предполагать, в будущем уступят место иным.

Проблемы, которые возникают при столкновении со "сложными машинами", исследуются в настоящее время рядом новых дисциплин. Это - теория информации, исследование операций, теория планирования эксперимента, теория решений, теория игр, линейное программирование, теория управления, динамика групповых процессов. Нам кажется, что все эти теории (равно как и еще некоторые) войдут в общую теорию систем. Надо думать, что развитие этой общей теории пойдет в двух направлениях, так как, с одной стороны, с ее помощью можно осмыслить теорию физических систем - таких, какие дает нам Природа, а с другой - развить теорию математических систем; последняя не занимается реальным существованием исследуемых связей, заботясь лишь о том, чтобы такого рода системы были свободны от внутренних противоречий. Такое раздвоение пока еще отчетливо не наступило. Мы осмеливаемся, однако, предвидеть состояние, при котором эти две ветви как бы вновь объединятся; это будет означать возможность к_о_н_с_т_р_у_и_р_о_в_а_н_и_я систем с произвольными свойствами, встречающимися, а может быть и не встречающимися, в реальном мире. Здесь надлежит сделать одну оговорку. Природа при всей бесконечности своих связей ограничена существованием некоторых запретов (невозможно получить энергию "из ничего"; невозможно превысить скорость света; невозможно измерить одновременно положение и импульс электрона и т.д.). До тех пор пока мир наш в значительной степени тождествен миру Природы с некоторыми нашими "переделками" (благодаря технологической деятельности), до тех пор пока мы сами являемся исключительным (или почти исключительным) следствием естественных процессов (биоэволюции) - до тех пор ограничения Природы будут и нашими ограничениями. В этом смысле можно было бы воспроизвести когда-нибудь Наполеона, однако не так, чтобы, будучи точной копией оригинала, он мог бы еще, сверх того, летать при помощи простых взмахов рук. В нашем обыкновенном мире это невозможно. Чтобы такой Наполеон мог летать, необходимо, кроме того, создать для него такую среду, в которой полеты "по моему хотению" были бы возможными. Иначе говоря, для этой цели нужно создать искусственный мир, изолированный от естественного. Чем выше при этом будет степень изоляции созданного нами мира от естественного, тем заметнее может быть и отличие действующих в этом мире законов. Оппонент, с которым мы уже столкнулись выше, скажет, что это мошенничество, потому что исполнение таких желаний, как полет при взмахе рук, мы должны были бы умело "встроить" в этот наш синтетический изолированный от Природы мир. Правильно. Однако, поскольку мы считаем Природу конструктором и ничем сверх того, она, по нашему мнению, "вмонтировала" оппоненту позвоночник, мышцы, почки, сердце, мозг и ряд других, органов; отсюда следует, что он, будучи вполне нормальным человеком, а может быть именно поэтому, тоже являет собой "мошенничество". Привычку оценивать творения рук человеческих как более жалкие, чем естественные, эту привычку, понятную на нынешнем этапе развития, мы должны отбросить, если собираемся говорить о весьма отдаленном будущем. Мы будем соперничать с Природой в любом отношении: в надежности и прочности всех наших творений, в универсальности их действия, в отношении их регулирующего потенциала, диапазонов гомеостаза и многих других. Однако этот вопрос мы рассмотрим отдельно.

А теперь займемся следующей частью нашего введения в "пантокреатику", то есть в названное так условно, для удобства и опирающееся на общую теорию физических и математических систем умение достигать всякие, в том числе и не реализованные Природой, цели.

С этим утверждением автора трудно согласиться. Безусловно, системы обыкновенных дифференциальных уравнений пригодны для описания н_е_к_о_т_о_р_ы_х простых (в смысле У.Р.Эшби) машин. Но вряд ли этот математический аппарат описывает все такие машины. - Прим. ред.

[ Титульный лист ] [ Содержание ] <= Глава четвертая (o) ] [ Глава пятая (b) =>

Станислав ЛЕМ СУММА ТЕХНОЛОГИИ

[ Титульный лист ] [ Содержание ] <= Глава пятая (a) ] [ Глава пятая (c) =>

ГЛАВА ПЯТАЯ ПРОЛЕГОМЕНЫ К ВСЕМОГУЩЕСТВУ

(b) ХАОС И ПОРЯДОК

Как кандидаты в творцы, мы должны сначала заняться хаосом. Что есть хаос? Если при данном событии Х в А могут произойти всевозможные события в В и если такая независимость наблюдается повсеместно, то перед нами хаос. Если же событие Х в А ограничивает определенным образом то, что может произойти в В, то между А и В возникает связь. Если событие Х в А ограничивает события в В однозначно (поворачиваем выключатель - зажигается лампа) связь А и В будет детерминированной. Если событие Х в А ограничивает события в В так, что после события Х в А могут произойти в В события Y или Z, причем У после Х в Л происходит в 40 случаях из 100, a Z - в 60 случаях, то связь А и В является вероятностной.

Давайте теперь рассмотрим, возможен ли другой "тип" хаоса, а именно такой, чтобы господствующие в нем связи были полностью неопределенными (то есть не детерминированными и не вероятностными), ибо нам известно, что и при том и при другом варианте имеется некий порядок. Допустим, что после события Х в А один раз происходит событие Y в В, другой раз - событие U в В, третий раз - событие J в V и т.д. При таких обстоятельствах отсутствие какой-либо регулярности не позволяет обнаружить существования связей вообще, а следовательно, неопределенные связи - это то же самое, что и отсутствие связей вообще, то есть при них возможен лишь хаос. Рассмотрим далее, каким образом можно имитировать хаос. Если у нас есть машина с очень большим количеством клавишей и лампочек, причем после нажатия клавиши загорается какая-нибудь лампочка, то даже если система строго детерминистична, наблюдатель, следящий за ее поведением, может прийти к выводу, что перед ним хаос. Ведь если нажатие первой клавиши вызывает загорание лампочки Т, второе нажатие этой же клавиши зажигает лампочку W, третье - лампочку D, четвертое - лампочку 0, и если эта последовательность очень длинна, так что лишь миллионное нажатие клавиши No1 зажигает снова лампочку Т, после чего вся серия точно повторяется, то наблюдатель, который не дождался конца одной серии, придет к выводу, что поведение машины хаотично. Следовательно, хаосу можно подражать с помощью детерминированной системы, если продолжительность серии, в которой одна и та же причина вызывает следствие, кажущееся случайным, больше времени наблюдения. Какое счастье, что Природа не устроена таким образом!

Все это говорится не из желания имитировать хаос, а с целью показать, что экспериментатор, а значит, и наука способны обнаружить н_е в_с_я_к_и_й вид порядка, то есть присутствия связей. Если событие Х в А ограничивает возможные события в В, то мы говорим, что между А и В существует связь. Поскольку событие Х в А в известной мере определяет то, что произойдет в В, эту связь можно использовать для передачи информации. Это заодно означает существование о_р_г_а_н_и_з_а_ц_и_и: А и В составляют некоторую "систему".

В Природе существует бесконечное количество связей. Однако не все они в одинаковой степени определяют поведение системы или ее частей. В противном случае нам пришлось бы иметь дело с таким количеством существенных переменных, что наука была бы невозможной. Неодинаковый характер связей означает наличие меньшей или большей изоляции системы от остальной части Космоса. На практике мы опускаем как можно больше связей, то есть несущественных переменных.

Связь А и В, которая суживает возможные состояния В, наблюдаема как некоторое ограничение. Ограничение чего? "Неограниченных возможностей"? Нет, количество их не бесконечно. Это - ограничение в рамках множества возможных состояний для В. Но откуда мы знаем, какие состояния возможны? Основываясь на нашем прежнем знании? Но что есть знание? Знание - это ожидание определенного события после того, как произошли некоторые другие события. Кто не знает ничего, может ожидать всего. Кто знает что-то, тот считает, что может произойти не все, а лишь некоторые явления, иные же не произойдут. Следовательно, знание - это ограничение разнообразия и оно тем больше, чем меньше неуверенность ожидающего.

Представим себе, что мистер Смит, банковский служащий, живет у своей тетки-дамы очень строгих правил, сдающей комнату барышне. Передняя стена их двухэтажного домика сделана из стекла, благодаря чему ученый наблюдатель может с другой стороны улицы видеть все, что делается внутри. Пусть то, что находится внутри домика, будет "космосом"; мы должны его исследовать. Количество "систем", которые можно выделить из этого "космоса", практически бесконечно. Можно рассматривать его, например, "поатомно". В таком случае мы имеем множества молекул, из которых сделаны стулья, столы и тела троих человек. Люди передвигаются, и мы хотим предсказывать их будущие состояния. Поскольку каждое тело состоит из 1025 молекул, следовало бы начертить три раза по 1025 траекторий этих молекул, то есть их пространственно-временных линий. Это не самый удачный подход, так как, пока мы установим одни лишь начальные молекулярные состояния Смита, девушки и тетки, пройдет 15 миллиардов лет; эти люди будут в могиле, а мы не успеем описать аналитически даже их первый завтрак. Количество рассматриваемых переменных зависит от того, что, собственно говоря, мы хотим исследовать. Когда тетка спускается в погреб за овощами, мистер Смит целует квартирантку. Теоретически, на основе анализа поведения молекул удалось бы даже установить, кто кого поцеловал, но практически мы уже об этом говорили - наше Солнце успеет раньше погаснуть. Мы были излишне усердны; вполне достаточно рассматривать наш "космос" как систему, состоящую из трех тел. В нем периодически наблюдаются сближения двух тел, когда третье спускается в погреб. Вначале появляется Птолемей нашего "космоса". Он видит, что два тела сближаются, когда третье удаляется. Поэтому он создает чисто описательную теорию: рисует необходимые окружности и эпициклы, благодаря чему заранее становится известно, какие положения примут два верхних тела, когда третье окажется в самом нижнем положении. При этом так уж получилось, что в самом центре окружностей, которые нарисовал Птолемей, находится мойка, и он приписывает ей свойства очень важного центра этого "космоса". Все вращается вокруг мойки.

Астрономия потихоньку развивается. Приходит Коперник, ниспровергает "мойко-центрическую" теорию, а после него Кеплер чертит гораздо более простые по сравнению с птолемеевыми траектории трех тел. Затем появляется Ньютон. Он заявляет, что поведение тел зависит от их взаимной привлекательности, то есть силы притяжения. Мистер Смит притягивает квартирантку, а она его. Когда тетка близко, оба вращаются вокруг нее, потому что сила притяжения тетки соответственно больше. Теперь мы уже умеем все прекрасно предвидеть. И вдруг появляется Эйнштейн нашего "космоса", который подвергает критике теорию Ньютона. Он считает, что постулат действия каких-то сил совершенно излишен. Он создает теорию относительности, в которой поведение системы определяется геометрией четырехмерного пространства. "Эротическое притяжение" исчезает, точно так же как исчезает притяжение в настоящей теории относительности. Оно заменяется искривлением пространства вокруг тяготеющих масс (в нашем случае - эротических масс). И тогда сближение траекторий мистера Смита и квартирантки определятся некоторыми кривыми - назовем их эротодезическими. Присутствие тетки вызывает такую деформацию эротодезических кривых, что соединение квартирантки со Смитом исключается. Новая теория более проста, так как не утверждает наличия каких-то "сил" и все сводит к геометрии пространства. И уж особенно хороша ее основная формула (энергия поцелуев равна произведению эротических масс на квадрат скорости звука, ибо как только за теткой захлопываются двери и этот звук доходит до Смита и квартирантки, они тотчас же бросаются друг другу в объятия).

Потом, однако, приходят новые физики и среди них Гейзенберг. Они убеждаются в том, что Эйнштейн действительно хорошо предсказывал динамические состояния системы (состояние целования, нецелования и т.д.), но более точные наблюдения при помощи огромных оптических приборов, позволяющих следить за отдельными тенями рук, ног и голов, показывают, что можно различать там такие переменные, которые не были учтены теорией эротической относительности. Эти физики не оспаривают существования эротической гравитации, однако, наблюдая мелкие элементы, из которых состоят космические тела (то есть руки, ноги, головы), они замечают индетерминизм их поведения. Например, руки мистера Смита при целовании не всегда принимают одно и то же положение. Так-то и начинается создание новой области науки, называемой микромеханикой мистера Смита, тетки и квартирантки. Это статистическая, вероятностная теория. Детерминировано ведут себя большие части системы (едва лишь двери закроются за теткой, мистер Смит и квартирантка тотчас же и т.д.), однако это является результатом суммарного действия индетерминистических закономерностей. Но тут-то и начинаются подлинные трудности, так как нельзя перейти от микромеханики Гейзенберга к макромеханике Эйнштейна. Тела как единое целое ведут себя детерминированно, но ухаживания происходят по-разному. Эротической гравитацией можно объяснить не все. Почему иногда Смит берет квартирантку за подбородок, а иногда нет? Статистики множатся. И вдруг бобма: руки и ноги не являются неделимыми элементами, они делятся на плечи, предплечья, бедра, икры, пальцы, ладони и т.д. Количество "элементарных частиц" устрашающе растет. Уже нет никакой единой теории их поведения, и между общей теорией эротической относительности и квантовой микромеханикой (был открыт квант ласкания) зияет непреодолимая пропасть.

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

Наука существует благодаря тому, что она создает упрощенные модели явлений, опускает менее существенные переменные (например, принимает, что массы сравнительно малых тел системы равны нулю) и ищет и_н_в_а_р_и_а_н_т_ы. Таким инвариантом является, например, скорость света. В настоящем Космосе инварианты получить легче, чем в квартире тетки. Если (причем вполне обоснованно) поцелуй мы не склонны считать явлением столь же универсальным, как и гравитация, но хотим узнать, почему Смит целует квартирантку, то мы попали впросак. При всех своих ограничениях математическая механика настолько универсальна, что позволяет рассчитывать на тысячи и миллионы лет вперед положения космических тел. Однако как рассчитать пути импульсов мозга мистера Смита, чтобы предвидеть "оральные коинциденции" с девушкой или, выражаясь не столь научно, просто поцелуи? Если бы даже это и было возможным, символическое описание последовательных состояний мозга оказывается более сложным, чем само явление (то есть прохождение импульсов в нейронной сети). При таком положении вещей нейронный эквивалент акта чихания - это том, переплет коего нужно раскрывать подъемным краном. На практике математический аппарат увязнет в создавшихся сложностях намного раньше, чем заполнится такой том. Что же остается? Признать с_а_м_о я_в_л_е_н_и_е наиболее совершенным своим описанием, заменить аналитическую деятельность - деятельностью созидательной. Одним словом, остается и_м_и_т_а_ц_и_о_н_н_а_я, п_о_д_р_а_ж_а_т_е_л_ь_н_а_я практика.

[ Титульный лист ] [ Содержание ] <= Глава пятая (a) ] [ Глава пятая (c) =>

Станислав ЛЕМ СУММА ТЕХНОЛОГИИ

[ Титульный лист ] [ Содержание ] <= Глава пятая (b) ] [ Глава пятая (d) =>

ГЛАВА ПЯТАЯ ПРОЛЕГОМЕНЫ К ВСЕМОГУЩЕСТВУ

(c) СЦИЛЛА И ХАРИБДА, ИЛИ ОБ УМЕРЕННОСТИ

Мы находимся в самом опасном месте наших рассуждений. Мы поставили много вопросов, но все время оттягивали ответы на них; мы дали много обещаний, снабженных столь выспренными названиями, как "пантокреатика"; мы сказали кое-что о хаосе, дошли до праначал "имитологии", и все это неуклонно толкало нас к новым проблемам. Это вопрос о математике и ее отношении к реальному миру, на этот раз к здешнему миру, проблема языка и семантики, разные виды "бытия"; одним словом, мы приближаемся к области бездонных философских вопросов, в которых может бесследно потонуть весь наш конструкторский оптимизм. И дело не в том, что все эти проблемы чрезмерно сложны, что любая из них заняла бы по крайней мере целый том, если не целую библиотеку, и даже не в том, что нам не хватает всесторонней компетенции. Суть дела в том, что компетенция наша нам не пригодится, так как все это спорные проблемы.

Дата добавления: 2015-10-28