Re:How to Read Proofs Faster: A Summary of Useful Advice
by skrebbel on Monday July 07, 2014 @03:55AM
(#7997596)
Fully agree, and thanks for writing it up so clearly. I'll be bookmarking your comment.
The same problem happens in computer science research. A lot of the formal CS proofs and axioms and rulesets and all that are very badly and informally written. All variables are single-character (preferably from a non-latin character set, because hey, why use `contextSet` when you can write Ξ). Variables are overloaded, often even inside the same scope.
In fact, I've seen proofs about variable binding and scoping where the proofs themselves contained unbound, undefined variables named "a". That's like writing your healthy lifestyle blog from the McDonald's.
The same problem happens in computer science research. A lot of the formal CS proofs and axioms and rulesets and all that are very badly and informally written. All variables are single-character (preferably from a non-latin character set, because hey, why use `contextSet` when you can write Ξ). Variables are overloaded, often even inside the same scope.
In fact, I've seen proofs about variable binding and scoping where the proofs themselves contained unbound, undefined variables named "a". That's like writing your healthy lifestyle blog from the McDonald's.