[Python-Dev] Re: Stability and change
Michael Hudson
mwh@python.net
08 Apr 2002 12:56:47 +0100
Tim Peters <tim.one@comcast.net> writes:
> The first textbook I had on mathematical logic was Stephen Kleene's
> (yes, that Kleene) cheerfully named "Mathematical Logic". The first
> chapter contained a warning to the student:
>
> It will be very important as we proceed to keep in mind this
> distinction between the logic we are studying (the object logic)
> and our use of logic in studying it (the observer's logic). To
> any student who is not ready to do so, we suggest that he close
> the book now, and pick some other subject instead, such as
> acrostics or beekeeping.
Can you say "downward Skolem-Loewenheim"?
> For this reason, I suggest naming the hypothetical "forward and backward
> compatible forever more" Python branch the "Python Acrostics and Beekeeping"
> branch.
Suits me.
Cheers,
M.
--
I never realized it before, but having looked that over I'm certain
I'd rather have my eyes burned out by zombies with flaming dung
sticks than work on a conscientious Unicode regex engine.
-- Tim Peters, 3 Dec 1998