Comment programs are theorems (Score 1) 1086
The activity of programming is the art of solving problems. This ability is learned by math.
In fact a program is a theorem..... so learning to prove help find algorithms and programming.
Many others aspect of programming are related to math : abstarction, logic, modeling, deducing, ....
