[T]hat which we conceive as existing (“actual”) should somehow be localized in time and space. That is, the real in one part of space, A, should (in theory) somehow “exist” independently of that which is thought of as real in another part of space, B. If a physical system stretches over parts of space A and B, then what is present in B should somehow have an existence independent of what is pre...

Second-order logic, it has been alleged by W. V. Quine [17], is nothing but set theory in disguise, and hence not logic proper. The second-order quantifiers, so the allegation goes, have to range over some kind of “higher” entity or universal: properties or attributes at worst; sets at best, as sets at least are extensional. Moreover, a set-theoretic understanding may allow us to appreciate tha...

We consider a somehow peculiar Token/Bucket problem which at first sight looks confusing and difficult to solve. The winning approach to solve the problem consists in going back to the simple and traditional methods to solve computer science problems like the one taught to us by Knuth. Somehow the main trick is to be able to specify clearly what needs to be achieved, and then the solution, even...