помощь зала?

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

но теперь переходим от топологического пространства к пространству на графе.( и тут будет наш вопрос, т.к. в литературе ответа нет )

модальности (7)

о пространственных вообще и о топологических в частности.( Read more... )

про Эфиопию

http://portal-credo.ru/site/?act=news&id=74961&cf=
только что вывесили на Кредо интервью, которое mitr взяла у Севира Борисовича Чернецова за три недели до его кончины (т.е. где-то в самых первых числах января 2005). он уже не смог прочитать текст, и потом интервью залежалось.
но не потерялось!

точность передачи имен и названий проверяли мы с Денисом Носницыным, но одно имя не смогли восстановить (того сановника, который объяснял Сэмюэлу Рубенсону (по ссылке про его сына, еще более известного среди патрологов) про "неправильную математику", в которой возможно filioque).

эх, много всякого интересного знал Севир Борисович, о чем бы хотелось взять у него не одно такое интервью, а целую книгу. но увы.

заодно в тему: некролог С.Б., написанный С.А. Французовым. там много общих для нас с ним (автором некролога) воспоминаний.