самоперестраиваются, ветвятся, производят случайный выбор. И если поначалу машины решали чисто вычислительные задачи, то теперь интенсивно исследуются принципы решения задач эвристики.[179]
Итак, сама идея выращивания информации вполне здравая. Ее реализация уже началась. Дойдет ли это выращивание до «молекулярного уровня»? По-видимому, дойдет. Примет ли оно формы «эволюции» молекул в чанах или в биосистемах или останется эволюцией программ, т.е. «состояний» машин – систем «типа мозга», покажет будущее.
Все это не вызывает сомнений. Сомненье вызывает взгляд Лема на природу математического «предсказания».
Автор настойчиво, вновь и вновь, обращается к образу оплодотворенного яйца, он пишет:
«Полагаю, что язык биохимии должен будет подвергнуться весьма радикальной перестройке. Возможно, появится некий физико-химико-математический формализм. Но это не наше дело. Ведь если кому-нибудь “понадобится” живой организм, то вся эта писанина будет вовсе не нужна. Достаточно взять сперматозоид и оплодотворить им яйцеклетку, которая через определенное время “сама” преобразуется в “искомое решение”» (гл. VII).
И дальше:
«...Производственный рецепт означает более высокий уровень овладения материальным явлением, чем научная теория; этим объясняется и некоторое (по крайней мере потенциальное) превосходство технологии, которая охотно освободилась бы от существующего главенства науки».
А теперь уж «яйцо» contra E=mc2:
«Попробуем теперь сопоставить формулу теоретической физики E=mc2с генотипом оплодотворенного куриного яйца. Чему соответствует в яйце данная формула, если и ее, и генотип рассматривать как алгоритмы» (гл. VII).
И еще раз «яйцо», чтоб окончательно сразить читателя:
«Так что этому самому куриному яйцу как информационной структуре, предсказывающей будущее состояние, эквивалентна “лишь вся физика с физиками”».
Мы занимаем в этом вопросе «твердую позицию ретроградов».
Нет! Теория была и будет объясняющей! Оплодотворенная яйцеклетка не есть теория! «Физика со всеми физиками» – сложнее «яйца»! Наука всегда дралась за объяснение! Вся армия ученых, движущаяся лавиной, дралась и дерется за объяснение!
Что же касается рецептов типа «развивающегося яйца», то они хорошо знакомы современной математике и физике.
Если постулат, третий постулат самого же Лема, о сохранении человеком разумности будет выполнен, то человек будет стремиться к объяснению, к
Такова наша позиция!
Аналогично двум «типам» теорий Лем вводит в рассмотрение два типа языков. Это –
Лем, разумеется, верен себе. Операционный язык – хорошо, мыслительный – плохо!
Мы не станем разбирать всю аргументацию автора в связи с языком; это было бы повторением. Мы разъясним лишь два понятия, к которым он прибегает, – понятие
Термин «субстанция» в истории философии обычно служил для обозначения неизменной первоосновы всего сущего, бытие которой постулировалось. Есть
Плюралистом и был как раз Лейбниц, он верил, что число субстанций бесконечно. А свои субстанции называл
Короче, это были эдакие «коконы души», «дифференциалы духа». Но даже и без окон каждая монада обладала способностью отражать всю Вселенную.
Этот образ и привлекает Ст. Лем, чтобы проиллюстрировать чисто мыслительный (скверный!) язык.
За цитатой читатель может обратиться к тексту автора.
Второе понятие, которое мы разъясним, это понятие синтетического априорного суждения по И. Канту (1724-1804). Мы процитируем с некоторыми сокращениями Б. Рассела [180]:
«Наиболее важной книгой Канта является “Критика чистого разума...” Цель этой работы состоит в том, чтобы доказать, что хотя никакое наше знание не может выйти за пределы опыта, тем не менее оно частично априорно и не выводится индуктивно из опыта. Априорная часть нашего знания охватывает, согласно Канту, не только логику, но многое такое, что не может быть включено в логику или выведено из нее. Он выделяет два различения, которые у Лейбница смешаны. С одной стороны, существует различие между “аналитическими” и “синтетическими” суждениями, с другой стороны – различие между “априорными” и “эмпирическими” суждениями...»
«Аналитическое» суждение – это такое суждение, в котором предикат является частью субъекта. Например, «высокий человек есть человек» или «равносторонний треугольник есть треугольник». Все такие суждения следуют из закона противоречия: утверждать, что высокий человек не есть человек, было бы внутренне противоречиво. «Синтетическое» суждение – это такое суждение, которое не является аналитическим. Все суждения, которые мы знаем только благодаря опыту, являются синтетическими. Мы не можем просто путем анализа понятий открыть такие истины, как «вторник был дождливый день» или «Наполеон был великим полководцем». Но Кант в отличие от Лейбница и всех других предшествовавших ему философов не допускает обратного, т.е. того, что все синтетические суждения известны только благодаря опыту. Это приводит нас ко второму из вышеуказанных различий.
«Эмпирическое» суждение – это суждение, которое мы не можем знать, кроме как с помощью чувственного восприятия, либо нашего собственного, либо чувственного восприятия тех, чье словесное свидетельство мы принимаем. Факты истории и географии относятся к этому типу; такими же являются законы науки – всякий раз наше знание их истины зависит от данных наблюдения. «Априорные» суждения, с другой стороны, являются такими, которые, хотя они и могут быть извлечены из опыта, когда они известны, имеют, по-видимому, другую основу, чем опыт.
Ребенку, изучающему арифметику, может помочь восприятие двух шариков и двух других шариков, и, наблюдая их вместе, он воспринимает четыре шарика. Но когда он усвоит общее суждение «2+2=4», ему не потребуется больше подтверждения примерами; суждение имеет достоверность, которую индукция никогда не может дать общему закону. Все суждения чистой математики являются в этом смысле «априорными».
Это деление Кант создал в рамках своей философии. Характеристику философии Канта – родоначальника немецкого классического идеализма читатель может найти в «Философских тетрадях»
