&gt; It is possible to write provably correct code.<p>How many modern programmers hold this mistaken belief? It&#x27;s false -- the Turing Halting problem (<a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Halting_problem" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Halting_problem</a>) demonstrates that one cannot establish that a non-trivial program is &quot;provably correct.&quot;<p>It seems the OP got carried away with his rhetoric, and the way he put it is simply wrong.