생글생글

학습 길잡이 기타

수학의 완전성을 증명하기 위한 학자들의 도전

무엇인가를 정의한다는 것은 신기한 일입니다. 우리는 언어를 사용하고, 그 언어를 사용해 다른 것을 설명합니다. 그렇다면 특정한 단어를 설명하기 위해서는 어떻게 하고 있나요? 다른 단어들로 설명하고 있지 않나요? 한국어로 영어 단어를 설명하거나 그 반대의 경우는 비교적 자연스럽게 납득되는 과정입니다. 그러나 국어사전은 어떨까요? 한국어로 한국어 단어를 설명하고 있습니다. 만약 그 설명 중에 뜻을 모르거나 애매모호한 단어가 있다면 그 단어를 다시 찾아봐야 할 것입니다.‘의자’ 같은 일상적인 단어조차 정의하기가 까다롭죠. 일반적으로 사람이 앉을 수 있는 가구라고 하지만, 가구의 정의에는 ‘실내에서 쓴다’는 설명이 있기에 “그럼 벤치는 의자가 아니냐?”라는 반례를 들 수 있죠. 혹은 앉을 수 있기만 하면 의자라고 한다면 산 중턱에 적당히 놓여있는 바위도 의자가 될 것입니다.학자들에게 이러한 문제는 매력적인 주제였습니다. 철학자, 언어학자를 비롯한 많은 사람이 이러한 ‘정의 내림’에 대해 그들 나름의 해석과 이론을 정리하기 바빴습니다. 수학자들도 둘째가라면 서러울 지경입니다.수학자들의 관심은 명확했습니다. 애매모호하고 논쟁이 생길 수 있는 여지가 있는 단어나 표현을 완전히 몰아내는 동시에 어느 것 하나 “원래 그런 거야”라거나 “이건 어쩔 수 없지”라는 식으로 넘어가지 않는 완벽한 시스템을 구축하는 것입니다. 즉 완벽한 무모순의 논리체계를 만드는 것이라고 볼 수 있겠습니다. 이러한 시도는 기원전 그리스의 수학자 유클리드(에우클레이데스)의 원론이 그 시작입니다.개인적인 생각으로는 그의 저술