I'm really not sure I agree; programming is necessarily an engineering discipline and by nature requires a far looser, fuzzier approach than maths; though there

I'm really not sure I agree; programming is necessarily an engineering discipline and by nature requires a far looser, fuzzier approach than maths; though there is of course a mathematical foundation to modern computers (the Turing Machine is named after a mathematician, after all), in general the highly formal essentially mathematical approach is something a programmer rarely has use for, though formal proofs of correctness are certainly useful in some areas of programming (and perhaps in the future will apply to far more.) Ultimately we program for people rather than machines, I hardly think you can describe readability, maintainability and elegance as bullshit. You can just as well program a correct algorithm with one-letter variable names and horrible nested gotos, but I'm sure the guy who has to maintain that will hardly describe the difficulties with understanding and maintaining the code as bullshit.