Yes, mathematics has been, is, and will be at the cutting edge of software engineering. For historical examples: consider Turing, Knuth, and Page & Brin. For

Yes, mathematics has been, is, and will be at the cutting edge of software engineering. For historical examples: consider Turing, Knuth, and Page & Brin. For current examples: consider High Performance Computing (HPC), Data Science, and Data Engineering. For future examples: wait and see (or study math in the present). Also, consider etymology: computers are machines that preform computations; software is code that directs computations and their results on computers; software engineers create code that directs computations on computers; computational scientists define the limits of computing on computers that have given properties, and create novel computational solutions to problems; mathematicians discover the theory that computational scientists (and, more generally, all scientists) utilize. Note_0: There is a field at the cutting edge of computation, computational science, that requires the most mathematical knowledge of any discipline that includes the compute stem. Note_1: Math goes beyond providing guarantees of equality, inequality, and equivalence: it is the quantitative basis of computer science (and all science); it provides Boolean logic; it guarantees boundaries/possibilities; and it provides scope.