괴델의 불완전성 정리가 이해가 안돼요
게시글 주소: https://orbi.kr/00061174872
배경지식책 펴놓고 읽는데 이해가안돼서 나무위키 네이버블로그 유튜브 3시간째 보고 있는데도 정확히 무슨 소린지 모르겠어요
명쾌하게 풀어놓은 강좌나 칼럼 없을까요
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
게시글 주소: https://orbi.kr/00061174872
배경지식책 펴놓고 읽는데 이해가안돼서 나무위키 네이버블로그 유튜브 3시간째 보고 있는데도 정확히 무슨 소린지 모르겠어요
명쾌하게 풀어놓은 강좌나 칼럼 없을까요
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
어려운거로 유명한 ㅋㅋ
메타수학을 해보려다가 스스로의 능지에 대해 메타인지를 하게 되는..
저거 나름 쉽게 풀어놓은 책 있는데 그게 어려운 거로 유명함;;;;
"괴델에셔바흐"인가요 고2때 친구가 추천해줘서 읽다가 포기했음요,,
ㅗㅜㅑ 왜 이런걸...
대신 수능에 이거 나오면 나만 맞출수 있음 캬캬
캬
위에 내용은 A가 아니다 라는걸 증명할수 있지만 A다 라는건 증명할수업다는거 맞나여?
대충 "공리계 내에서 어떤 명제가 참인지를 증명할수 없다" 정도로 알고 있는데...
정확하게는 모르겠어요
음 대충 수학은 정확하지 않다 ! 이런 명제를 증명하기 위해서 숫자를 이용해서 뭔가 논리식을 만들었고 그 만든 논리식이 모순임 을 이용해서 수학은 모순이 있다 ! 이걸 증명했다 .. 라는거같은데 아닐슈도 있도 어렵네여..음.....
전혀 다른 소리임;;
무모순은 가능한데 완전성이 불가능하다는 거에요. 둘은 다른 개념임.
무모순: 거짓임을 밝힐 수 없음
완전성이 불가: 참임을 밝힐 수 없음
따라서 증명할 수 없음
이런건가요..?
무모순이 거짓을 밝힐 수 없다라고 하는 것은 좀 아닌 거 같고, 그냥 공리들이 주장하는 사실들 간에 모순이 없다는 이야기에요.
완전성이 성립한다는 이야기는 한 공리체계 내에서 모든 공리가 참임을 연역적으로 보일 수 있어야 한다는 말인데, 괴델의 불완전성 정리는 그것이 불가능하다는 것을 보인 정리입니다.
무슨 책인가요??
이책이에요
저거 쓴 사람도 제대로 모르고 쓴 것 같아요