On Monday, August 1, 2016 at 9:12:00 AM UTC+5:30, Paul Rubin wrote: > Steven D'Aprano writes: > > If Intuitionism influenced computer science, where is the evidence of this? > > Where are the Intuitionist computer scientists? > > Pretty much all of them, I thought. E.g. programs <details snipped>
Yeah… Saying what does CS have to do with Intuitionism is like asking what what does Carnot’s (theoretical) heat-engine have to do with Toyota -- https://mail.python.org/mailman/listinfo/python-list
