Интерпретируемость - Interpretability

В математическая логика, интерпретируемость это отношение между формальными теориями, которое выражает возможность интерпретации или перевода одной в другую.

Неформальное определение

Предполагать Т и S находятся формальные теории. Слегка упрощено, Т как говорят интерпретируемый в S тогда и только тогда, когда язык Т может быть переведено в язык из S таким образом, что S доказывает перевод каждого теорема из Т. Конечно, здесь есть некоторые естественные условия для допустимых переводов, такие как необходимость в переводе для сохранения логической структуры формулы.

Эта концепция вместе с слабая интерпретируемость, был представлен Альфред Тарский в 1953 году. Три других связанных понятия: интерпретируемость, логическая терпимость, и толерантность, представлен Георгий Джапаридзе в 1992–93 гг.

Смотрите также

• Интерпретация (логика)
• Интерпретация (теория моделей)
• Логика интерпретируемости

использованная литература

• Джапаридзе, Г., и Де Йонг, Д. (1998) «Логика доказуемости» в Buss, S., ed., Справочник по теории доказательств. Северная Голландия: 476–546.
• Альфред Тарский, Анджей Мостовски, и Рафаэль Робинсон (1953) Неразрешимые теории. Северная Голландия.