반복 평가와 비무한 하강: PR 체계의 자체 일관성 증명
안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.
초록
본 논문은 원시 재귀(PR) 체계에 새로운 평가 절차를 도입하고, 복잡도 감소를 보장하는 비무한 하강 공리를 추가함으로써 자체 일관성(Consistence)과 객관적 타당성을 증명한다. 이를 통해 PR _A + (π_O) 이론이 자기 자신에 대한 일관성 공식을 유도함을 보인다.
상세 분석
논문은 먼저 PR _A = PR + (abstr) 라는 기본 원시 재귀 체계를 정의하고, 여기서 ‘abstr’ 은 술어 추상화 규칙을 의미한다. 이 체계 위에 ‘Ordinal O := N
댓글 및 학술 토론
Loading comments...
의견 남기기