수학의 결정 불가능성에 대해 질문하겠습니다

글쓴이
tpou08
등록일
2016-10-08 13:32
조회
4,678회
추천
0건
댓글
0건
흔히 수학에서의 결정 불가능성이라 함은 어떤 문제가 증명 불가능과 반증 불가능함이 동시에 성립하는 것을 뜻하는데요 대표적인 예가 괴델의 증명한 반증 불가능함과 필즈상 수상자 폴 코헨이 칸토어의 연속체 가설은 증명 불가능하다는 마침표를 찍으면서 그 문제는 결국 결정 불가능함으로 밝혀졌습니다

그럼 그 광활한 현대 수학 체계 안에서 결정 불가능함조차 인간의 이성으로 증명할 수 없는 문제(증명 불가,반증 불가능성 모두 증명할 수 없는)도 과연 존재할까요?

[이 게시물은 sysop님에 의해 2016-10-08 13:54:44 자유게시판에서 이동 됨]

목록


과학기술Q&A

게시판 리스트
번호 제목 글쓴이 등록일 조회 추천
4104 SEM 찍었습니다만..Grain이.. 댓글 6 ImP2K 05-31 8461 0
4103 wet ehcing 질문입니다. 댓글 5 빵뜨아 05-30 4017 0
4102 아날로그 회로 설계 질문입니다. 댓글 3 capstone 05-29 5618 0
4101 pcb 구조 공진 질문입니다. 댓글 2 전자공학도 05-27 4450 0
4100 Wave optics와 Ray optics를 적용하는 기준 댓글 2 SPR 05-26 3643 0
4099 (기초질문) 임피던스 그래프 읽는법 좀 부탁드립니다. 댓글 3 cbman 05-19 12348 0
4098 (질문) 실제 산업분야에서 PID 제어기 설계 댓글 2 고구마말랭 05-18 4243 0
4097 요즘 수학 핫한 분야 댓글 11 kogikogi 05-17 6228 0
4096 자연산화막 만드는 금속에 대해 질문드립니다. 평등대 05-16 3714 0
4095 비트코인에 대해서 댓글 3 생케 05-16 4446 0
4094 유체 배관 질문드려요 주렁 05-14 3372 0
4093 나노공정기술 관련한 질문입니다. 댓글 1 optics 05-05 3749 0
4092 전자키트를 하나 구입해서 간단한걸 만들어보고 싶습니다 댓글 2 카티아 05-04 4677 0
4091 CFD, 항력계수와 양력계수의 주기 관계에 관해 댓글 2 Chara 04-30 5359 0
4090 소프트웨어의 종류에는 무엇이 있고 프로그래머는 뭘 해야할까요? 댓글 5 kjgkjdkeco 04-26 7353 0
4089 d-metal Catalyst fermi level 영향 댓글 5 cbman 04-28 3895 0
4088 NI NI2SN3 등등 특정온도에서 Fermi level 알수 있는곳이 있을까요? 댓글 5 cbman 04-28 3873 0
4087 Mirror Lapping된 알루미늄판은 어디서 구해야 할까요?? 댓글 1 일산화탄소 04-24 3397 0
4086 Fluent 나 CFX 둘중 어느걸로 회전프로펠러 해석을 해야 할까요 댓글 1 윤준혁 04-22 6175 0
4085 PYTHON이나 PHP로 하드웨어를 개발할 수는 없을까요. 댓글 1 gtoair08 04-16 4167 0


랜덤글로 점프
과학기술인이 한국의 미래를 만듭니다.
© 2002 - 2015 scieng.net
모바일 버전으로 보기