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

редактировать

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

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

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

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

См. Также

Ссылки

.

Последняя правка сделана 2021-05-24 05:04:33
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте