4 ms·
Thus we cannot build general purpose tools to tell us if our program is correct as there is no general rigourus mathematical proof that we can apply. Any attem
by dottrap 11y ago
Thus we cannot build general purpose tools to tell us if our program is correct as there is no general rigourus mathematical proof that we can apply.
Any attempt would require heuristics which are not guaranteed to work.
- dottrap 11y agoObligatory xkcd https://xkcd.com/1266/ https://xkcd.com/1266/
- seanwilson 11y agoThere is no algorithm to prove the correctness of programs in general but you can still prove correctness of specific programs.