Трансфинитная Индукция

91

Принцип, позволяющий утверждать суждение (х)для любого элемента хвполне упорядоченного класса Е, если установлено, что для всякого из истинности (у)для всех y<z следует истинность A(z). Когда Е- отрезок ординалов, меньших эквивалентна такая формулировка. Если и сохраняется при предельном переходе то для любого Частным случаем Т. И. Является математическая индукция. Если отношение <. На классе Езадает фундированное дерево (т. Е. Дерево, все ветви к-рого обрываются), то Т. И. Для такого Еэквивалентна бар-индукции. из того, что Аверно для всех концевых вершин и наследуется при движении от них к корню, следует, что Аверно для корня. Эта форма важна в интуиционистской математике. Доказуемостью Т. И. До различных ординалов измеряют дедуктивную силу формальных систем.

Г. Е. Минц.

Значения в других словарях
Транспонированные Уравнения

1) Т. У. Для линейных алгебраич. Систем - уравнения, имеющие транспонированные матрицы. 2) Т. У. Для линейных интегральных уравнений - уравнения с ядрами К( х, у )и К( у, х). Т. У. Наз. Также союзными, ассоциированными, присоединенными уравнениями. ..

Транспортная Задача

- один из наиболее важных частных случаев общей задачи линейного программирования. Содержательно Т. З. Формулируется следующим образом. Пусть в пунктах A1, А2, . ., А т производится нек-рый однородный продукт, причем объем производства лого продукта в пункте А i составляет а i единиц, i=1, . ., т. Произведенный в пунктах производства продукт должен быть доставлен в пункты потребления B1, В2, . ., В n, причем объем потребления в пункте В j составляет bj единиц продукта. Предполагается, ..

Трансфинитная Последовательность

элементов данного множества X - отображение нек-рого отрезка или полуинтервала порядковых (трансфинитных) чисел в множество X. Элементом, или членом, Т. П. (соответственно Т. П. наз. Упорядоченная пара (соответственно Которая обозначается через Л. Д. Кудрявцев. ..

Трансфинитная Рекурсия

метод определения функций, заданных на ординалах (см. Порядковое число )или вообще на множествах, наделенных ординальной структурой. Определяющее уравнение Т. Р. Имеет вид где есть лкусок. ..

Дополнительный поиск Трансфинитная Индукция Трансфинитная Индукция

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Трансфинитная Индукция" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Трансфинитная Индукция, различные варианты толкований, скрытый смысл.

Первая буква "Т". Общая длина 22 символа