It also turns out that code is mathematical proofs and proofs are code, thanks to the Curry-Howard isomorphism. https://en.wikipedia.org/wiki/Curry%E2%80%93Howa

It also turns out that code is mathematical proofs and proofs are code, thanks to the Curry-Howard isomorphism. https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...