해석 가능성
Interpretability수학 논리학에서 해석가능성은 하나를 다른 것으로 해석하거나 번역할 수 있는 가능성을 표현하는 형식 이론 사이의 관계다.
비공식적 정의
T와 S가 형식적인 이론이라고 가정하자.약간 간결하게, T는 S의 언어를 S의 언어로 번역할 수 있는 경우에만 S로 해석할 수 있다고 한다.물론 여기에는 논리 구조를 보존하기 위한 번역의 필요성 등 허용 가능한 번역에 관한 몇 가지 자연조건이 있다.공식의
이 개념은 약한 해석성과 함께 1953년 알프레드 타르스키에 의해 도입되었다.1992-93년 Giorgi Japaridze가 도입한 그 밖의 세 가지 관련 개념은 공해성, 논리적 허용성, 공해성이다.
참고 항목
참조
- Japaridze, G, 그리고 De Jongh, D. (1998) 버스, S, ED, 증명 이론의 "증거의 논리".노스홀랜드: 476–546.
- 알프레드 타르스키, 안드르제지 모스토프스키, 그리고 라파엘 로빈슨(1953) 불가해한 이론들.노스홀랜드.
