이 논리는 배중률을 거부합니다
헤이팅의 직관주의 논리는 배중률을 거부합니다. 이는 수학적 진리에 대한 구성적 증명을 요구하며 고전적 추론에 도전합니다. 또한 컴퓨터 과학과 같은 분야에 영향을 미칩니다.
고전 논리는 명제가 참이거나 거짓이라고 말합니다. 하지만 헤이팅의 직관주의 논리는 이에 동의하지 않습니다. 아렌트 헤이팅이 1930년대에 개발한 이 체계는 모든 수학적 진리에 대한 구성적 증명을 요구합니다. 증명이 없으면 명제와 그 반대가 모두 참이라고 가정할 수 없습니다.
이 이야기에 더 많은 내용이 있어요 — 앱을 열어 계속 읽어 보세요.
앱에서 계속 읽기
단락 1개 더 · 그리고 3문제 퀴즈