September 28th, 2005

eyes black and white

Monotone

You may remember that I am looking for a solution to the SNAIL problem, which will have to be based on epistemic monotonic logic. Well, monotone offers half of the solution, monotonic logic. And that is also the more useful half to me, considering that the instantaneous latency of my SNAIL networks is actually low: when my computers are connected to each other, then the communication latency between them is below a few tenths of seconds at most.

Collapse )