В монографии отражены исследования в области философии математики, важные для понимания природы математического доказательства, в частности, двух типов доказательства - "по озарению" и комбинаторного. Значительная часть книги посвящена проблемам компьютерного доказательства. Книга предназначена всем интересующимся философией математики. Это и многое другое вы найдете в книге Эпистемология математического доказательства (В. В. Целищев)
Эпистемология математического доказательства В. В. Целищев
Подробная информация о книге «Эпистемология математического доказательства В. В. Целищев». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Эпистемология математического доказательства В. В. Целищев»
