I'd like to point out that the mathematical/formal statements are the result of loooong researches. That is, the one who stated them most probably had a real li

I'd like to point out that the mathematical/formal statements are the result of loooong researches. That is, the one who stated them most probably had a real life problem first. Then multiple other ones. Then he built up an understanding of those problem and some kind of intuitions. Then he gathered all of that in a nice formula. When we learn that formula (sometimes) we go the other way around : we see the formula, the maths, the forma stuff and then we try to understand its consequences and see how it fits reality. To me that's a much harder process... Basically : when I see a bridge, I can't figure out how it was built, or why.