ded_maxim: (Default)
ded_maxim ([personal profile] ded_maxim) wrote2005-11-15 07:44 pm

парадокс Ньюкома

Интересные рассуждения о парадоксе Ньюкома у Скотта Аронсона и у Космы Шализи. Парадокс состоит в следующем:
Некий носитель сверхразума (назовем его Предсказатель) появляется перед простым смертным (назовем его Игрок) с двумя ящиками. Один из ящиков прозрачный, и Игрок видит, что там лежит тысяча долларов. Предсказатель затем объявляет, что второй ящик (непрозрачный) содержит либо миллион долларов, либо ничего, и предлагает Игроку выбор: забрать содержимое обоих ящиков или только непрозрачного. При этом он сообщает Игроку, что уже предугадал, какой выбор тот сделает, и в случае, если Игрок предпочтет забрать содержимое только непрозрачного ящика, то получит миллион, а в противном случае непрозрачный ящик окажется пуст. Игроку также сообщается, что Предсказатель никогда прежде не ошибался. Вопрос: какой выбор должен сделать Игрок?
Меня интересует вот что: почему любой анализ парадокса Ньюкома предполагает, что Предсказатель оперирует теми же самыми кантовскими категориями пространства-времени-причинности, которыми обусловлено и информировано наше восприятие и осмысление мира? Раз уж мы предполагаем, что Предсказатель является эманацией некоего Сверхразума, то почему бы не допустить, что он способен воспринимать реальность не диахронически, как мы с вами, а синхронически? Если сделать такое предположение, то исчезают все заморочки с принципом причинности и (не)свободой воли. Когда мы слышим слово "детерминизм", мы хватаемся за стрелу времени. Но детерминизм, основанный на дифференциальных уравнениях, это poor man's determinism, способный удовлетворить лишь существо с ограниченными ресурсами для обработки и хранения информации. Для Божественного Разума, как его представляли, скажем, Спиноза или Лейбниц, детерминизм никаким образом не связан с понятиями времени, локальности, принципа причинности, потому что все это не имеет для Божественного Разума никакого смысла. Тогда парадокс Ньюкома перестает быть парадоксом.

Еще одна мысль: парадокс Ньюкома еще можно разрешить в оптике христианского экзистенциализма Кьеркегора. Все дело в том, что субъект, который открывает лишь один ящик, не задумываясь при этом о рациональных категориях и логических противоречиях, совершает leap of faith и вознаграждается соответственно.

[identity profile] hmuller.livejournal.com 2005-11-16 01:54 am (UTC)(link)
Коллега,
Боясь показаться невежливым...
22го - годовщина 2го номера, ага.

