2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




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

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

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

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

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

 
 
 
 Re: О доказательствах
Сообщение02.07.2018, 19:51 
Аватара пользователя
xjar1 в сообщении #1324007 писал(а):
У Вас есть мысли на эту тему?
Наберите в поиске форума "Вавилов доказательства" и сможете посмотреть, что думают участники форума по этому вопросу (там совсем немного результатов, но некоторые нужно смотреть с окрестностями).

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group