퍼지 논리 프로그래밍의 두 모순이 연속체 가설과 선택 공리를 부정한다
안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.
초록
본 논문은 퍼지 논리 프로그래밍(FLP) 체계에서 나타나는 두 가지 모순을 제시한다. 첫 번째는 각 기본 원자에 대해 문법적 진리값과 의미론적 진리값이 서로 다르게 정의되는 점이며, 두 번째는 FLP에서 유효한 공식들의 집합이 동시에 가산 무한 집합과 연속체와 동형이라는 모순된 크기를 가진다는 점이다. 이러한 모순을 통해 연속체 가설과 선택 공리가 거짓임을 주장하고, 결과적으로 ZFC 집합론이 모순이라고 결론짓는다.
상세 분석
논문은 먼저 기존 연구
댓글 및 학술 토론
Loading comments...
의견 남기기