Основания математики. Математическая логика
Эпистемология математического доказательства, В. В. Целищев
Страниц: 212
Год издания: 2006
Язык: Русский
В монографии отражены исследования в области философии математики, важные для понимания природы математического доказательства, в частности, двух типов доказательства - "по озарению" и комбинаторного. ...