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

Виталий Целищев

Моя оценка

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

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

Получить эту книгу или продать свою

Перейти
  • Содержание
  • Дополнительная информация об издании

    ISBN: 5-98901-010-9

    Год издания: 2006

    Язык: Русский

    Мягкая обложка, 212стр.
    Тираж: 500
    Формат: 145х215 мм (средний формат)

  • Жанры

Похожие книги

Вы можете посоветовать похожие книги по сюжету, жанру, стилю или настроению. Предложенные вами книги другие пользователи увидят здесь, в блоке «Похожие книги».

Новинки

Смотреть 320

Популярные книги

Смотреть 917