That's true for ordinary programs, but this is math, not software. Glancing at the code in this case is kind of like glancing through some program's object code

That's true for ordinary programs, but this is math, not software. Glancing at the code in this case is kind of like glancing through some program's object code or disassembly and trying to understand how it works: theoretically possible in principle, but not really doable in practice. In math the proper analogue to "glancing at the code" is "skimming the paper", which is here: http://psoup.math.wisc.edu/papers/h2l.pdf http://psoup.math.wisc.edu/papers/h2l.pdf