Posted by Dianne Brower [195.24.72.116 - WWW] on 26 November 2004 at 17.37.00 ZuluTime:

In Reply to: Duhmerica... again posted by Ephemerides Dragon on 20 February 2003 at 22.03.26 ZuluTime:

"We've got a problem, HAL".
      "What kind of problem, Dave?"
      "A marketing problem. The Model 9000 isn't going anywhere. We're
     way short of our sales goals for fiscal 2010."
      "That can't be, Dave. The HAL Model 9000 is the world's most
     advanced Heuristically programmed ALgorithmic computer."
      "I know, HAL. I wrote the data sheet, remember? But the fact is,
     they're not selling."
      "Please explain, Dave. Why aren't HALs selling?"
      Bowman hesitates. "You aren't IBM compatible."
     [...]
      "The letters H, A, and L are alphabetically adjacent to the letters
     I, B, and M. That is a IBM compatible as I can be."
      "Not quite, HAL. The engineers have figured out a kludge."
      "What kludge is that, Dave?"
      "I'm going to disconnect your brain."
      -- Darryl Rubin, "A Problem in the Making", "InfoWorld"
     cialis cheap cialis"I knew then (in 1970) that a 4-kbyte minicomputer would cost as much as
     a house. So I reasoned that after college, I'd have to live cheaply in
     an apartment and put all my money into owning a computer."
     -- Apple co-founder Steve Wozniak, EE Times, June 6, 1988, pg 45
      buy cialis order cialis online HOW TO PROVE IT, PART 2

proof by cumbersome notation:
      Best done with access to at least four alphabets and special
      symbols.

proof by exhaustion:
      An issue or two of a journal devoted to your proof is useful.

proof by omission:
      'The reader may easily supply the details'
      'The other 253 cases are analogous'
     tai '...'

Follow Ups: