4 ms·
Mathematically proving correct is possible if you have a formal mathematical definition to prove against. So what you're doing is translating the problem from o
by thibauts 13y ago
Mathematically proving correct is possible if you have a formal mathematical definition to prove against. So what you're doing is translating the problem from one language to another. This is not the same at all as programming to solve user's problems where the only formal definition is the program itself. The most we can do in this respect is proving the correctness of small parts of ours programs with tests, i guess.