Уроки конструктивизма

Книга излагает основные направления конструктивной математики (интуиционизм, советский конструктивизм, промежуточные концепции) с точки зрения современной теоретической информатики. При этом все концепции перерабатываются таким образом, чтобы они могли быть применены к нечисловым структурам данных (алгебраическим, топологическим) и применены к системам программирования высокого уровня. Основные используемые математические инструменты: логика, топология, алгебра, теория категорий. Показаны принципиально новые методы формализации и анализа понятий, разработанные в конструктивных направлениях. Разобраны уроки попыток прямого приложения конструктивизма к несовершенным программным системам. Дается также введение в недавно появившиеся разделы конструктивизма, работающие с реальной осуществимостью и ограниченными ресурсами. Завершается книга манифестом прикладного конструктивизма.