Перминов В.Я.: Развитие представлений о надежности математического доказательства

Перминов В.Я.: Развитие представлений о надежности математического доказательства

Скачать книгу (размер 1 217 Kb , формат fb2, страниц 240) 

Жанр : Разное
Издательство : Эдиториал УРСС
Год издания : 2004

Аннотация:

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

Добавить комментарий

Для отправки комментария вы должны авторизоваться.