Чёрча Тезис

170

- принцип, согласно к-рому класс функций, вычислимых с помощью алгоритмов в широком интуитивном смысле, совпадает с классом частично рекурсивных функций. Ч. Т.- это естественнонаучный факт, подтверждаемый опытом, накопленным в математике за всю ее историю. Все известные в математике примеры алгоритмов удовлетворяют ему. Ч. Т. Впервые был высказан А. Чёрчем (A. Church, 1936). Различным уточнениям интуитивного понятия алгоритма соответствуют свои формулировки Ч. Т. Тезис Тьюринга заключается в том, что всякая вычислимая в интуитивном смысле функция вычислима с помощью нек-рой Тьюринга машины, апринцип нормализации Маркова - в том, что всякая вычислимая в интуитивном смысле функция вычислима с помощью нек-рого нормального алгорифма.

Из эквивалентности известных уточнений понятия алгоритма следует эквивалентность соответствующих вариантов Ч. Т. Этот факт является еще одним подтверждением Ч. Т. Тезис Чёрча не может быть строго доказан, так как в его формулировке участвует неточное понятие лалгоритм в интуитивном смысле.

Значения в других словарях
Чезаро Методы Суммирования

- совокупность методов суммирования числовых и функциональных рядов. Введены Э. Чезаро [1]. Обозначаются символом ( С, k). Ряд с частичными суммами Sn суммируем методом Чезаро порядка k,( С, k )-суммируем, к сумме S, если где и определяются как коэффициенты разложений Выражения для и можно представить в виде Метод ( С, k )является матричным методом суммирования с матрицей При k = Q метод совпадает с обычной сходимостью, при k=1 есть метод средних арифметических. Методы ( С, k )в..

Чепмена - Энскога Метод

способ получения решения Болъцмана уравнения (кинетического) для одночастичной функции распределения f (t, r, v), являющийся своеобразным методом последовательных приближений, в к-ром локальное распределение Максвелла определяется стандартной формулой, но с локальными значениями плотности числа частиц n(t, r), гидродинамич. Скорости и(t, r )и температуры используется в качестве нулевого приближения, а условием существования решения для следующих приближений является выполнение гидродинамич. ..

Чёрча-абстракция

ЧЁРЧА -АБСТРАКЦИЯ-способ введения функций в языках математич. Логики, в особенности в комбинаторной логике. А именно, если в нек-ром точном языке определен терм А. выражающий объект теории и зависящий от параметров x1, . , х п (и, может быть, также от других параметров), то служит в языке обозначением функции, перерабатывающей значения аргументов х 1, . , х п в объект, выражаемый термом A. Выражение (*) и наз. Ч. -а. Эта Ч. -а., наз. Также явным определением функций, употребляется чаще..

Четаева Принцип

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

Дополнительный поиск Чёрча Тезис Чёрча Тезис

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

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

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