I think that the "right-brained" software engineers and programmers defended, especially in the comments, are probably why so much software sucks so bad. I think Dijsktra overstates the importance of "proving" in programming, but the necessity of mathematical type thinking for a clean design and a clean program is fairly clear.