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