1 paper · 1 filter
Bob Osano
For decades, university mathematics assessed executable procedure, computing and reproducing standard proofs, as a proxy for the understanding it cared about, because procedure was…