Вычислимые по шагам, невычислимые в целом