형식 언어에서 진리는 정의할 수 없다
알프레드 타르스키의 정리는 진리가 형식 언어 자체 내에서 완전히 정의될 수 없음을 밝혀냈습니다. 이는 논리적 자기 참조의 근본적인 한계를 드러내며 철학에서 AI에 이르는 분야에 영향을 미쳤습니다.
1933년, 논리학자 알프레드 타르스키는 수학과 같은 강력한 형식 언어 내에서 그 언어만으로는 모든 진술의 '진리'를 정의할 수 없음을 보였습니다. 이는 언어가 유명한 거짓말쟁이 역설처럼 역설에 부딪히지 않고는 자체 진리를 완전히 설명할 수 없다는 의미입니다. 타르스키의 해결책은 '대상 언어'에 대해 이야기하기 위해 '메타 언어'를 사용하는 것이었습니다. 이 획기적인 아이디어는 형식 시스템의 내재된 한계를 강조하며, 철학에서 컴퓨터 과학에 이르기까지 모든 분야에 영향을 미쳤습니다. 이는 괴델의 불완전성 정리처럼 강력한 논리 시스템에서 완전한 자기 설명이 불가능함을 시사합니다.
앱에서 계속 읽기
그리고 3문제 퀴즈