interpreteerbaarheid - Interpretability

In de wiskundige logica , interpreteerbaarheid is een relatie tussen formele theorieën die de mogelijkheid te interpreteren of vertalen in elkaar uitdrukt.

informele definitie

Veronderstel T en S zijn formele theorieën . Licht vereenvoudigde t wordt gezegd dat interpreteerbare in S als en alleen als de taal van T kan worden vertaald in de taal van S zodanig dat S blijkt de vertaling van elke stelling van T. Natuurlijk zijn er enkele natuurlijke omstandigheden op toelaatbare vertalingen hier, zoals de noodzaak van een vertaling naar het domein logische structuur van formules .

Dit concept, samen met zwakke interpreteerbaarheid , werd geïntroduceerd door Alfred Tarski in 1953. Drie andere verwante concepten cointerpretability , logische verdraagzaamheid en cotolerance door geïntroduceerd Giorgi Japaridze in 1992-1993.

Zie ook

Referenties

  • Japaridze, G., en De Jongh, D. (1998) "De logica van bewijsbaarheid" in Buss, S., ed., Handbook of Proof Theory . Noord-Holland: 476-546.
  • Alfred Tarski , Andrzej Mostowski , en Raphael Robinson (1953) onbeslisbare Theorieën . Noord-Holland.