Обсуждение:Вычислимые функции

ToDo

Номера определений надо б внести в строку «Определение».
«…программа заканчивается на входе [math]n[/math]…» Мне кажется, с этой фразой что-то не так. Потому что понять с первого раза её оочень нетривиально. (подсказка: программа завершает свою работу)
Думаю, «замечание» надо выделить как-нибудь по-другому.
«вычислимой функции для счетных множеств»: «е» [math]\rightarrow[/math] «ё».
Я никогда не слышал об «области изменения» функции. Поменяй на классическое «область значений». Евгений Лукьянец