&gt; You seem to be mixing up where the &quot;for all&quot; lies.<p>Not at all. My original objection was to the claim that a program could be proven correct, without any qualifiers. Any program, not all programs. As stated, it&#x27;s a false claim.<p>Your detailed comparison doesn&#x27;t apply to my objection, which is to an unqualified claim.<p>&gt; everyone points this out ...<p>Again, this is a logical error. Science is not a popularity contest, and in this specific context, straw polls resolve nothing.<p>&gt; you just ignore it and get louder.<p>I wonder if you know how to have a discussion like this, in which there are only ideas, no personalities, and no place for <i>ad hominem</i> arguments?