| [ QuizWit ] in KIDS 글 쓴 이(By): iLUSiON (멍멍이하인��) 날 짜 (Date): 1994년12월26일(월) 08시44분52초 KST 제 목(Title): 괴델정리 공개강좌 1 날 짜 (Date): 1993년12월19일(일) 17시36분02초 KST 제 목(Title): 괴델의 불완전성 정리에 대한 환상의 강의 이번학기에 괴델의 불와전성 정리에 대해 논리학시간에 배웠다. 너무 너무 머리가 아해서 환상은 아직두 얼얼하다. 대체적으로 말하면 벌써 다까먹었지만, 단순하게는 수학의 unlimitedness를 말한것이며 어떠한 대수학적인 연산이 정의된 단순한 수학적 시스템 혹은 단순한 공리계에서 비록 참이지만 증명할수없는 명제가 존재함을 증명할수있으며 그반대로 역시 거짓이지만 증명할수없는 명제가 존재함을 그러한 명제를 construct 함으로써 증명할수있다.(괴델과 기타 아류들의 기본적 사상) 그래서 기본 공리계에서 참과거짓을 구분할수 없는 명제가 존재한다고두 말하고 뭐 언어의 한계니 논리의 한계니 말하기도 하지만 ..... 이에대한 수학 외적인 철학적 사고방식에 대해서는 많은사람들이 아주쉽게 다루고 있다. 주로 호프스테드의 괴델, 에셔, 바하라는 책과 펜로즈의 엠페러스 마인드란책 에 약간쉽게 언급하고 있다. 괴델의 정리는 소의 20세기 수학에 있어서 가장 위대한 발견이라 일컬어진다. (페르마의 마지막정리는 저리가 없어쪄버려!) 20세기초에 불기시작한 (19세기말부터) 소위 상대론적인 사고방식이 새로운 순수과학에 있어서의 파라다임으로 자리잡기 시작할즈음 "꽝"하고 괴델이 시대의 흐름을 따르며 나온다... 21세기는 하지만 절대론적인 페러다임으로 다시 돌아설것이다. 7g59GA >FAvDZ4B 8E?l9]B&@L4B DZ, 88@O 3;0! :C4Y8i :R:Y4B4Y G_0ZAv@L..>H033"@N <:E:@}3/ ;jE87gD!>F, 3;=d8E |