В монографии отражены исследования в области философии математики, важные для понимания природы математического доказательства, в частности, двух типов доказательства - "по озарению" и комбинаторного. Значительная часть книги посвящена проблемам компьютерного доказательства. Книга предназначена всем интересующимся философией математики.
V monografii otrazheny issledovanija v oblasti filosofii matematiki, vazhnye dlja ponimanija prirody matematicheskogo dokazatelstva, v chastnosti, dvukh tipov dokazatelstva - "po ozareniju" i kombinatornogo. Znachitelnaja chast knigi posvjaschena problemam kompjuternogo dokazatelstva. Kniga prednaznachena vsem interesujuschimsja filosofiej matematiki.
