New essay: "Toward an exploratory medium for mathematics" http://cognitivemedium.com/emm/emm.html
-
-
Replying to @michael_nielsen
@michael_nielsen To me the hard part isn't proving a concrete claim, but formulating what statements are interesting in the first place...1 reply 0 retweets 0 likes -
Replying to @jeremyjkun
@michael_nielsen How would a new medium facilitate the revelation that "the most stretch" is a point of interest in the first place? (2/2)2 replies 0 retweets 0 likes -
Replying to @jeremyjkun
@jeremyjkun The question "prove the SVD" is pretty unnatural. The question "What's the maximal stretch of a matrix?" seems pretty natural1 reply 0 retweets 0 likes -
Replying to @michael_nielsen
@jeremyjkun Of course, by exploring the former question we are led very naturally to discover the SVD2 replies 0 retweets 0 likes -
@jeremyjkun (Of course, from my POV, the SVD is a MacGuffin, and all the important stuff is elsewhere.)
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.