Oct. 17th, 2014

akuklev: (ДР Цертуса 2011)
Есть такое развитие линейной логики под названием ludics и там существует такое странное правило ввода под названием Daimon, фактически это модальность, в которой можно допускать гипотетически любое неравновесное взаимодействие "пока никто не видит", то есть до тех пор пока "на концах" всё корректно типизированно. До меня только что дошло, что это off-shell модальность в смысле диаграмм Фейнмана и возмутительного подхода к квантовым теориям поля.

P.S. На почитать: http://arxiv.org/pdf/0807.2636v1.pdf, http://aix1.uottawa.ca/~rblute/phi_calc.pdf

December 2016

S M T W T F S
    123
456789 10
11121314151617
18192021222324
25262728293031

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 5th, 2025 03:46 pm
Powered by Dreamwidth Studios