WikiDer > Tushuntirish

Interpretability

Yilda matematik mantiq, izohlash talqin qilish yoki ikkinchisiga tarjima qilish imkoniyatini ifodalovchi rasmiy nazariyalar o'rtasidagi munosabatdir.

Norasmiy ta'rif

Faraz qiling T va S bor rasmiy nazariyalar. Biroz soddalashtirilgan, T deb aytilgan izohlanadigan yilda S agar va faqat til bo'lsa T bolishi mumkin tarjima qilingan ichiga til ning S shunday qilib S har birining tarjimasini isbotlaydi teorema ning T. Albatta, bu erda qabul qilinadigan tarjimalarda ba'zi tabiiy sharoitlar mavjud, masalan, tarjimaning mantiqiy tuzilishini saqlab qolish zarurati. formulalar.

Ushbu kontseptsiya bilan birgalikda zaif talqin qilishtomonidan kiritilgan Alfred Tarski 1953 yilda. Uchta boshqa tegishli tushunchalar o'zaro tushuntirish, mantiqiy bag'rikenglikva murosasizliktomonidan kiritilgan Giorgi Japaridze 1992–93 yillarda.

Shuningdek qarang

Adabiyotlar

  • Japaridze, G., and De Jongh, D. (1998) Buss, S., ed., "Isbotlash mantig'i". Isbot nazariyasining qo'llanmasi. Shimoliy-Gollandiya: 476-546.
  • Alfred Tarski, Andjey Mostovskiva Rafael Robinson (1953) Qarorga ega bo'lmagan nazariyalar. Shimoliy-Gollandiya.