Изменения
→Определение универсальной функции
|definition =
Две '''вычислимые функции''' (англ. ''computable function'') <tex>f_1</tex> и <tex>f_2</tex> равны при заданных аргументах, если при этих аргументах вычисляющие программы для этих функций зависают, либо равны значения, возвращаемые ими:
*<tex>f_1(nx) = f_2(nx)</tex>*<tex>f_1(nx) = \bot</tex> и <tex> f_2(nx) = \bot</tex>
}}
{{Определение
