형식 시스템의 트랜스버브 이해

Transverberation은 수학자이자 철학자인 Gottlob Frege가 특정 형식 시스템에서 발생하는 자기 참조 유형을 설명하기 위해 만든 용어입니다. 명제나 공식에 직접적이든 간접적이든 자신에 대한 참조가 포함될 때 발생하는 현상입니다. )는 명령문 자체를 포함하여 시스템의 모든 명령문 또는 공식 세트에 적용됩니다. 이는 진술이 그 자체의 의미와 일치하지 않는 방식으로 자신을 언급할 수 있기 때문에 역설적이거나 일관성 없는 결과로 이어질 수 있습니다.

예를 들어, "이 문장은 거짓입니다."라는 진술을 고려하십시오. 이 진술이 사실이라고 가정한다면 그것은 거짓임에 틀림없으며, 이는 그것이 사실일 수 없다는 것을 의미합니다. 이는 논리적 모순을 일으키며 그 진술은 transverberated라고 합니다.

transverberation은 Peano 산술과 같은 특정 형식 시스템에서 발생하는 현상으로 역설적인 결과를 초래할 수 있습니다. 또한 모델 이론과 증명 이론의 맥락에서 연구되어 형식 시스템의 한계와 자기 참조의 본질을 탐구하는 데 사용됩니다.