2011 인터넷 수능 비문학 괴델의 불완전성 정리 질문
ebs비문학 작년꺼 안풀어서 다시풀고있는데
이지문의논리(괴델)가
문장a가 참이고 a의부정이 참이 되버리기때문에 모순이니까(배중률) (가)문장이 모순이고
따라서 형식체계가 모순이다라는 내용이고 그래서 수학이 모순이라는거죠??
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
약대 군대 문제 1
현재 약대 지망하고 있는 재수생입니다 보통 약대는 군대를 가는 방식이 대학생활중에...
근데 작년껀 왜푸시나요?
올해꺼 다풀었는데 작년것이 어렵다고 해서요~
시간 남으시면 올해 나온것 복습하시는게 더 괜찮을것 같은데요...
;;
형식 체계가 불완전하다는거예요..
형식체계는 수학이나 논리학을 문자나 형식으로 나타내는 도구 중 하나일 뿐입니다.
그 도구가 모순이라는거죠.
그리고 엄밀히 말하면 불완전성정리는 수학이아니라 논리학입니다.