>> writing programs is actually equivalent to doing a mathematical proof > Only in the sense that writing in brainfuck is equivalent to writing in Python... A

>> writing programs is actually equivalent to doing a mathematical proof > Only in the sense that writing in brainfuck is equivalent to writing in Python... Actually, in the very concrete sense that a program is a proof for the forumala that is equivalent to its type[0]. [0] https://en.wikipedia.org/wiki/Curry–Howard_correspondence https://en.wikipedia.org/wiki/Curry–Howard_correspondence