Dick Lipton has a perfectly timed post on why he doesn’t like oracle proofs. Makes for excellent reading.

Advertisements