На сайте Лаборатория космических исследований два года назад выставлен материал Компьютер бесконечных вычислений. Лаборатория внимательно следит за исследованиями математика Ярослава Сергеева. Ссылки на эти видео Ярослав Сергеев переслал по электронной почте.

Данное видео представляет книгу Габриэле Лолли "Философия математики". 

Монография содержит широкий обзор и критический анализ философских программ математики, предложенных на Западе в ХХ столетии. Большое внимание уделено выявлению сущности математического доказательства, а также раскрытию влияния философии математики на саму математику и специалистов, которые ею занимаются. Отличительной особенностью книги является тот факт, что для обсуждения того или иного положения слово предоставляется не только философам, но и математикам. Такой подход является важной и интересной особенностью монографии потому, что во многих других публикациях философские аспекты обычно превалируют, а математические часто отодвигаются на второй план.

В первую очередь монография адресована математикам и философам. Однако и широкий круг специалистов, использующих математику в своей деятельности, аспиранты и студенты математических, философских и естественно-научных факультетов, и все те, кто интересуется основаниями и философией математики, логикой и методологией современной науки найдут эту книгу интересной и полезной.

Книга Габриэле Лолли "Философия математики" прислана в дар Лаборатории космических исследований от редактора перевода Ярослава Сергеева.