The article did mention that even with a “perfect” theory , there may be mistakes in the proof or the implementation may go wrong. I don’t remember him saying so as clearly in earlier writings as he did in this comment, so it’s good we raised the issue.
Thanks, at least I corrected the typo.
The article did mention that even with a “perfect” theory , there may be mistakes in the proof or the implementation may go wrong. I don’t remember him saying so as clearly in earlier writings as he did in this comment, so it’s good we raised the issue.