В.Я. Перминов

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

Издательство: URSS
Дата выхода: ноябрь 2004

Книга посвящена анализу философских вопросов, связанных с проблемой обоснования математики. Автор предлагает принципиально новые подходы к решению этих вопросов, основанные на понимании априорной природы исходных математических идеализаций.

Издательство: Прогресс
Дата выхода: январь 2001