Развитие представлений о надёжности математического доказательстваКНИГИ » ИНОСТРАННЫЕ ЯЗЫКИ
Название: Развитие представлений о надёжности математического доказательства Автор: Перминов В.Я. Издательство: М.: МГУ Год: 1986 Формат: pdf Страниц: 121 Для сайта:Mirknig.su Размер: 12 mb Язык: Русский Качество: Приемлемое
Книга посвящена рассмотрению философских проблем, связанных с понятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система логических норм, используемых в доказательстве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую информацию? Автор стремится дать ответ на эти и некоторые другие вопросы, касающиеся природы математического доказательства. Обсуждаются мнения философов и математиков по каждой из указанных проблем.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Теория доказательств Название: Теория доказательств Автор: Такеути Г. Издательство: М.: Мир Год: 1978 Cтраниц: 208 Формат: pdf Размер: 32 мб Язык: русский Кроме...
Теория доказательств Название: Теория доказательств Автор: Такеути Г. Издательство: М.: Мир Год: 1978 Формат: PDF Страниц: 412 Размер: 32.9 MB Язык: Русский Книга...
Доказуемое и недоказуемое Название: Доказуемое и недоказуемое Автор: Манин Ю.И. Издательство: Советское радио Год: 1979 Формат: djvu Страниц: 166 (89 разворотов) Размер: 2,4...
Курс Математического анализа т. 1 часть II Название: Курс Математического анализа т. 1 часть II Автор: Э. Гурса Издательство: ГТТИ Год: 1933 Страниц: 235 Формат: pdf и djvu Качество: хорошее...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Развитие представлений о надёжности математического доказательства 
