Добрый день!
Растолкуйте кто-нибудь это место в статье "Programming Considered as a Human Activity":

The programmer's situation is closely analogous to that of the pure mathematician, who develops a theory and proves results. For a long time pure mathematicians have thought -- and some of them still think -- that a theorem can be proved completely, that the question whether a supposed proof for a theorem is sufficient or not, admits an absolute answer "yes" or "no". But this is an illusion, for as soon as one thinks that one has proved something, one still has the duty to prove that the first proof was flawless, and so on, ad infinitum! One can never guarantee that a prove is correct, the best one can say is: "I have not discovered any mistakes". We sometimes flatter ourselves with the idea of giving watertight proofs, but in fact we do nothing but make the correctness of our conclusions plausible. So extremely plausible, that the analogy may serve as a great source of inspiration

Что я понял: Дейкстра считает, что любая теорема не может быть доказана однозначно, т.к. у всякой теоремы есть предпосылки, а они в свою очередь тоже не могут быть доказаны однозначно.