How One Programming Language Rewrote Mathematics and Why Software Is Next