I recognize math as a source of useful ideas. I want a high level overview of what math can do, so that I may draw ideas and solutions from it as needed. I find

I recognize math as a source of useful ideas. I want a high level overview of what math can do, so that I may draw ideas and solutions from it as needed. I find that many proofs are intuitive, although I can't prove them myself; that's OK, I am happy with my fuzzy and fallible intuition here, and it serves me well enough. This is not unlike mathmeticians who often suspect something is true before proving it. Test cases are not proofs. I don't want to write mathematics, I want to write code and maybe draw some fuzzy and fallible human inspiration from mathematics.