> Programming isn't analogous to math https://en.wikipedia.org/wiki/Curry-Howard...

		mdellabitta on Jan 9, 2014 \| parent \| context \| favorite \| on: Poll: What level of math is programming roughly an... > Programming isn't analogous to math https://en.wikipedia.org/wiki/Curry-Howard_isomorphism