Ask HN: What's primary difference between programming and proving math theorems?

I see the same mindset applied when programming and trying to proving a math problem, it's gathering enough input to deliver a step by step algorithm from problem to solution. In case of programming, the solution is runnable by machine. So what's the difference in mindset between the two here ?