A humorous & salient HN comment on what it is like to read complex math as a coder, not mathematician: https://news.ycombinator.com/item?id=6772446
@fredbenenson that math/code gap is such an interesting one to try to bridge. So much potential value but so little mutual comprehension.
-
-
@avibryant I loved his point about "your programmer friend says you should use better names that are more intuitive" but there aren't any -
@fredbenenson@avibryant Instead of ε > 0 you'd get arbitrarily_small_real > 0 which would take too long to write in proofs I guess -
@akm@fredbenenson@avibryant and instead of R, you would have an_equivalence_class_of_cauchy_sequences_in_the_rationals -
@akm@fredbenenson@avibryant Sometimes symbols hide unnecessary detail. It's up to the reader to decide what is relevant. -
@JulietHougland@akm@avibryant so what you're saying is math is a choose your own adventure -
@fredbenenson@JulietHougland@avibryant It's the ultimate collection of invented facts tbqphwy
End of conversation
New conversation -
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.