Перминов В.Я.: Развитие представлений о надежности математического доказательства
Скачать книгу (размер 1 217 Kb , формат fb2, страниц 240) Аннотация: Книга посвящена рассмотрению философских проблем, связанных с понятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система логических норм, используемых в доказательстве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую информацию? Автор стремится…