|
akiva |
Невычислимость нестандартной модели арифметики  12.06.2014, 23:58 |
|
12/06/14
1
|
|
Невычислимость нестандартной модели арифметики. Под невычислимостью понимается, что функции, которыми интерпретируются в такой модели символы + и *, не могут быть одновременно вычислимы. Что можете рассказать на эту тему? У Булоса и Джеффриса ("Вычислимость и логика", параграф 17) рассказывается о существовании нестандартных моделей и немного о том, как они устроены. Однако как к ним применить вычислимость?
|
|
|
|
 |
  |
Страница 1 из 1
|
[ 1 сообщение ] |
|
Модераторы: Модераторы Математики, Супермодераторы
