[jibal]

I'm a mathematician AND I understand English. Your statement about the halting problem is not analogous to the one in question and your comment completely ignores my analysis, where I did in fact take "in general" to be universal, not some casual handwavy "usually". Again, as I said, what they apparently meant was (not (for all bugs B, it is possible to find B)), which is analogous to the halting problem statement, but is a completely irrelevant strawman since no one thinks or claims that code review can find all bugs, nor need it. (Likewise it is not possible for any TM to determine whether all programs halt, although there are infinitely many TMs that can determine whether some programs halt ... but this is disanalogous because the halting problem is concerned with "all" whereas code review is concerned with "some".)

I won't respond further.