Поначалу это было очень едкая статья. Написанная под настроение от…: alex

alex_semenov

(no subject)

Apr 09, 2009 19:13

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

"Тезис Зайцева" и "Парадокс SETI"
ETI - Extra Terrestrial Intelligence - внеземной разум
SETI - Search for ETI - поиски внеземного разума
METI - Messaging to ETI - послания внеземному разуму

Мой интерес к исследованию "тезиса Зайцева" вызвала реплика, что я обнаружил на "Астрофоруме". В ней Александр Леонидович Зайцев (ALZ) заявил:

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

Пространство и время

Контраргумент заявлению Зайцева до идиотизма прост.
Пускай имеется (смотрите рисунок) две точки в пространстве A и В разделены некоторым расстоянием S =c*t, где с - скорость света, t- время полета любого сигнала, допустим 1000 лет. Предположим, мы находимся в точке А, а братья по разуму в точке В. Допустим, братья, там и сейчас , решают посылать нам сигнал или нет? Для ясности предположим, что, замучавшись от терзаний, они решили делегировать ответственность оракулу и для этого создали некую машину, "Оракул", которая собирает информацию из внешнего мира и на ее основании принимает решение слать 1 или не слать 0.

Без особых умственных усилий ясно, что, так как никакие взаимодействия (носители информации) во Вселенной не могут распространяться быстрее света, то на решение Оракула никакие наши действия здесь и сейчас не могут повлиять раньше чем через t= 1000 лет. Поэтому от того шлем ли мы сейчас сигналы или нет, их действия там и сейчас никак зависеть не могут.
И даже если они сейчас пошлют нам сигнал, ему нужно время, для того чтобы сюда долететь. Те же 1000 лет. А значит, любые сигналы, которые мы можем принять здесь и сейчас должны быть уже отправлен кем-то в путешествие еще 1000 лет назад. Поэтому гипотетический Оракул уже принял решение 1000 лет назад. И только от этого прошлого решения зависит, получат наши специалисты SETI сигнал или нет. И чтобы мы ни делали здесь и сейчас в области METI, изменить это прошлое никак уже нельзя.

Опираясь на эту простую логику легко понять, что удивление Зайцева более чем удивительно само по себе. Оно нелогично. Какая разница сколько часов здесь и сейчас мы посылали им сигналы, то есть занимались METI? Да хоть ни единого поползновения! Это никак не может влиять здесь и сейчас на результаты нашего SETI, то есть на то, найдем мы в ближайшее время радио-послания инопланетян или нет, слушая небо.
Конечно же, наивно думать, что Александр Леонидович сам не понимает этих простых аргументов. Напротив, космический альтруизм (противоположность эгоизму, не "такие же ЭГОИСТЫ") и подразумевает, что шлющий делает это, не рассчитывая на какую-либо отдачу. Для себя лично, во всяком случае.
С этим вроде все ясно.
Пространственно-временные ограничения очевидны.
Но по большому счету Зайцев вроде все же прав? Давайте не будем привязываться к короткому времени нашей личной жизни и к нашему желанию лично получить сигналы именно сейчас. Допустим, мы их хотим получить вообще когда-нибудь в будущем. Или, для простоты, давайте на секунду представим, что мы живем вечно. Тогда временной задержкой и расстояниями мы можем в рассуждениях пренебречь.
В этом случае, по большому счету, Зайцев прав?
И вот это самое интересное.
Даже в этом случае посылка (METI) и получение (SETI) сигналов логически не хотят вязаться так просто, как Зайцеву хотелось бы!

"Тезис Зайцева", "Парадокс SETI" и логика

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

Отсюда, Парадокс SETI, который формулируется в следующем виде:

(1)"SETI имеет смысл лишь в такой Вселенной, где есть осознание необходимости и наличие потребности в передаче межзвёздных посланий предполагаемым братьям по разуму".

Следствием Парадокса SETI является тезис:

(2)"Голос Вселенной услышит лишь тот, кто преодолевает её молчание".

Утверждение (1) мы так и будем именовать "Парадокс SETI". А утверждение (2) мы будем называть "Тезис Зайцева" или просто "Тезис". Здесь он очень цветасто сформулирован. Поэтому чтобы не возникло сомнений в том, что же утверждается в Тезисе, вот еще одна цитата из презентации Александр Леонидовича:

