Here’s a heretical claim: most programming is a zeroeth order approximation of rigorous thinking. That’s probably the thing I miss most from math, I miss higher order rigorous thinking.

Here’s a heretical claim: most programming is a zeroeth order approximation of rigorous thinking. That’s probably the thing I miss most from math, I miss higher order rigorous thinking.