Философская энциклопедия - конструктивный объект

КОНСТРУКТИВНЫЙ ОБЪЕКТ

КОНСТРУКТИВНЫЙ ОБЪЕ́КТ

одно из осн. понятий математики, совр. формальной логики и теории алгоритмов. Конструктивными наз. объекты, построение или рассмотрение к-рых возможно в рамках абстракции потенциальной осуществимости при противопоставлении ее абстракции актуальной бесконечности. К числу К.

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

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.

.