Добро пожаловать в клуб

Показать / Спрятать  Домой  Новости Статьи Файлы Форум Web ссылки F.A.Q. Логобург    Показать / Спрятать

       
Поиск   
Главное меню
ДомойНовостиСтатьиПостановка звуковФайлыКнижный мирФорумСловарьРассылкаКаталог ссылокРейтинг пользователейЧаВо(FAQ)КонкурсWeb магазинКарта сайта

Поздравляем!
Поздравляем нового Логобуржца alenka.aleks со вступлением в клуб!

Реклама

КНИЖНЫЙ МИР

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

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

60x90/16 240 страниц. 2004 год.
Едиториал УРСС
Книга посвящена рассмотрению философских проблем, связанных с понятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система логических норм, используемых в доказательстве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую информацию? Автор стремится дать ответ на эти и некоторые другие вопросы, касающиеся природы математического доказательства. Обсуждаются мнения философов и математиков по каждой из указанных проблем. Для студентов философских и физико-математических специальностей, а также для всех тех, кто интересуется философскими проблемами современной науки.
 
- Генерация страницы: 0.05 секунд -