The deep link equating math proofs and computer programsquantamagazine.org249 pointsdigital553 years ago