|
Название: Развитие представлений о надёжности математического доказательства
Автор: Перминов В.Я.
Издательство: М.: МГУ
Год: 1986
Формат: pdf
Страниц: 121
Для сайта: litmy.ru
Размер: 12 mb
Язык: Русский
Качество: Приемлемое
Книга посвящена рассмотрению философских проблем, связанных с понятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система логических норм, используемых в доказательстве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую информацию? Автор стремится дать ответ на эти и некоторые другие вопросы, касающиеся природы математического доказательства. Обсуждаются мнения философов и математиков по каждой из указанных проблем.
|
Автор: igor_gin 2-11-2018, 17:08 | Напечатать
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
|
|
|
Разделы сайта
Авторизация
Реклама
Развитие представлений о надёжности математического доказательства 
