Re: OT Intuitionism+Platonism+Mysticism = CS (was Deep comparison of dicts...)

2015-03-31 Thread Rustom Mody
On Saturday, March 21, 2015 at 11:58:43 AM UTC+5:30, Marko Rauhamaa wrote: Rustom Mody : However I am talking some historical facts, viz: Because some nuts did the 20th century equivalent of: Break each others' heads about how many angels can dance on the head of a pin therefore much of

OT Intuitionism+Platonism+Mysticism = CS (was Deep comparison of dicts...)

2015-03-21 Thread Rustom Mody
On Friday, March 20, 2015 at 7:40:31 PM UTC+5:30, Marko Rauhamaa wrote: Rustom Mody: 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. You are

Re: OT Intuitionism+Platonism+Mysticism = CS (was Deep comparison of dicts...)

2015-03-21 Thread Marko Rauhamaa
Rustom Mody rustompm...@gmail.com: However I am talking some historical facts, viz: Because some nuts did the 20th century equivalent of: Break each others' heads about how many angels can dance on the head of a pin therefore much of the world around us exists as it does (for better or worse)