수학의 결정 불가능성에 대해 질문하겠습니다
- 글쓴이
- tpou08
- 등록일
- 2016-10-08 13:32
- 조회
- 4,656회
- 추천
- 0건
- 댓글
- 0건
관련링크
흔히 수학에서의 결정 불가능성이라 함은 어떤 문제가 증명 불가능과 반증 불가능함이 동시에 성립하는 것을 뜻하는데요 대표적인 예가 괴델의 증명한 반증 불가능함과 필즈상 수상자 폴 코헨이 칸토어의 연속체 가설은 증명 불가능하다는 마침표를 찍으면서 그 문제는 결국 결정 불가능함으로 밝혀졌습니다
그럼 그 광활한 현대 수학 체계 안에서 결정 불가능함조차 인간의 이성으로 증명할 수 없는 문제(증명 불가,반증 불가능성 모두 증명할 수 없는)도 과연 존재할까요?
[이 게시물은 sysop님에 의해 2016-10-08 13:54:44 자유게시판에서 이동 됨]
그럼 그 광활한 현대 수학 체계 안에서 결정 불가능함조차 인간의 이성으로 증명할 수 없는 문제(증명 불가,반증 불가능성 모두 증명할 수 없는)도 과연 존재할까요?
[이 게시물은 sysop님에 의해 2016-10-08 13:54:44 자유게시판에서 이동 됨]
