> This is why I think it be important to have a language designed to express algorithms and can be verified of correctness to a certain point.

Do you mean math?