О доказательствах

[xjar1]

Здравствуйте!
В своих лекциях Н.А. Вавилов упоминал, что он не верит ни одному доказательству, проведенному человеком.
Получается мы не можем с уверенностью заявлять, что доказательство (любой теоремы) не имеет ошибок?

Пусть, якобы, сейчас мы не видим ошибок в доказательстве, но вдруг когда-нибудь их кто-то найдет?

Но если уж так, то мы также не можем верить доказательствам, проведенных с помощью компьютера, так как в коде программы человек также мог сделать ошибку.

У Вас есть мысли на эту тему?

[vpb]

Есть мысль, что Николай Александрович это сказал в полемическом задоре. Что реально, это то, что (1) люди должны более тщательно готовить свои тексты с доказательствами, и (2) проверять тексты друг друга. Существование тьмы доказательств с ошибками и пробелами --- это человеческая проблема, а не компьютерная или философская. Имхо.

[grizzly]

xjar1 в сообщении #1324007 писал(а):

У Вас есть мысли на эту тему?

Наберите в поиске форума "Вавилов доказательства" и сможете посмотреть, что думают участники форума по этому вопросу (там совсем немного результатов, но некоторые нужно смотреть с окрестностями).