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
> (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 :)