미르카, 수학에 빠지다 3망설임과 괴델의 불완전성 정리
유키 히로시 지음, 박지현 옮김, 남호영 감수
10한 남고생과 두 여고생이 벌이는 쟁쟁한 수학 배틀 이야기를 그렸다. 수학을 소설 형식으로 풀어내 수식 원리를 깨치게 하고 수학하는 즐거움을 안겨 준다. 대입을 준비하는 청소년들의 꿈과 우정, 사랑을 담고 있는 흥미진진한 청춘 소설이기도 하다. 추리 문제를 풀듯 수식을 푸는 세 학생들의 수학 이야기는 난해한 수학 원리를 쉽게 이해할 수 있도록 이끈다. 또한, 추리 문제를 풀 듯 펼쳐지는 수식 전개 과정을 따라가며 수학적 사고력과 발상법을 배울 수도 있다.
3권에서는 네 명의 소년 소녀가 수리논리학의 기본 정리이자 수학사에서 가장 위대한 발견으로 꼽히는 ‘괴델의 불완전성 정리’에 도전한다. 불완전성의 정리는 모순이 없는 수학 체계는 증명할 수 없는 공리를 가지고 있기에 완전할 수 없다는 것을 증명한다. 즉 어떠한 수학 체계도 절대적인 진리가 될 수 없음을 말한다. 0과 1이라는 기호로 연산하는 컴퓨터처럼 괴델은 단어, 문자, 문장을 자연수로 대응하는 괴델수를 창조해 불완전성의 정리를 완성했다.
3권에서는 네 명의 소년 소녀가 수리논리학의 기본 정리이자 수학사에서 가장 위대한 발견으로 꼽히는 ‘괴델의 불완전성 정리’에 도전한다. 불완전성의 정리는 모순이 없는 수학 체계는 증명할 수 없는 공리를 가지고 있기에 완전할 수 없다는 것을 증명한다. 즉 어떠한 수학 체계도 절대적인 진리가 될 수 없음을 말한다. 0과 1이라는 기호로 연산하는 컴퓨터처럼 괴델은 단어, 문자, 문장을 자연수로 대응하는 괴델수를 창조해 불완전성의 정리를 완성했다.
주제 분류
