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