Конструктивная Функция Действительного Переменного

..

- понятие, введенное С. Н. Бернштейном, назвавшим К. Т. Ф. "направление теории функций, которое ставит себе целью дать возможно более простую и удобную основу для качественного изучения и вычисления как эмпирических функций, так и всяких функций, являющихся решениями естественно поставленных задач математического анализа" [1]. Имелось в виду, что К. Т. Ф. Должна содержать теорию приближения (аппроксимации) функций в качестве одного из своих разделов. Однако фактически название К. Т. Ф. Получило ..

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

понятие действительного числа, употребляемое в конструктивной математике. В более широком смысле - действительное число, конструируемое в соответствии с тем пли иным кругом конструктивных средств. Близкое значение имеет термин "вычислимое действительное число", обычно употребляемый в тех ситуациях, когда не ставится цель изначального, нетрадиционного построения континуума, а речь идет просто о классических действительных числах, вычислимых в том или ином смысле посредством нек-рых алгоритмов...