Развитие представлений о надежности математического доказательства
Книга посвящена рассмотрению философских проблем, связанных с понятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система логических норм, используемых в доказательстве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую информацию? Автор стремится...
ISBN: 5-354-00891-3
Издательство:
URSS
Дата выхода: ноябрь 2004
Найденных опечаток пока нет
Добавить запись