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