> I find that the appeal of programming languages, their strength, fades away in the face of pure mathematics anyway.

The appeal and strength of a programming language is its ability to be executed, something that pure mathematics does not and cannot ever have.