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 :)
Something about mathematicians philosophers and waste-paper baskets