쿠르트 괴델
조무위키
주의! 이 문서에서 서술하는 인물은 존나 똑똑합니다. 이 문서는 노오오력충도 따라갈 수 없는 천재적인 두뇌를 가진 인물에 대하여 서술하고 있으니 호구가 되기 싫으면 뒤로가기를 누르세요. |
수학자. 논리갑이시다.
불완정성 정리라는 이상한 정리를 만들어서 힐베르트를 엿먹였다.
말년에는 본인도 머리가 이상해져서 음식을 안먹다가 굶어죽었다.
정확히 말하면 병원에서 음식 처묵어야 하는데 아내가 준 음식이 아니면 안먹었다.
마찬가지로 정신세계가 이상한 아인슈타인과 친하게 지냈다. 유유상종.
편집증 환자였다.
불완전성 정리:
항상 증명과 반증이 불가능한 명제가 이씀
항상 모순이 나오지 않는다는 걸 증명할 수 업씀
참고로 이 정리는 페아노 공리계에 한정된다. 페아노 공리계가 아니면 완전수학을 만들 수도 있겠지만...
ㄴ 개소리다 페아노 공리계를 포함한 모든 공리계다