Hacker News new | ask | show | jobs
Methods of Proof – Diagonalization (jeremykun.com)
65 points by scriptle 4026 days ago