triva는 본인의 존재가 인정받는 유일한 방법이 기존의 지식을 부정하는 것에서 온다고 굳게 믿고 있기 때문에 애시당초 설득하는 것은 불가능함
triva는 인터넷에 검색만 하면 나오는 불완전성 정리의 기본적인 증명도 이해하지 못하고 있음
"G가 증명가능하면 G는 거짓이다"가 모순이라서 G가 참이라는 소리를 하고 있는데
불완전성 정리에서 G가 참임을 보이는 방법은 (나무위키에 나옴)
G가 거짓이라고 가정해보자.
그러면 G는 증명가능하다.
그러면 G는 참이다.
따라서 G가 거짓이면서 참이기 때문에 모순. 즉 G는 거짓이 아닌 G는 참이 되어야 한다.
여기서 "G가 증명가능하면 G가 거짓이다"라는 명제는 등장하지 않았고
"G가 증명가능하면 G가 거짓이다"가 모순이면 G가 참인 것이랑도 별 상관이 없음
triva는 나무위키에 나와있는 내용도 제대로 이해하지 못하는 수준의 지능을 가진 것임
진짜 이런게 대학수학한다고 설치는거 보면 수학과 폐지가 답이다
본인은 수학과가 아니고 본인 역시 유사수학자라고 생각해도 됨 하지만 너도 너가 유사수학자인걸 인정하면 그만~
그럼 너같은 뇌장애는 대학수학 못하게 법이라도 제정해야지원 나는 고딩까지 다녔으니까 고딩수학하는건데 ㅋㅋㅋ
"G가 증명가능하면 G가 거짓이다"가 모순이고 대우가 "G가 참이면 G는 증명가능하다" 이다니까 G가 참인게 모순이라는거지 병신앜ㅋ
"G가 증명가능하면 G가 거짓이다"가 모순임을 인정했기때문에 G가 참이라는게 불완전성 정리임 따라서 저 명제는 모순맞고 저 명제의 대우역시 모순 따라서 G는 거짓