Mathematical logic and the code of computer programs are, in an exact way, mirror images of each other. The post The Deep Link Equating Math Proofs and Computer Programs first appeared on Quanta Magazine
Some scientific discoveries matter because they reveal something new — the double helical structure of DNA, for example, or the existence of black holes. However, some revelations are profound because they show that two old concepts, once thought distinct, are in fact the same. Take James Clerk Maxwell’s equations showing that electricity and magnetism are two aspects of a single phenomenon…