i hope my sloth is practically axiomatic at this point
-
This Tweet is unavailable.
-
-
Replying to @eigenrobot @rochellehd
i guess more explicitly since this feels surprisingly interesting to me, just making an argument explicit at all steps is (i) not so much fun for readers (I think it comes off as tendentious), and (ii) also not as close a representation of how thoughts actually occur to me
1 reply 0 retweets 10 likes -
Replying to @eigenrobot @rochellehd
one could imagine a continuum arguments, from formal to literary so, say, many math arguments involve a series of perfectly defined steps from proposition to proof, whereas literary arguments might tend to appear to be more reliant on allusion and metaphor
1 reply 0 retweets 7 likes -
Replying to @eigenrobot @rochellehd
the advantage of formal arguments is precision; the advantage of literary arguments is their speed and boundless flexibility, which comes at the cost of precision
1 reply 0 retweets 6 likes
I suppose this is orthogonal to the point you were trying to make which was more about explication
although it certainly seems like mathematicians can get away with quite a few "left to the reader" and "it is obvious that" statements
hmm
do you find those objectionable?
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.