Конструктивное Действительное Число

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

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

- логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения конструктивной математики. Обычно этот термин рассматривается как синоним термина интуиционистское исчисление высказываний. Однако, при нек-рых специальных интерпретациях конструктивизма интуиционистское исчисление высказываний оказывается неполным. Напр., известная формула Роуза. где A -формула a p, q- пропозициональные переменные, не выводится в интуиционистском исчислении высказываний и в то же вре..

..