Wednesday, June 23, 2004

In an article about Mac OS X PDF management, L. Rosenthol writes Guess what? Apple did the same thing in Panther! Unfortunately, however, they hid it away where no one is bound to find it. Translating the bold text into logic-ese, we get They hid X away in a place such that for no person P, it is certain that P will find X That still allows the possibility that the probability that person P finds X is high, for random P. I think that Rosenthol wanted to say that this probability is low, even zero. I can imagine the following line of analogical reasoning A good design is one in which everyone can find X without much effort That is, a design in which everyone is bound to find X This is a bad design, in which no one can find X easily "Negate" 2 by replacing everyone by no one. Producing no one is bound to find X Could this kind of bug be related to Escher sentences? 3:02:41 PM