Deep comparison of dicts - cmp() versus ==?

[Marko Rauhamaa]

Rustom Mody <rustompmody at gmail.com>:

> In all fairness to Chris, there have been notable mathematicians in
> the last 100 years who have said more or less exactly what Chris is
> saying: "The set ℝ is nonsense."

Intuitionism is nonsense.

> In fact these fights are the very reason that CS came into existence.

I trace it to Hilbert's program.


Marko