The definition of a halting probability relies on the existence of a prefix-free universal computable function.
Определение вероятности остановки основывается на существовании префиксных универсальных вычислимых функций.