теория категорий двойников

[109]

I wonder, какую-нибудь интересную категорию на этом можно построить? или это полностью изоморфно какой-нибудь уже имеющейся? начало тут: http://turchin.livejournal.com/533252.html?thread=3555076#t3555076

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

Б тот же человек, что А
В тот же человек, что А
Б не тот же человек, что В

identity morphism очевиден: А -> А, Б -> Б, В -> В

Comments

[wizzard]

по ссылке еще не ходил. но захотелось сказать, что параллельные миры такие параллельные...

[thedeemon.livejournal.com]

Похоже на отношение частичного порядка. Множество с таким отношением (poset) дает категорию, где объекты - элементы множества, а стрелки - это самое отношение. Изоморфно _n_.

[faceted-jacinth.livejournal.com]

Относительно вопроса по ссылке, им интересовался Greg Egan в частности в рассказике The Walk (из сборника Axiomatic), который я в интернетах не нашёл и потому перацки скопипейстил: http://pastebin.org/296365

Однако интересовался он им с довольно левой позиции, никак, впрочем, не проявляющейся в самом рассказе, даже наоборот. То есть я хочу сказать, что потом он написал The Dust, являющийся началом Permutation City который он написал целиком ещё позже, и если рассказ только обстоятельно ставит вопрос и намекает на ответ, то потом Игэн от этого ответа отказывается в пользу полной хуйни (по-моему), де всё, что может существовать, существует в виде например пермутаций космической пыли, а человеческое сознание тогда автомагически и субъективно находит своё продолжение среди этих пермутаций.

Лично мне кажется, что тут важна настоящая способность продолжать себя в будущее. Грубая но глубокая аналогия: у нас же нет проблем отличать исполняющиеся программы от их снапшотов? Вот, лежат на диске или в памяти сколько-то снапшотов, ок. А вот есть тред, производящий следующий снапшот из текущего, что собственно и является исполнением. Или мы берём один снапшот и два треда, и они дальше исполняются (т.е генерируют последовательность снапшотов, где каждый зависит от предыдущего), получающиеся снапшоты могут быть одинаковыми если мы сумели создать в точности одинаковые энвайронменты, иначе быстро дивергирующие.

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

Мне кажется правильнее говорить, что "я" -- это всё-таки тред, который меня думает, и над которым я в силу своей природы имею контроль. Телепортер в таком случае является fork(). В результате вызова fork() получаются _разные_ программы, хотя их мгновенные состояния одинаковы. Никакого противоречия в этом невозможно усмотреть!

[faceted-jacinth.livejournal.com]

Ah, almost forgot the relevant comic: http://www.smbc-comics.com/index.php?db=comics&id=1879 (don't forget to mouseover over the Red Button)

[109.livejournal.com]

отлично!

[109.livejournal.com]

а я и не говорю, что есть какое-то противоречие. это Турчин, по-моему, считает, что тут есть какой-то парадокс. я-то как раз считаю, что всё очевидно, хотя моя точка зрения, тоже очевидно, отличается от твоей.

аналогия со снапшотами программ никак не помогает, поскольку компьютерные программы не self-aware. self-awareness же, в свою очередь, подразумевает память о себе и пять минут назад, и двадцать пять. именно в результате провалов в памяти люди задают себе такой странный, казалось бы, вопрос: кто я?

именно поэтому обе вышедшие из телепортёра копии считают себя тем, кто вошёл в него.

The Walk пока не читал; прочитаю - может, ещё чего напишу.