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

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

Книга предназначена всем интересующимся философией математики.