Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Здравствуйте! В своих лекциях Н.А. Вавилов упоминал, что он не верит ни одному доказательству, проведенному человеком. Получается мы не можем с уверенностью заявлять, что доказательство (любой теоремы) не имеет ошибок?
Пусть, якобы, сейчас мы не видим ошибок в доказательстве, но вдруг когда-нибудь их кто-то найдет?
Но если уж так, то мы также не можем верить доказательствам, проведенных с помощью компьютера, так как в коде программы человек также мог сделать ошибку.
У Вас есть мысли на эту тему?
vpb
Re: О доказательствах
02.07.2018, 19:13
Есть мысль, что Николай Александрович это сказал в полемическом задоре. Что реально, это то, что (1) люди должны более тщательно готовить свои тексты с доказательствами, и (2) проверять тексты друг друга. Существование тьмы доказательств с ошибками и пробелами --- это человеческая проблема, а не компьютерная или философская. Имхо.
Наберите в поиске форума "Вавилов доказательства" и сможете посмотреть, что думают участники форума по этому вопросу (там совсем немного результатов, но некоторые нужно смотреть с окрестностями).