Конструктивная Теория Функций

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

..

конструктивная функция,- понятие функции одного и многих действительных переменных, используемое в конструктивной математике. Предложено А. А. Марковым. Может трактоваться как частный случай понятия алгоритмического оператора в конструктивных метрич. Пространствах. См. Также Конструктивный анализ, Конструктивное метрическое пространство. Б. А. Кушнер.. ..

принцип Маркова,- логико-философский принцип конструктивной математики, выдвинутый А. А. Марковым [1], [2] и в общей форме утверждающий, что если конструктивный процесс, заданный нек-рым предписанием, не является неограниченно продолжаемым, то он заканчивается. В конструктивной математике получили применение несколько конкретных, содержательно эквивалентных разновидностей этого принципа. 1) Пусть W- нормальный алгорифм, Р- слово в его алфавите. Тогда, если опровергнуто предположение о неприме..