3 ms·I've always felt that formal logic has been more useful to programming than math has for me.by mruts 7y agoI've always felt that formal logic has been more useful to programming than math has for me.