The Deep Link Equating Math Proofs and Computer Programs

 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…

Source

 Read More 

Leave a Comment

Your email address will not be published. Required fields are marked *

Scroll to Top