괴델께서 말씀하시길
불확정성 원리로서,
제1 정리의 결론은
"모순없는 수학적 형식체게가 있다고 할 때, 그 체게 안에는 참이면서 동시에 증명이 불가능한 명제가 존재한다."
제 2정리는
"수론에 적합한 어떤 형식체계의 모순성은 그 체계 안에서는 증명할 수 없다."
그렇다면 그 발표 당시에 내가 그 자리에
있었다면 괴델께 이렇게 물었을 것입니다.
.
" 박사님의 그 정리는
증명이 가능한 것입니까,
증명이 불가능한 것입니까.
.
박사님의 제 1 정리와 제 2정리에 의하여 증명이 불가능할 것 같은데요.
박사님 자신이 거짓말장이 파라독스의 주인공이시네요.
더구나 성립하지도 않는 칸토르의 대각선 논법에서 온 것이지 않습니까.
.
방금하신 발표는 박사님의 농담이신가요?"
.
.
^ ^