Rustom Mody <rustompm...@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 -- https://mail.python.org/mailman/listinfo/python-list
