Interpretovatelnost - Interpretability

v matematická logika, interpretovatelnost je vztah mezi formálními teoriemi, který vyjadřuje možnost tlumočení nebo překladu jedné do druhé.

Neformální definice

Převzít T a S jsou formální teorie. Mírně zjednodušeno, T se říká, že je interpretovatelný v S pouze a jen v případě, že jazyk T může být přeloženo do Jazyk z S takovým způsobem, že S dokazuje překlad každého teorém z T. Samozřejmě zde existují určité přirozené podmínky přípustných překladů, například nutnost překladu zachovat logickou strukturu vzorce.

Tento koncept spolu s slabá interpretovatelnost, byl představen Alfred Tarski v roce 1953. Tři další související pojmy jsou interpretovatelnost, logická tolerance, a cotolerance, představil Giorgi Japaridze v letech 1992–93.

Viz také

Reference

  • Japaridze, G. a De Jongh, D. (1998) „Logika prokazatelnosti“ v Buss, S., ed., Příručka teorie důkazů. Severní Holandsko: 476–546.
  • Alfred Tarski, Andrzej Mostowski, a Raphael Robinson (1953) Nerozhodnutelné teorie. Severní Holandsko.