불완전성정리 Qna 관련 답변 1 페이지

만약 어떤 명제A를 증명하는 과정 중 연속체가설에 관한 내용이 포함된다면 그 명제 A 또한 증명 불가능이 되는건가요?(연속체가설을 포함한 증명에 한해서)

... 반대로 괴델의 불완전성 정리는 "충분히 표현력 있는 체계 내에서는 그 체계의... 요약하면, 완전성 정리는 "증명할 수 없는 참인 명제가 있다"고 말하고, 불완전성 정리는...

불완전성 원리에 대해서 공부하고 있는데 ”G의 증명이 존재한다“ 만약 G가 거짓임을 증명한 것이면 ””G의 증명은 존재하지 않는다“는 거짓이다“ 가 되고 이건 결국...

책을 읽다가 불완전성에 궁금증이 생겨서요. 불완전성을 중학생이 이해하기 쉽도록 설명해주실 수 있나요? 책에선 불완전성 정리 라고 표현하더라구요 수학계열같아요!

괴델의 불완전성의 정리에 관해 이해하기 쉬운 단순한 예시를 들어주세요ㅜㅜ 추가 내공 20 드려요 1+1=2 입니다. 자세한 설명은 아래의 링크를 참조 바랍니다.

... 문제는 불완전성 정리에서 끝났다 라는 댓글이 있어서 제가 직접 불완전성 정리를 찾아 봤더니 "진리지만... 괴델의 불완전성 정리(영어: Gödel's incompleteness theorems)는...

괴델의 불완전성 정리는 언제 교육과정인가요?? 연계되는 교육과정이 있다면 어디 일까요... 대학가면 배우나요?

... 괴델의 불완전성 정리는 페아노 공리계를 포함하는 수학에서 성립하는 정리입니다. 즉, 1 + 1 = 2라는 식은 모순은 없지만, 이 식으로 인해 수학은 불완전성 또는 모순을...

제가 공부하다가 괴델의 불완전성 정리 1,2 를 봤거든요 거기서 Dem(n,m) 과 Sub(n,m,y) 라는 두 함수를 이용해서 메타 수학 안에서 증명하더라고요 뭐 괴델수니 하는 것들은...

괴델의 불완전성 정리에 대해 질문드립니다. 책을 읽다가 '참이지만 증명은 불가능한 명제' 하나를 보았습니다. A: A는 증명 불가능하다. 바로 이 명제인데, 이해가 가지 않는...