Название: Развитие представлений о надёжности математического доказательства
Автор: Перминов В.Я.
Издательство: М.: МГУ
Год: 1986
Формат: pdf
Страниц: 121
Для сайта: litmy.ru
Размер: 12 mb
Язык: Русский
Качество: Приемлемое

Книга посвящена рассмотрению философских проблем, связанных с понятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система логических норм, используемых в доказательстве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую информацию? Автор стремится дать ответ на эти и некоторые другие вопросы, касающиеся природы математического доказательства. Обсуждаются мнения философов и математиков по каждой из указанных проблем.