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