@haskell_moiseevitch насчёт строгости определений в учебниках — мне вот вспоминается один русскоязычный учебник по вычислимым функциям.
так вот там эти самые вычислимые функции определяются как функции на натуральных числах, для которых существует алгоритм, который их вычисляет. при этом понятию "алгоритм" авторы строгого определения не дают, мол ну и так в наши дни всем всё понятно — зачем в учебнике эта нудятина? я причём не утрирую — они там примерно такую сноску об этом и написали.
вот вам и "манифестация истины" в учебниках.
а сам учебник хороший, кстати. рекомендую.