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

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

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

1) Ч. Т. О неустойчивости - общие теоремы о неустойчивости движения, установленные Н. Г. Четаевым для уравнений возмущенного движения вида правые части к-рых Xs - голоморфные функции относительно действительных переменных xs с коэффициентами, являющимися непрерывными и ограниченными функциями действительной переменной - времени t, определенные в нек-рой области причем Xs(t,0, . , 0) = 0. Ч. Т. Даны в двух формулировках. С двумя функциями V, W и с одной функцией V. Под функциями V, . Понима..

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