통합검색

서로 모순된 기록이 있으면 어떤 결론이든 따라올까?

모순을 발견해도 관련 없는 결론까지 허용하지 않는 비폭발적 추론을, 상충하는 행사 기록으로 살펴봅니다.

Paraconsistent Logic

괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?

불완전성 정리는 충분한 산술을 표현하는 일관된 형식 체계에 관한 정밀한 결과입니다. 체계 안의 증명과 바깥 해석을 구분합니다.

Gödel’s Incompleteness Theorems

증명 인공지능(AI)를 비교하려면 같은 문제를 여러 형식체계로 옮겨야 할까?

공통 문제, 체계별 형식화, 검증 성공를 연결해 조건과 범위를 확인하는 교육용 도식.

괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?

개별 증명 기록 검사, 체계 F 내부의 증명 가능성, 더 강한 메타이론 M의 설명을 세 층으로 나누고 불완전성 정리의 적용 범위를 표시한 표.

‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?

명제 A, A가 증명 가능하다는 상자 A, 상자 A이면 A라는 반성 원리, 그리고 이를 다시 상자로 감싼 뢰프 조건을 층별로 보여 주는 도식.