Подробное описание документа
Перминов В. Я.
Развитие представлений о надежности математического доказательства / Перминов В. Я. - 2-е изд., стер. - М. : Эдиториал УРСС, 2004. - 239 с. -
Книга посвящена рассмотрению философских проблем, связанных с по- нятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система логических норм, используемых в доказательатве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую инфсрмацию? Автор стремится дать ответ на эти и некоторые другие вопросы, касающиеся природы математического доказательства. Обсуждаются мнения философов и математиков по каждой из указанных проблем.
Для студентов философских и физико-математических специальностей, а также для всех тех, кто интересуется философскими проблемами современной науки.
51 Математика2 экз.![]()
- Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
- Преподавательский абонемент ауд.313, ГУК, ауд. 313
- Читальный зал ауд.305л, УЛК, ауд. 305л
- Читальный зал ауд.313, ГУК, ауд. 313
Похожие издания
Развитие представлений о надежности математического доказательства. - Москва : Изд-во Московского ун-та, 1986. -