크린-로저 역설

수학에서 크린-로저 역설(Kleene-Rosser paradox)은 형식 논리의 특정 체계, 특히 1930년에 도입된 하스켈 커리의 조합 논리의 버전과 1932-1933년에 도입된 알론조 교회의 원래 람다 미적분학이 원래 형식 논리의 체계로 의도되었음을 보여주는 역설입니다. 이 역설은 스티븐 크린과 J. B.가 보여주었습니다. 1935년에 Roser.

역설

Kleene과 Rosser는 두 시스템 모두 증명 가능한 전체적이고 정의 가능한 수론적 함수를 특성화하고 열거할 수 있다는 것을 보여줄 수 있었고, 이를 통해 리처드의 역설을 형식 언어로 복제하는 용어를 구성할 수 있었습니다.

이후 커리는 이 역설의 구성을 가능하게 한 계산의 중요한 성분을 밝혀냈고, 이를 이용해 지금은 커리의 역설로 알려진 훨씬 더 간단한 역설을 구성했습니다.

참고 항목

• 역설의 목록

참고문헌

• 안드레아 칸티니, "특정 형식 논리의 불일치", 스탠포드 철학 백과사전의 패러독스와 현대 논리학 항목(2007).
• Kleene, S. C. & Rosser, J. B. (1935). "The inconsistency of certain formal logics". Annals of Mathematics. 36 (3): 630–636. doi:10.2307/1968646. JSTOR 1968646.