Q quantamagazine.org Proofs based on diagonalization help reveal the limits of algorithms 85 points nsoonhui 3 years ago 69 comments