Конструктивная математика

InBox

Конструктивная математика в определённом смысле "инженерна". Марков исследовал конструктивные процессы и конструктивные объекты, отрицая существование таких абстракций, как актуальная бесконечность. Характерной чертой конструктивных объектов является "износ", поскольку они не существуют вечно.