tfw no formal definition of elegance
-
-
Replying to @insurrealist
All you need are definitions of depth and complexity; then elegance is simple depth. Complexity is a measure of the length or difficulty of applying the system’s rules, depth a measure of the difficulty of predicting its properties
3 replies 0 retweets 6 likes -
Replying to @QuasLacrimas
I think I want one that's about navigability of proof nets, will have to try to cook something up.
1 reply 0 retweets 0 likes -
Replying to @insurrealist
That would be difficult for same reason analyzing intermediate states of Leibniz’s stepped reckoner is difficult (if you remember that convo...)
1 reply 0 retweets 1 like -
Replying to @QuasLacrimas
Maybe, could be a notion like curvature just hanging around waiting to be exploited, I'll have to review some algebraic topo. I don't really remember it well enough, feel free to refresh my mind.
1 reply 0 retweets 0 likes
Question is whether a mechanical deterministic procedure (eg for adding) can be stopped midway through and the result extrapolated from its moments of inertia
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.