Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана

Подробное описание документа

Перминов В. Я.
   Развитие представлений о надежности математического доказательства / Перминов В. Я. - 2-е изд., стер. - М. : Эдиториал УРСС, 2004. - 239 с. - ISBN 5-354-00891-3.

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

51 Математика
2 экз.
Вы можете получить данный документ в одном из следующих отделов
  1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
  2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
  3. Читальный зал ауд.305л, УЛК, ауд. 305л
  4. Читальный зал ауд.313, ГУК, ауд. 313

Похожие издания

Перминов В. Я.
   Развитие представлений о надежности математического доказательства. - Москва : Изд-во Московского ун-та, 1986. - 239 с.
2 экз.