Re:University of Tokyo Graduate School Entrance Exam – Mathe...
by kbart on Thursday March 16, 2017 @10:46AM
(#13885416)
We don't do math in human language for the same reason we don't write computer programs in human language: it's ambiguous and hard to define abstract objects using it. Only abstraction enables us to operate higher level, non-trivial problems.
[ Parent
| on HN ]
Re:University of Tokyo Graduate School Entrance Exam – Mathe...
by ashark on Thursday March 16, 2017 @10:56AM
(#13885488)
I just wish Math followed programming best-practices on commenting, variable naming, and including tests and their expected output. Bonus for IDE-like tools that can instantly tell me the type of a symbol or show me the expanded version of an operation.