Actor model theory и физика

[ermouth]

Так вышло, что я больше люблю Erlang, чем Go (хотя на первом почти не пишу, а на втором вообще ахаха). Erlang я люблю, потому что там паралеллизм вычислений обеспечивает actor model, а Go не люблю за то, что там CSP model.

CSP – это когда узлы анонимны, зато каналы передачи сообщений поименованы. Акторы – это когда узлы сети имеют имена и сообщения отправляются именованным получателям.

Акторы в некотором смысле больше похожи на реальный мир, мне проще в них думать. Их я использую часто и с удовольствием, jquerymy мой любимый неявно имплементит actor model.

Так вот, я неждано-негадано наткнулся в английской Википедии на статью об actor model theory. И статья эта нереально прекрасна, хоть и существенно неполна.

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

Например:

Because of the transmission of energy, the activation ordering is relativistically invariant; that is, for all events e1.e2, if e1 -≈→ e2, then the time of e1 precedes the time of e2 in the relativistic frames of reference of all observers.

Круто! Аналогичное соображение с отсылкой к СТО я не раз встречал, но значительно многословнее описанные, как правило с мировыми линиями, конусами и прочее, и прочее.

Цитата выше, напротив, пригодна для рассказа в средней школе.

И там такая вся статья. У меня какой-то почти детский восторг, чесслово.

Comments

[juan-gandhi.livejournal.com]

Да, ТО тоже часто помогает объяснить функционирование actors model. Но все это, по-моему, следствия топосной логики; топосы же сейчас в физике внедряются потихоньку.

Проблемы-то в нас. У нас булева логика культурно зашита. А надо бы отползать от нее.

[ermouth.livejournal.com]

> Но все это, по-моему, следствия топосной логики

Я гумантарий же, не вкуриваю, как связывают topos theory и физику ) По диагонали не осилил даже близко.

[juan-gandhi.livejournal.com]

А... не берите в голову. Это все ужасно сложно, и требуются годы.

[ermouth.livejournal.com]

Я всё таки попробовал «взять в голову» чуть лучше, чем по диагонали, и мне кажется, что связь пока в лучшем случае смысле религиозная.

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

Это очень напоминает теорию струн – внутри которой также не видно способа сконструировать комбинацию ограничений, описывающую наш мир.

То-есть – нефальсифицируемость и нулевая предсказательная сила.

Из таких теорий можно всё, что угодно вывести )

Что я упускаю?

[juan-gandhi.livejournal.com]

Небулеву, интуиционистскую логику. А также возможность моделировать темпоральную логику.

[ermouth.livejournal.com]

Первое не упускаю наверняка – я же фанат HoTT из клана гуманитариев) Про второе не знаю даже поверхностно ничего, ни одной работы не читал.

Конкретно меня смущает например вот это (http://arxiv.org/pdf/0803.0417v1.pdf, стр 36 сверху):

This failure of distributivity bars any na¨ıve realist interpretation of quantum logic. If an instrumentalist interpretation is used instead, the spectral projectors Eˆ[A ∈ ∆] now represent propositions about what would happen if a measurement is made, not propositions about what is ‘actually the case’. And, of course, when a state is specified, this does not yield actual truth values but only the Born-rule probabilities of getting certain results.

Это очень хреновая на мой вкус предсказательная сила такая, которая говорит «давайте всё померяем» или, что идентично, «давайте просуммируем всю историю всего». И добавляет, «а что мы не померяли или померять никак – того и быть не может, потому что ну его нафиг».

Нет?

[juan-gandhi.livejournal.com]

Ну я-то в физике ничего не понимаю, так что если бы и было у меня мнение...