time logic issue

A while ago I had a problem representing "time logic" as a kind of topos logic. I mean, mapping pretty simple ideas to that semantics. But there was a problem I could not handle: objects in time use to "come and go" - meaning that the category you have to deal with would be not a linear poset, but the set of intervals. Which is too complicated. Again, the purpose was to map "ordinary notions" to logic over a category.

Now I got an idea. Say an object started to exist at time T0, and ceases to exist at time T1. These "non-existences" are two different kinds of non-existence. The one before T1 is where the object does not exist. The one after T1 is where the object exists "in memory", as reflected in its interactions with other objects. It is a rather Tralfamadorean model - "the object is now in a bad shape".

good point

какие жалобы больше всего презираю

1 когда человек жалуется на в страну в которой живет (конечно, не в условиях тоталитарной системы проклятой Империи Зла, когда выехать было невозможно)
2 когда человек жалуется на затраты, которые он "вынужден" делать на близких ему людей
3 когда человек жалуется на "окружение" в его офисе, академии в целом, условиях контракта итд
4 когда человек жалуется на то как трудно выучить язык в стране которой он живет, понять местные отношения (как человеческие, так и банковскую систему, моргидж)
5 на родителей.. но это нечто совсем запредельное

Terminator revisited

Не так давно мне довелось видеть в Нью-Йорке широко разрекламированный фильм
известного в США режиссера Джеймса Камерона "The Terminator" - его название можно
было бы перевести на русский язык по смыслу так: "Тот, кто производит окончательный
расчет".
...
И чего только не придумают в Голливуде, - скажет, пожимая плечами,
советский читатель. - Неужели такая чепуха может заинтересовать зрителя?
- thanks to piggymouse

lytdybr

Утром, пока снились библиотеки, пришли в голову идейки, и проснулся в шесть. Решил поехать на семичасовом на работу, ухватить часик времени, когда никого, и можно это.

Было темно, и хотелось спать, и поэтому в душе мылся, не включая света. Только когда выехал из гаража, уже светало слегка. На свой автобус еле успел - другие такие же сонные граждане еле рулили впереди меня, и на нашей улочке, на Эстебанской, получилась чуть ли не пробка. Но успел; наш лихой водитель Мак открыл мне дверь, и я вскочил, в последний момент. В автобусе уже сидел слепой программист Раман, сосредоточенно читая (слушая) свой мейл; парень из Сан Диего, любитель читать с утра пораньше Wall Street Journal, а также новый, веселый и лысый, китаец. Остальной народ дрых, поедет вторым рейсом.

Над Сантакрузкими горами в светлом предрассветном небе заходила бежевая полная луна. На вспаханном поле, справа от дороги, лежало голубоватое толстое одеяло тумана. Сзади, над горой Аманам, где, по верованиям чумашей, покоятся души всех умерших колибри, выползал рассвет.
( Read more... )

А нам пофиг, и мы ломанулись на работу. За Сантакрузские горы заходило солнце. А когда подъезжали к работе, обратили внимание на бежевую луну, вставашвую над горой Аманам.