Парадокс SETI
"Либо SETI и METI, либо ничего…"
Иными словами: "SETI имеет смысл лишь в такой Вселенной, где есть осознание необходимости и наличие потребности в передаче межзвёздных посланий предполагаемым братьям по разуму"

Здесь вообще не делается различий. "Иными словами". То есть равносильно. Что первая фраза, что вторая, по мнению автора, выражают одно и то же. Первое предложение, как можно понять, это еще одна формулировка Тезиса, а второе то, что Зайцев выше назвал "Парадокс SETI" (слово в слово).
Исходя из этого, возьмем за основу все же первую цитату и упростим фразу (2).
Заменим:
"голос вселенной услышит тот" <=> "тот сможем получать послания"
"кто преодолевает ее молчание" <=>"кто сам посылает послания"
Тогда (2) будет звучать:

(2') Лишь том сможет получать послания, кто сам посылает послания

Это же передает и фраза: "Либо SETI и METI, либо ничего…"
Верно?
Так вот. Мало того что (2') и (1) не есть одно и то же "иными словами". Фраза (2') совсем не ОБЯЗАНА логически следовать из фразы (1).
Возможно, Тезис Зайцева в каком-то смысле и верен. Но никакой очевидной связки между (1) и (2') нет! Истинность (2') нельзя обосновывать истинностью (1)! Не думаю, что Александр Леонидович сознательно занимается демагогией. Но логическая "очевидность" переход здесь ошибочна, хотя и напрашивается вроде как.
Давайте, для очистки совести, формализуем обе фразы. Для этого введем такие обозначения:

х - переменная для обозначения произвольной цивилизация в нашей Вселенной
Ax:, Ex: - квантор всеобщности (для всякого x) и квантор существования (существует такой x)
M(x) - предикат (логическая функция) истинный когда цивилизация x посылает сигналы (METI) и ложной если цивилизация молчит. Например, если x1 молчит то M(x1) = False, а если x2 посылает, то M(x2) = True.
S(x) - предикат, истинный когда цивилизация x может принимать сигналы (SETI) и ложный, когда ей такая возможность недоступна.
Конечно же, нам понадобятся и другие символы исчисления предикатов:
~ - "не верно, что"; -> "если... то";
Кроме того, мы будем использовать скобки (что не всегда обязательно).
Тогда утверждение (1), можно записать так:

(f1) [~Ex:M(x)] ->[Ax:~S(x)]

Если не верно, что существует такой x, для которого M(x) истина, то для всякого x неверно, что S(x) истина.

А утверждение (2') следует записать так:

(f2) Ax:[M(x)->S(x)]

Для всякого x если истинно M(x), то истинно и S(x)

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

1 "Тезис Зайцева" не есть "Парадокс SETI" иными словами. Это очевидно из формальной записи.

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

В этом случае с Тезисом Зайцева можно будет серьезно спорить (искать точки расхождений), скажем, усомниться в некоторых посылках, на которых строится теория. А "Парадокс SETI" можно оставить в стороне. В нем никто не сомневается! Но он и не доказывает истинность Тезиса.
Он необходим, но не достаточен.

"Тезис Зайцева" и теория игр

С самого начала, очевидно, что Тезис опирается на некую более глубокую идею, чем простой физический факт, что для получения сигнала на приемнике должен где-то работать передатчик.
Да, иметь приемник и передатчик мало. Нужно еще желание одних передавать и желание других принимать. То есть, нужна коалиция.
Можно ли это как-то, пускай не столь формально как говорилось выше, но охватить некой теорией? Можно ли каким-то образом попытаться включить моральную составляющую Тезиса в ту или иную более строгую, математическую форму?
Лучшее что мне пришло в голову - прибегнуть к теории игр.
И вот здесь нас ждет замечательная находка.
Ситуация возникающая в связи с "Парадоксом SETI" очень сильно напоминает "дилемму заключенного":

Двое преступников, А и Б, попались примерно в одно и тоже время на сходных преступлениях. Есть основания полагать, что они действовали по сговору, и полиция, изолировав их друг от друга, предлагает им одну и ту же сделку: если один свидетельствует против другого, а тот хранит молчание, то первый освобождается за помощь следствию, а второй получает максимальный срок (10 лет). Если оба молчат, дело проходит по другой статье, и они приговариваются к 6 месяцам. Если оба свидетельствуют против друг друга, они получают минимальный срок (по 2 года). Каждый заключённый выбирает, молчать или свидетельствовать против другого. Однако ни один из них не знает точно, что сделает другой. Что произойдёт?

Дилемму лучше всего записать как игру в нормальной форме, то есть в виде платежной матрицы:

Дилемма заключенного Заключённый Б хранит
молчание Заключённый Б даёт
показания Заключённый А хранит
молчание Оба получают полгода. А получает 10 лет,
Б освобождается Заключённый А даёт
показания А освобождается,
Б получает 10 лет Оба получают 2 года
тюрьмы
Строки матрицы - набор стратегий заключенного А. Их две. Молчать или давать показания. Столбцы- набор стратегий заключенного Б. Выбор ходов тот же. Молчать или давать показания. В ячейках на их пересечении пара платежей (выигрышей или расплат) для каждого игрока, если оба выберут соответствующий ход.
Идея платежной матрицы понятна?
В чем суть дилеммы?
Допустим, вы преступник А. Если ваш подельник молчит (первый столбец), то вам лучше его "сдать", то есть свидетельствовать, и выйти на свободу (иначе - полгода тюрьмы). Видите? Если же ваш подельник свидетельствует (второй столбец), то и в этом случае лучше его "сдать", чтобы получить только 2 года (иначе - 10 лет). Стратегия "свидетельствовать" при любом ходе подельника для вас выглядит однозначно лучше чем "молчать".
Логично?
Но аналогично будет мыслить и подельник! Он приходит к тому же выводу (игра, симметричная. Меняйтесь местами - ничего не изменится).
Поэтому оба игрока логически рассуждая, "сдадут" друг друга и решение игры: оба выбирают "свидетельствовать" и оба получают по 2 года.
Парадоксальность же ситуации в том, что с точки зрения группы (банды подельников) лучше все же сотрудничать друг с другом ("не колоться"), хранить молчание и получить всего по полгода, то есть получить минимум. Любое другое решение в сумме по ячейке будет менее выгодным для банды (один или оба сядут на дольше). Но, рассуждая каждый сам за себя, любой игрок понимает, что для него лично лучшая стратегия - сдать подельника.

Теория игр объясняет, что такая ситуация неустойчива по Нэшу. То есть игра далека от равновесия Неша.
Равновесие по Нэшу наступает тогда, когда каждый из участников игры не может увеличить свой личный выигрыш, изменив стратегию в одностороннем порядке. В данном же случае как раз такая возможность у игроков есть и соблазняет! Коалиция неустойчива. Кто ее нарушит первым - получит все!
Что можно сделать для стабилизации такой неустойчивости?

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

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

Дилемма SETI Они слушают космос
и посылают сигналы,
METI Они слушают космос,
SETI,
но хранят молчание Мы слушаем космос и посылаем сигналы,
METI Оба узнали, что там кто-то есть Они узнают, что они не одни, а мы "засветились" Мы слушаем космос,
SETI,
но храним молчание Мы узнаем, что они есть, они "засветились" Оба ничего не знают
Логично?
Для понимания сути "новой" дилеммы уточним веса платежей.
С учетом сильной METI-фобии, ситуация следующая:
Идеальная для нас ситуация, если мы узнаем, что они есть, а сами себя перед ними никак не проявим, не "засветимся". "Нас"- это среднего землянина с "массовым сознанием" вместо своих личных мозгов. То есть такой землянин уверен, что лучше бы они остались в неведении есть ли мы или нет (мало ли какие они?). Их неведение оценим в +1. И наше знание, что они есть, это тоже нам плюс, +1. То есть наш максимальный выигрыш +2.
Ситуации, когда мы узнали, что они есть, но при этом пришлось сами перед ними "засветились", нас несколько омрачит. Наш выигрыш снижается: +1.
Ситуация когда мы и они остались в неведении оценим в 0. Логично? Не выиграли, но и не проиграли.
И худшая ситуация для одержимых METI-фобией. Мы перед ними "засветились", но ничего не узнали -1.
Так же считают (согласно правилам игры) и они.
В итоге получаем следующую версию предыдущей матрицы:

Дилемма SETI Они слушают космос
и посылают сигналы,
METI Они слушают космос,
SETI,
но хранят молчание Мы слушаем космос и посылаем сигналы,
METI (+1, +1) (-1, +2) Мы слушаем космос,
SETI,
но храним молчание (+2,-1) (0, 0)
Пара чисел в каждой ячейке - платежи. Первое число - платеж нам, вторе число - им. Так, например, в первой ячейке и мы, и они выигрываем по 1. Ячейка ниже: мы выигрываем +2, а они проигрывают: -1. Понятно?
Теперь легко понять что это "дилемма заключенного". Если мы выбираем стратегию "слушать и посылать" и они так же слушают и шлют, выигрыш каждого составит +1, если же они только слушают, то наш "выигрыш" в этом случае будет отрицательным -1. Запишем вектор наших платежей для этой стратегии так: [+1,-1]. Если же мы выбираем стратегию только слушать, то вектор платежей для нас будет [+2, 0]. Мы либо узнаем, что они есть, не "засветившись" (+2), либо ничего не узнаем, но и не "засветимся" (0). Вывод однозначный: при любой их стратегии нам выгодней молчать!
Но и инопланетяне (по условию) мыслят так же и выбирают эту же стратегию. Значит, никто ничего в итоге не узнает. Решение игры - (0, 0).
А если бы мы доверились "подельнику" по межзвездной связи, то каждый бы имел по +1.
То же самое что и с заключенными.
Александр Леонидович прав. Что называется, ситуация клинча.
Давайте зададимся вопросом: как должна выглядеть матрица игры (скажем подкорректированная какй-то моралью), чтобы решением игры была стратегия "слушать и слать", а не просто "слушать"?
При этом игра должна оставаться симметричной. "Они такие же как и мы".
Простейшая мысль "перевернуть" строчки.
Для первой должен быть вектор [+2, 0], а для второй [+1,-1].
В результате такой чисто механической замены получим:

Дилемма SETI Они слушают космос
и посылают сигналы,
METI Они слушают космос,
SETI,
но хранят молчание Мы слушаем космос и посылаем сигналы,
METI (+2, +2) (0, +1) Мы слушаем космос,
SETI,
но храним молчание (+1, 0) (-1, -1)
Но теперь давайте интерпретируем такое распределение платежей. Сделаем операцию, обратную предыдущей.
Интерпретация может быть разной. Но чтобы такие значения платежей ни значили, ясно вот что.
В случае их молчания (последний столбец) для нас молчать (-1) должно быть дороже, чем говорить (0). На 1. В случае их ответов (первый столбец), нам говорить (2) тоже должно быть выгодней, чем молчать (1). Опять же на 1. То есть, как бы мы не изгалялись, для нас METI (не важно отвечают они взаимностью нам или нет) должно иметь самостоятельную от SETI ценность.
Улавливаете?
Никакой логической зависимости SETI от METI не должно быть!

Обратите внимание. Нам мало избавится от METI-фобии. Это-само собой. Но у нас должна возникнуть имманентная, внутренняя причина слать послания не зависимо от того будут нам отвечать или нет.
Если мы построим матрицу игры, в которой каждая из сторон уже избавилась от METI-фобии, но и не имеет той самой загадочной имманентной потребности к METI, то мы получаем "безразличную" матрицу игры:

Дилемма SETI Они слушают космос
и посылают сигналы,
METI Они слушают космос,
SETI,
но хранят молчание Мы слушаем космос и посылаем сигналы,
METI (+1, +1) (0, +1) Мы слушаем космос,
SETI,
но храним молчание (+1, 0) (0, 0)
Что слать, что молчать - сторонам все равно. Обе стратегии [1,0].
Хорошо.
Но может быть как раз для раскачивания такой "безразличной" ситуации и нужен Тезис Зайцева? Как последняя капля?
Давайте предположим, что ни у одной цивилизации действительно нет веской внутренней причины слать друг другу послания, хотя все очень хотят получать сигналы. Знать, что там кто-то есть еще. Кроме того, учтем, что ни одна уже не страдает METI-фобией. Последнее означает, что решение слать или молчать может быть принято каждой цивилизацией с одинаковой вероятностью. Хотя для них такое решение будет иметь некие логические корни, мотикв, мы может смоделировать принятие таокго решения любой чужей цивилизацией как равновероятный случайный выбор. Как бы подбрасыванием монеты. "решка" - слать. "орел" - молчать.
Теперь учтем неоспоримый в SETI "факт" множественности разумных миров во Вселенной. Согласитесь, было бы странно, если бы ВСЕМ этим цивилизациям постоянно выпадал только "орел".
То есть "молчащая вселенная" будет крайне маловероятной. Кто-нибудь да будет слать, нарушать "молчание вселенной", возможно, по каким-то непонятным нам причинам.
Если моральный кодекс здесь и играет роль, то крайне незначительную.

Что же следует из "Парадокса SETI" на самом деле?

Парадокс SETI (я бы называл его принципом) очевиден. Чтобы у нас SETI дало результат, у кого-то (не у нас!) должны быть веская причина для METI. Должна была быть. Много лет назад. Есть у нас сейчас причина или нет для METI, на результат нашего SETI это никак не влияет.
Здесь и сейчас - абсолютно никак.
Если же отвлечься от "здесь и сейчас" и мыслить в масштабе вселенной, то и в этом случае "мораль контакторов" тонет на фоне имманентных, внутренних побуждений к посылки или молчанию каждой отдельно взятой цивилизации.
Коалиция если и возможна то крайне хилая. От части потому, что вселенная, надо надеяться, не барак на "зоне".

Так у сторонников SETI без МЕТI есть надежда на успех?
Конечно!
Посмотрите на нас самих.
Даже у нашей цивилизации имманентные причины для METI хоть и слабо, но все же возникают. Не смотря на сильную METI-фобию. Александру Леонидовичу Зайцеву, кто под разным предлогом отправил уже 14 посланий к братьям по разуму, все эти причины давно и хорошо известны.

1. К звездам можно посылать рекламу. Уже есть прецедент. Конечно, там такое послание не больно то и надо, но пока каждое такое послание у нас здесь редкость, сам факт (послали!) привлечет к рекламе общественное внимание опять же ЗДЕСЬ, а значит очень много людей (в том числе и я) бросятся смотреть это видеоролик. Мол, что же там отправили? Разве это не лучший способ заставить посмотреть массу людей на свой товар? На такой рекламный ход можно и раскошелится!
То есть, причина отправки межзвездного послания в данном случае - корыстные интересы какой-то корпорации. Проще говоря, жадность. А отправка послания - всего лишь попытка решить свои местные дела таким оригинальным способом. Очень, имманентная причина. К братьям по разуму, к их ответным сигналам, к межзвездной морали, к Тезису Зайцева она не имеет никакого отношения!

2. Причиной послания может стать человеческое самолюбие. Нашлась фирма в США, которая зарабатывала на том, что отправляла сигналы в космос, собирая за это (но можно и для этого) деньги с желающих что-нибудь послать. Если организаторы ничего не поимели с этого - они были альтруистами (например, надо думать, Александр Леонидович в одном из своих проектов), если поимели - они деляги. Но в обоих случаях главным источником (финансовым) сигналов были отдельные люди. Их тщеславие или другие побуждения так поступить. Не важно дойдут ли их сигналы до адресата, будут ли поняты? Это второй вопрос. Главное - сам факт, что сигнал послан. За это "клиент" и платит. За событие и все. Заплативший человек теперь знает: его творческая потуга летит через световые годы. Об этом можно рассказать друзьям, родственникам, знакомым. Похвастаться оригинальностью поступка. Здесь тоже важен только сам факт отправки. Ответ? На него никто в здравом уме не рассчитывает.

3. В конце концов, для отправки послания можно использовать, и самолюбие людей, и жадность корпораций одновременно. Так было в последнем проекте Александра Леонидовича. Некая (не важно какая) британская сеть объявила среди своих абонентов конкурс на 500 лучших посланий к иному разуму. Теперь люди сами не должны были платить. Отправку оплатила сеть. Зачем? Конкурс сделает ее популярной. Задуманное мероприятие - прекрасная реклама. За это корпорация и платит. Она не в накладе! А люди приславшие свои рисунки, конечно же мало думали об ответе и слыхом не слыхали о Тезисе Зайцева. Им, возможно, было просто интересно выиграть у других людей место в послании (человеческий дух соперничества) ну и конечно же принять участие, прикоснуться к грандиозному действу.

Есть еще какие-нибудь более весомые имманентные причины для METI у нас? Надо искать. Даже названные, несмотря на все их убожество, имеют достаточно сложное сплетение мотивов. У более развитых цивилизаций, возможно, будут и более сложные, более веский мотив для METI. Возможно, настолько веский, что заставит их заниматься МETI основательно, а не просто хаотически "выстреливать" послания-акции, как это сейчас делаем мы, земляне.