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

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

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

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

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

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

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

Ссылки

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

Эта статья о логике - незавершенная . Вы можете помочь Википедии, расширив ее . v т е