Imre Lakatos's "Proofs and Refutations" is a wonderful book-length discussion of this and related points.https://twitter.com/AnalysisFact/status/752888067455852544 …
-
-
Replying to @michael_nielsen
Worst thing about teaching mathystuff (I'm including eg semantics) is showing defs up front rather than _designing_ them.
2 replies 0 retweets 3 likes -
Replying to @ShriramKMurthi
It's often possible to teach in such a way as to discover them. Slower, but deeper.
1 reply 1 retweet 2 likes -
Replying to @michael_nielsen
Precisely. My pref. Trades quantity of material for depth of understanding. Defs are fascinating; books make them boring.
1 reply 0 retweets 3 likes -
Replying to @ShriramKMurthi
It's such a strange deficiency in standard mathematical style that so little space is allocated to how defns are discovered
1 reply 0 retweets 2 likes -
Replying to @michael_nielsen
Also *alternate* defs. Sometimes given one not canonical; imp to know. Sometimes is; even more imp! Ergo I wrote "design".
2 replies 0 retweets 2 likes
I'm enough of a Platonist that I like "discover" :-) I agree with you tho that it's great to see the design nuts-and-bolts &
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.