Обложка Целищев В.В. Эпистемология математического доказательства
Id: 196951

Эпистемология математического доказательства

2006. 212 с. ISBN 5-98901-010-9. Мелованная бумага.
  • Мягкая обложка
Серия: Новая философия математики.

Аннотация

В монографи отражены исследования в области философииматематики, важные для понимания природы математического доказательства, в частности, двух типов доказателства - "по озарению" и комбинаторного. Значительная часть книги посвящена проблемам компьютерного доказатльства .Книга предназначена всем интересующимся философией математики.


Об авторе
Целищев Виталий Валентинович
Доктор философских наук, директор Института философии и права Сибирского отделения Российской академии наук (г. Новосибирск, Академгородок). Автор около 15 монографий по философии логики и математики. Перевел с английского несколько важнейших работ философов Англии и Америки.