stringtranslate.com

Слабая интерпретируемость

В математической логике слабая интерпретируемость — это понятие перевода логических теорий, введенное вместе с интерпретируемостью Альфредом Тарским в 1953 году.

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

Обобщение слабой интерпретируемости — толерантность — было введено Георгием Джапаридзе в 1992 году.

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

Ссылки