High Quality Content by WIKIPEDIA articles! Weak interpretability is a special case of the concept of tolerance introduced by Giorgi Japaridze in 1992. Assume T and S are formal theories. Slightly simplified, T is said to be weakly interpretable in S if, and only if, the language of T can be translated into the language of S in such a way that the translation of every theorem of T is consistent with S. Of course, there are some natural conditions on admissible translations here, such as the necessity for a translation to preserve the logical structure of formulas.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.