Предполные нумерации

В обзоре обсуждается теория предполных нумераций, которые часто встречаются в ряде разделов теории вычислимости. Предполные нумерации тесно связаны с различными вариантами теоремы о неподвижной точке, играющей важную методологическую роль. В ряде случаев этот подход позволяет заменить громоздкие доказательства, связанные с так называемым методом приоритета, изящными и простыми применениями этой теоремы. В некотором смысле статья охватывает часть теории вычислимости, в которой можно обойтись элементарными методами.