Neat! I'm currently interested in the formal systems that chug away behind my art. Lots of it evolves out of mistakes and bumbles, but they would be nice to codify into shape grammars and such for a computer.
I guess there is a question though, can a formal understanding be useful from the start, or is it important to experiment to find novel things, then shore things up after the fact? 🤷♂️
Useful? Yes. Critical? No. How many kids have you met who say, "I love math"? Start first with the wonder & creativity & empowerment. I was hooked the first time I plotted pixels on a green CRT in the '80s to make games — not by the vector math I didn't know I was learning.
Also think our teaching of math could be far better, one of the reasons why kids are conditioned to hate it. See “A Mathematician's Lament” by Paul Lockhart. Alas we have to work with what we have.
It probably could be, and if it's at all possible, certainly should be. That said, I view math as a means, not an end. I certainly respect it — I sure didn't get my compsci degree by ignoring the math! — but it's a tool, a very powerful tool, but only one of many in my toolbelt.