Tulkinta - Interpretability

Vuonna matemaattinen logiikka , tulkittavuutta on suhde muodollisen teorioita, joka ilmentää mahdollisuutta tulkita tai kääntää sisäkkäin.

Epävirallinen määritelmä

Oletetaan, että T ja S ovat muodollisia teorioita . Hieman yksinkertaistettuna, T: n sanotaan tulkittavan S: llä vain silloin, kun T: n kieli voidaan kääntää S: n kielelle siten, että S todistaa T.: n jokaisen lauseen käännöksen. Tietysti on olemassa joitain luonnollisia olosuhteita. hyväksyttävistä käännöksistä, kuten käännöksen välttämättömyys kaavojen loogisen rakenteen säilyttämiseksi .

Alfred Tarski otti tämän käsitteen yhdessä heikon tulkittavuuden kanssa käyttöön vuonna 1953. Kolme muuta asiaan liittyvää käsitettä ovat tulkittavuus , looginen toleranssi ja yhteistoleranssi , jotka Giorgi Japaridze otti käyttöön vuosina 1992–1993.

Katso myös

Viitteet

  • Japaridze, G. ja De Jongh, D. (1998) "Todennettavuuden logiikka", Buss, S., toim., Handbook of Proof Theory . Pohjois-Hollanti: 476-546.
  • Alfred Tarski , Andrzej Mostowski ja Raphael Robinson (1953) Undecidable Theories . Pohjois-Hollanti.