Interpretability - Interpretability

W logice matematycznej , interpretability jest relacja między formalnych teorii, która wyraża możliwość interpretacji lub tłumaczenia jedna w drugą.

nieformalna definicja

Załóżmy, T i S są formalne teorie . Nieco uproszczona, T mówi się zinterpretować w S wtedy i tylko wtedy, gdy język T mogą być tłumaczone na język S w taki sposób, że S dowodzi tłumaczenie każdego twierdzenia T. Oczywiście, istnieją pewne warunki naturalne o dopuszczalnych tłumaczeń tutaj, jak konieczności tłumaczenia zachowania logicznej struktury formuł .

Koncepcja ta wraz z słabego interpretability , został wprowadzony przez Alfred Tarskim w 1953. Trzy inne związane z tym pojęcia są cointerpretability , tolerancja logiczne i cotolerance , wprowadzony Giorgi Japaridze w 1992-93.

Zobacz też

Referencje

  • Japaridze, G. De Jongh, D. (1998), "logika dowodliwości" w Buss, S., wyd., Handbook dowodu teorii . Północna Holandia: 476-546.
  • Alfred Tarski , Andrzej Mostowski , a Raphael Robinson (1953) nierozstrzygalny teorie . Północna Holandia.