Невычислимость нестандартной модели арифметики

[akiva]

Невычислимость нестандартной модели арифметики. Под невычислимостью понимается, что функции, которыми интерпретируются в такой модели символы + и *, не могут быть одновременно вычислимы. Что можете рассказать на эту тему? У Булоса и Джеффриса ("Вычислимость и логика", параграф 17) рассказывается о существовании нестандартных моделей и немного о том, как они устроены. Однако как к ним применить вычислимость?