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

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

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

Аннотация

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