jeremykun.com
Methods of Proof — Diagonalization
A while back we featured a post about why learning mathematics can be hard for programmers, and I claimed a major issue was not understanding the basic methods of proof (the lingua franca between i…