D라이브러리

 오늘날 기계와 의사소통하는 방법은 퍽 쉽다.“노래를 틀어달라”고 말하면 인공지능이 통역해준다.프로그래밍 언어를 배우면 컴퓨터에 ‘편지’를 쓸 수도 있다. 그런데 편지를 채울 글과 규칙이 개발되기 전에는 컴퓨터의 언어인 0과 1을 읽고 쓸 수 있어야 했다. 두 개의 신호는 전선을 바느 ...

 ♥ 한 소년의 이야기 ♥    19세기 말 영국.한 11살 소년이 생각에 잠긴 채 창가에서 노을을 바라보고 있습니다.그날 소년은 형에게 ‘유클리드 기하학’을 배웠습니다. 소년의 형은 모든 기하학의 정리가 ‘공리’라고 불리는 5가지 전제로부터 나온다는 놀라운 사실을 가르쳐 주었습니다. 시범 ...

지금까지 논리주의 프로그램, 수학 체계의 무모순성, 그리고 증명 불가능한 문장 등 괴델의 불완전성 정리를 이해하기 위한 다양한 이야기를 했어요. 어떤 독자는 이런 이야기가 무슨 의미가 있는지 궁금할 텐데 앞서 설명한 괴델의 불완전성 정리는 21세기의 가장 놀라운 발명품인 ‘컴퓨터ʼ가 탄 ...

1931년 오스트리아 출신 미국 수학자 쿠르트 괴델이 발표한 ‘불완전성 정리’는 모순 없는 공리계를 만들고자 노력한 수학자들의 희망을 앗아가 버렸습니다. 그 이유가 무엇인지 알아봅시다.  ♥ 증명할 수 없는 문장 괴델의 불완전성 정리는 제1정리와 제2정리로 구성돼 있습니다. 두 정리 중 특 ...

 러셀의 역설이 발표되자 수학자들은 이 골칫거리를 제거하기 위해 수학 체계를 수정하고자 했습니다.그런데 수학 체계를 수정한다는 것이 정확히 무슨 의미일까요? ♥ 수학 = 언어 이론적인 측면에서 보면 수학은 고도로 정교한 언어와 크게 다르지 않습니다. 따라서 언어가 어떻게 작동하는지 ...

 독일의 수학자이자 논리학자인 고틀로프 프레게는 ‘집합’을 이용해서 자연수로부터 수학의 개념을 모두 확장할 수 있다는 ‘자연수 이론’을 증명하려고 했습니다. 그러나 프레게의 이런 생각은 영국 수학자 버트런드 러셀의 편지 한 장으로 무너졌어요.오늘은 편지 내용의 핵심인 ‘러셀의 ...

 1637년 프랑스의 수학자 피에르 드 페르마가 제기한 ‘페르마의 마지막 정리’는 무려 358년이 지나 풀렸습니다. 이 증명은 가장 어려운 수학 문제로 기네스북에 등재돼 있으며, 20세기 수학계 최고의 성과로 꼽힙니다. 하지만 역설 나라에서는 페르마의 마지막 정리가 거짓일 수도 있다고 하는데요, ...

 예능 프로그램 ‘뭉쳐야 쏜다’는 다양한 스포츠 종목에서 국가대표로 활약했던 12명의 전설을 모아농구대결을 합니다. 각자 분야에서는 금메달감이지만 모여서 농구를 하면 이상하게 패하기 일쑤라 “모이면 (겨우) 1승, 흩어지면 12승”이라 말할 정도죠. 그렇다면 만약 국가대표 대신 전설의 ...

 독일의 수학자 게오르크 칸토어가 수백 년간 아무도 입 밖으로 꺼내지 않았던 단어, ‘무한’을 언급하면서 세 번째 격투가 시작됐다. 칸토어는 원소의 개수가 무한히 많더라도 셀 수 있는 방법을 제시했다. 물론 모두 셀 수 있는 건 아니다. 스스로 공들여 고안한 방법으로 무한 집합의 크기도 쉽 ...