Python and Math

[Chris Angelico]

On Mon, May 19, 2014 at 10:46 PM, Rustom Mody <rustompmody at 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