May. 4th, 2006

hgr: (Default)
сравнительная алетическая модальность и прочие модальные логики.

в этой серии -- про возможные миры психического расстройства и художественной литературы.
если бы нашелся реальный специалист по модальным логикам, который бы заинтересовался проблемой!.. )
hgr: (Default)
http://www.logic.ru/Russian/LogStud/08/LS_8_r_Grigoriev.ps.gz
попытка создания индетерминистской логики времени. индетерминизм здесь заключается только в том, что, в отличие от логики времени Прайора, допускается такое предшествование одного события другому, при котором предшествовавшее может не служить причиной последующего. но нам бы надо такую логику времени, чтобы причины событий могли быть как в предшествующие, так и в последующие самим событиям моменты времени и даже сразу там и там (кажется, это логически равносильно тому, что событие может происходить без причины, но само становиться причной для последующих событий...) вот таких, хороших, логик -- никто не разрабатывает, увы.

введение в "спатиотемпоральную" тематику (т.е. в модальные логики пространства и времени как единого целого):
D. GABELAIA, R. KONTCHAKOV, A. KURUCZ, F. WOLTER, M. ZAKHARYASCHEV, Combining spatial and temporal logics: expressiveness vs. complexity // Journal of Artificial Intelligence Research 23 (2005) (to appear?) текст давно есть в сети.
hgr: (Default)
Сейчас нужно говорить уже о необходимости спасения православной культуры от тех, кто, монополизировав свое на нее право, пытается навязывать свое видение православия всей стране. Как спасать? А как спасают редких и исчезающих животных? Создают заповедники.

очень хорошая статья [livejournal.com profile] another_kashin о том, что нашему государству нужно делать с МП. читать нужно целиком. просто даже не ожидал от Олега такого понимания темы. спасибо! постараюсь обратить внимание на эту статью всех потенциально заинтересованных лиц.

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

December 2025

S M T W T F S
 123456
78910111213
14151617181920
21222324252627
2829 3031   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 1st, 2026 08:49 am
Powered by Dreamwidth Studios