Как конструктивные объекты применяются в современной математике и логике?

Конструктивные объекты применяются в современной математике и логике следующим образом:

В математике конструктивные объекты используются в конструктивном направлении, где на их основе строится ряд математических дисциплин, в том числе конструктивный математический анализ (элементы функционального анализа, дифференциальные уравнения, теория функций комплексного переменного). 3 В виде конструктивных объектов могут быть заданы и алгоритмы точно охарактеризованных типов (например, машины Тьюринга или нормальные алгоритмы Маркова). 1

В логике конструктивные объекты применяются в конструктивной логике — разделе современной математической логики, изучающем рассуждения о конструктивных объектах и процессах. 2 Ограничение рассуждений конструктивными объектами и процессами определённым образом изменяет понимание логических связок и кванторов по сравнению с их пониманием в классической логике. 2 Например, существование конструктивного объекта считается доказанным лишь в том случае, если указан способ потенциально осуществимого его построения — конструирования. 2