Аннотация:
В обзоре обсуждается теория предполных нумераций, которые часто встречаются в ряде разделов теории вычислимости. Предполные нумерации тесно связаны с различными вариантами теоремы о неподвижной точке, играющей важную методологическую роль. В ряде случаев этот подход позволяет заменить громоздкие доказательства, связанные с так называемым методом приоритета, изящными и простыми применениями этой теоремы. В некотором смысле статья охватывает часть теории вычислимости, в которой можно обойтись элементарными методами.
Образец цитирования:
В. Л. Селиванов, “Предполные нумерации”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 106–134; J. Math. Sci. (N. Y.), 256:1 (2021), 96–124
\RBibitem{Sel18}
\by В.~Л.~Селиванов
\paper Предполные нумерации
\inbook Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета
\serial Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз.
\yr 2018
\vol 157
\pages 106--134
\publ ВИНИТИ РАН
\publaddr М.
\mathnet{http://mi.mathnet.ru/into409}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3940085}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2021
\vol 256
\issue 1
\pages 96--124
\crossref{https://doi.org/10.1007/s10958-021-05422-2}
Цитирование в формате AMSBIB
Обратная связь: