The point that mathematics is the only way is controversial. People say that this does not apply to software. But you could not possibly write software to build airplanes without mathematics. You cannot write software that does 3D graphics without it. You cannot write database software without mathematics. You cannot write a compiler without mathematics. What kind of programs are not mathematical? Programs that are insecure, programs that crash, programs that cannot be easily modified are examples of non-mathematical software. There is, of course, a solid economic reason for producing such programs: they assure world domination on a large scale and job security on a small scale.
-- Alexander Stepanov, "Foundations of
Programming" course notes
