Развитие представлений о надежности математического. 2-е изд., стер
В. Я. Перминов
Книга посвящена рассмотрению философских проблем, связанных с понятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система логических норм, используемых в доказательстве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую информацию? Автор стремится...
ISBN: 9785354008919
Издательство:
Едиториал УРСС
Дата выхода: октябрь 2023
Найденных опечаток пока нет
Добавить запись