On Mon, May 19, 2014 at 10:46 PM, Rustom Mody <rustompm...@gmail.com> wrote: > The provers call the calculators as "Just applied not pure mathematicians" > The calculators say of the provers: "They are not mathematicians but > logicians" > (or philosophers)" [Chris had a funny quote on this a few weeks ago]
Which Chris? I don't remember either reading or writing such a quote, and would like to. There are a good few Chrises on this list :) ChrisA -- https://mail.python.org/mailman/listinfo/python-list