흠..
게시글 주소: https://orbi.kr/00072770940
위 링크에서
(A가 증명없음)->(A가 거짓)
을 증명했고
(A가 거짓이면)->(A가 증명없음)은 원래 참임
따라서
(A가 증명없음)<->(A가 거짓)
즉,
증명없으면 거짓이고, 거짓이면 증명없다
괴델의 문장인
G : "G는 증명없음"
이 문장은 다시
G : "G는 거짓"
이문장은 거짓말쟁이의 역설과 동일함
G가 거짓이면 G는 참
G가 참이면 G는 거짓
따라서 G는 모순을 낳음
결론이 모순이면 전제가 거짓
따라서
"G : G는 거짓"
또는
"나는 지금 거짓말을 하고있다"
가 거짓이라는말인데
앞에서 G가 거짓이면 참, 참이면 거짓
이라고 했으므로
진짜로 지적해야할 원인은
"자기자신을 거짓이라고 하는 자기참조적 구조" 자체가 문제라는거임
즉,
"G : G는 거짓" 이라는 말의 구조자체가 성립할수 없다는 말임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
오늘 점심 2
불고기와퍼 주니어 콜라L 고전시가처럼 소박하게 먹기 도전
-
가령 지하철역을 공략하는거임 친구 3명을 꼬셔서 화장실 변기칸을 점령하는거임 그럼...
-
26수능 정법은 정부형태 대비 꼼꼼히 해야할거같네요 1
역대 정부형태 기출 가장 어렵게 출제된 문제인데요 작수 5번 문제 (오답률 60%)...
-
낮3임… 못 들을 정도임?
-
출발~~ 1
오늘은 등이다
-
가격 오른 꼬라지 ㅅㅂ 존버할걸
-
이건 아픈거야 1
아픈거야.. 참아야하ㅐ..
-
1. 인천 송도에 국제캠이 있는 이유는 단순 우연이 아니라 언더우드 선교사 등이...
-
놀라운 사실 1
외우면 시험에 안나오기 때문에 안외운걸 외우면 시험을 잘보게된다
-
미래: 식물도 고통의 감정을 느끼는 것으로 밝혀져 ... 1
채식주의자들아 이제 뭐먹고살래?
-
여태까지 한거 -> 일클+연필통, 마닳1권 실모는 이비에스도 안 했는데.. 아직...
-
-
약대 최저 맞추는 용인데 과탐1개 사탐 1개 조합으로 가능성 있을까
-
내가 조사좀 해보니까 수학 논리학 물리학 이런데에 기둥으로 서있는 이론들이 틀린게 많음
-
안팔려나
-
sns의 역사 1
요즘애들은 모르겠지만 예전엔 페이스북이란게 있었음 뭐냐면 말그대로 얼굴+장구같은...
-
안녕하세요. 경북대학교 의예과 23학번 지니입니다. 생명과학 1을 어려워하는...
-
지각하는 사람들을 없애기 위해서 지각 벌금 1000원 물기로 했는데 돈 아까우니까...
-
내가 대학갈 수 있을까 같은 고민 너무 딥하게 안해도됨 1
그런말 하는 사람들중에 진짜 못가는 사람못봄
-
존예 레전드 1
옳은 말씀이십니다
감사합니다