WikiDer > Интерпретируемость
В математическая логика, интерпретируемость это отношение между формальными теориями, которое выражает возможность интерпретации или перевода одной в другую.
Неформальное определение
Предполагать Т и S находятся формальные теории. Слегка упрощено, Т как говорят интерпретируемый в S тогда и только тогда, когда язык Т может быть переведено в язык из S таким образом, что S доказывает перевод каждого теорема из Т. Конечно, здесь есть некоторые естественные условия для допустимых переводов, такие как необходимость в переводе для сохранения логической структуры формулы.
Эта концепция вместе с слабая интерпретируемость, был представлен Альфред Тарский в 1953 году. Три других связанных понятия: интерпретируемость, логическая терпимость, и толерантность, представлен Георгий Джапаридзе в 1992–93 гг.
Смотрите также
использованная литература
- Джапаридзе, Г., и Де Йонг, Д. (1998) «Логика доказуемости» в Buss, S., ed., Справочник по теории доказательств. Северная Голландия: 476–546.
- Альфред Тарский, Анджей Мостовски, и Рафаэль Робинсон (1953) Неразрешимые теории. Северная Голландия.
 | Эта логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |