Cтраница 4
Частным К / 95 назовем класс тех - систем, которые изоморфно вкладываются в отдельные смежные классы 95-вербаль-ных фактор-систем подходящих К-систем. [46]
Для случая, когда в той же ситуации движется бесконечное множество частиц, доказано, что соответствующий поток является К-системой. Природа стохастичности этой системы иная, чем у идеального газа. [47]
По аналогии с теорией стационарных случайных процессов А.Н. Колмогоров вводит понятие квазирегулярной динамической системы, или, в современной терминологии, К-системы. Важность этого понятия для изучения эргодических свойств динамических систем обнаружилась через несколько лет, когда Я. Г. Синай выяснил, что многие классические динамические системы, не связанные с теорией вероятностей, являются / - системами. [48]
Математический анализ проблемы позволил выявить фундаментальную роль исключений из правил - оказалось, что семантика К-систем трансфинитна, а сами К-системы представляют собой нетривиальное обобщение финитных, в том числе, алгоритмических систем. [49]
Из существования К-неразрешимого множества следует и существование К-неразрешимых проблем, т.е. проблем, для которых разрешающая функция не представима в К-системах. Например, проблема распознавания истинности утверждения п S D для произвольного натурального числа п К-не разрешима. [50]