3 ms·
I just went through the presentation. It's an interesting experiment, but seems completely unsuitable for teaching the example I gave from Spivak to a first-ye
by jfarmer 15y ago
I just went through the presentation. It's an interesting experiment, but seems completely unsuitable for teaching the example I gave from Spivak to a first-year college student with no prior exposure to CS or formal mathematics.
It might be useful to someone who has a extensive background in functional programming, but it's in a completely different universe than the one most mathematicians live in.
- ezyang 15y agoI agree that at this point, it's completely unsuitable for the staples of college mathematics (e.g. calculus, differential equations), although it was not clear non-mathematicians were being subject to any sort of rigor anyway. That said, these tools have been used to teach Freshmen CS majors, and to reasonably good effect.