Здравствуйте, Antalas, Вы писали:
A>Что я понял: Дейкстра считает, что любая теорема не может быть доказана однозначно, т.к. у всякой теоремы есть предпосылки, а они в свою очередь тоже не могут быть доказаны однозначно.
Дейкстра говорит что, строго говоря, ни одно доказательство нельзя считать безупречным, потому что в нем возможны ошибки или недочеты, которые никто не заметил. Действительно, в истории математики известны случаи, когда некое сложное доказательство было известно в течении нескольких лет, и только по прошествии значительного времени кто-либо обращал внимание на существенный недостаток, лишающий его доказательной силы.