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