On Monday, May 19, 2014 6:39:49 PM UTC+5:30, Chris Angelico wrote: > On Mon, May 19, 2014 at 10:46 PM, Rustom Mody 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 :) You!! Something about mathematicians philosophers and waste-paper baskets -- https://mail.python.org/mailman/listinfo/python-list