[identity profile] ded-maxim.livejournal.com 2005-11-16 01:56 am (UTC)(link)
Я знаю ... :(
Ты вгрузил свежий вариант своей статьи про БГ и ГО? Я видел, ты добавил новые обзоры.

[identity profile] hmuller.livejournal.com 2005-11-16 03:10 am (UTC)(link)
Да, всё там.
Из обзоров убери линк на Tjuder - я саму
рецензию убрал, не заслуживает оно того,
а линк в шапке, кажется, забыл.

[identity profile] ded-maxim.livejournal.com 2005-11-16 02:41 am (UTC)(link)
P.S. Мы над этим активно работаем.

[identity profile] hmuller.livejournal.com 2005-11-16 03:12 am (UTC)(link)
Я вот чего думаю...
может, сделать там типа новостной ленты -
т.е. добавлять материал по мере его написания.
В отсутствии большой команды мы бпльшие
номера будем делать по году, и то, что
написано, будет на столько же задерживаться.
Just a thought.

[identity profile] ded-maxim.livejournal.com 2005-11-16 03:22 am (UTC)(link)
Ты как будто мои мысли прочел! Я как раз собирался тебе предложить нечто подобное.

[identity profile] solomon2.livejournal.com 2005-11-16 03:33 am (UTC)(link)
Ваш пересказ парадокса не вполне соответствует тому, что по ссылке. Игрок получит миллион, только если Предсказатель действительно предсказал, что Игрок выберет только закрытый ящик, и положил туда миллион.
Бущее предсказать невозможно, что бы не говорил Предсказатель, поэтому Игроку надо всегда брать оба ящика.



[identity profile] mancunian.livejournal.com 2005-11-16 03:47 am (UTC)(link)
Правильно! Два ящика схавать, и хоть трава не расти! А Предсказателю - по роже непрозрачным ящиком, да посильнее. А то знаем мы этих наперсточников.

[identity profile] ded-maxim.livejournal.com 2005-11-16 03:53 am (UTC)(link)
Да, я забыл упомянуть тот факт, что Игроку сообщается, что до этого Предсказатель ни разу не ошибался. Вот я и говорю, что парадокс возникает потому, что Игрок пытается анализировать принцип, которому следует Предсказатель, не выходя за рамки кантовских категорий. То есть, предполагается, что действия Предсказателя алгоритмичны. А если это не так? Для Божественного Разума и будущее, и прошлое, и настоящее существуют одновременно!

Мое решение

[identity profile] solomon2.livejournal.com 2005-11-16 04:29 am (UTC)(link)
http://www.livejournal.com/users/solomon2/34324.html

[identity profile] nick-nsk.livejournal.com 2005-11-16 04:30 am (UTC)(link)
А если будущее предсказать невозможно и есть свобода воли, то тоже нет никакого парадокса. Разве не так?

(Anonymous) 2005-11-16 05:33 am (UTC)(link)
Парадокс разрешается в духе задачи о шредингервском черном коте.

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

[identity profile] sguez.livejournal.com 2005-11-16 05:33 am (UTC)(link)
забыл подписаться. Черный кот.

[identity profile] ded-maxim.livejournal.com 2005-11-17 12:55 am (UTC)(link)
ответил (http://www.livejournal.com/users/ded_maxim/172547.html?thread=1112579#t1112579)

[identity profile] ded-maxim.livejournal.com 2005-11-17 12:54 am (UTC)(link)
Ха! Ты бы еще парадокс Эйнштейна-Подольского-Розена (http://en.wikipedia.org/wiki/EPR_Paradox) вспомнил. Если у Предсказателя есть возможность генерировать сцепленные квантовые состояния, то система Игрок + Второй Ящик должна описываться следующей волновой функцией (с точностью до нормировочной константы):

| one > | $1,000,000 > + | both > | nothing >

(нотацию Дирака помнишь еще?), где первая подсистема описывает выбор Игрока, а вторая -- содержимое непрозрачного ящика.

[identity profile] ygam.livejournal.com 2005-11-16 06:47 am (UTC)(link)
О! Кто-то помимо меня знает о существовании Космы Рохиллы Шализи.

[identity profile] ded-maxim.livejournal.com 2005-11-16 07:04 am (UTC)(link)
Да! И давно притом.

[identity profile] nnikif.livejournal.com 2005-11-16 09:22 am (UTC)(link)
>leap of faith
indeed

[identity profile] prosto-vitjok.livejournal.com 2005-11-16 10:02 am (UTC)(link)
Муть какая. Цыганщина, а не парадокс. Вообще парадоксов быть не может.





баян

[identity profile] chhwe.livejournal.com 2005-11-16 07:59 pm (UTC)(link)
сравните с таким рассуждением:

существуют два таких иррациональных числа α и β что αβ -- рациональное число

доказательство:

пусть α равно квадратному корню из двух (то что квадратный корень из двух -- иррациональное число будем считать доказанным)

если αα -- рациональное число, то предложение доказано, если же оно иррационально, то рассмотрим число ααα

это число равно двум и рационально, предложение опять-таки доказано

заметьте, что анализ рациональности числа αα кажется значительно более трудоёмким


(где-то здесь подвох?)

Re: баян

[identity profile] ded-maxim.livejournal.com 2005-11-16 08:07 pm (UTC)(link)
Никакого подвоха нет -- обычное доказательство существования объекта без явного предъявления оного. В теории информации таким образом доказываются теоремы кодирования, например -- доказывается, что существуют оптимальные коды, но не объясняется, как их получить.

Re: баян

[identity profile] chhwe.livejournal.com 2005-11-16 08:14 pm (UTC)(link)
да, конечно, но в отличие от ≤обычных≥ доказательств существования здесь нам предъявляются всего лишь ДВА объекта один из которых наш

но какой? -- а неважно, бери оба яшшика, не ошибёсси (хотя Всезнающий знает, которое число иррационально)

Re: баян

[identity profile] ded-maxim.livejournal.com 2005-11-16 09:28 pm (UTC)(link)
Да, в этом смысле есть сходство.

Re: баян

[identity profile] ygam.livejournal.com 2005-11-16 11:40 pm (UTC)(link)
доказывается, что существуют оптимальные коды, но не объясняется, как их получить

Перебором.

Re: баян

[identity profile] ded-maxim.livejournal.com 2005-11-17 12:37 am (UTC)(link)
Ну, это не решение. Таким способом можно и любую NP-полную задачу "решить". А как ты будешь решать перебором задачу об оптимальном сжатии аналоговых сигналов?

Re: баян

[identity profile] ygam.livejournal.com 2005-11-17 12:58 am (UTC)(link)
Я пошутил. Но в мире конечных множеств различие между конструктивными и неконструктивными доказательствами стирается.

[identity profile] ygam.livejournal.com 2005-11-18 01:15 am (UTC)(link)
An Irishman hears that the banks are failing. He runs into the bank where he keeps his money and demands every cent of it. 'Yes sir,' the teller says politely. 'Do you want it in cash or in the form of a check?" The Irishman replies: "Well, if you have it, I don't want it. But if you haven't got it, I must have it immediately.'"

[identity profile] ded-maxim.livejournal.com 2005-11-18 03:07 am (UTC)(link)
Да. А тот анекдот, где говорится "и на такое дело, пан Ковальский, вам жалко трёхсот злотых?", демонстрирует, как законы термодинамики не действуют в открытых системах!