Развитие представлений о надёжности математического доказательстваКНИГИ » ИНОСТРАННЫЕ ЯЗЫКИ
Название: Развитие представлений о надёжности математического доказательства Автор: Перминов В.Я. Издательство: М.: МГУ Год: 1986 Формат: pdf Страниц: 121 Для сайта:mymirknig.ru Размер: 12 mb Язык: Русский Качество: Приемлемое
Книга посвящена рассмотрению философских проблем, связанных с понятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система логических норм, используемых в доказательстве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую информацию? Автор стремится дать ответ на эти и некоторые другие вопросы, касающиеся природы математического доказательства. Обсуждаются мнения философов и математиков по каждой из указанных проблем.
Навигация
Вход на сайт
Реклама
Развитие представлений о надёжности математического доказательства 
