수학자 보나벤투라 카발리에리(1598~1647)는 저서 에서 수학사에서 유명한 ‘카발리에리의 원리’를 소개합니다. 두 입체도형을 서로 평행하게 굉장히 작은 조각으로 자른다고 했을 때, 이 조각들의 넓이 사이에 a 대 b라는 비율이 ...
‘자연수 집합과 실수 집합의 중간 크기인 무한 집합이 있을까’ 같은 질문을 하지요. ‘연속체 가설’이라고 알려진 문제인데요. 근데 아주 신기하게도 ‘현재의 수학 체계에서는 이 명제가 참인지 거짓인지 증명할 수 없다’가 증명돼 있습니다. 증명할 수 없다는 게 증명됐다니 참 이상하지요. ...
‘수학 연보’에 실릴 정도로 인정받고 있습니다. 과연 무한의 비밀을 풀 수 있는 연속체 가설은 언제쯤 증명될까요? 밝혀지는 순간 우리는 무한의 세계에 한 발자국 더 가까워질지 기대됩니다 ...
수학자들은 무한을 정의하기 위해 실수, 자연수와 같이 개수가 무한한 집합을 눈여겨보기 시작했소. 그러다 무한의 신기한 성질을 발견했지요. 20세기 최고의 수학자 다비트 힐베르트의 사고 실험으로 그 성질을 알려주겠소. 일명 ‘무한호텔’이오. 만약 호텔의 모든 객실에 손님이 있어 빈방이 ...
무한에 대한 힐베르트의 설명을 듣고 창의적인 발상에 놀랐소? 하지만 아직 이르오. 난 무한의 크기를 비교할 수 있는 기술을 만들어냈으니까 말이오. 이 기술로 무한 세계를 손바닥의 손금 보듯 샅샅이 살펴볼 수 있소! 자연수의 무한집합이 클까요, 짝수의 무한집합이 클까요? 답은 ‘크기가 같 ...
안녕하시오. 무한 세계를 여행하는 수학자, 닥터 칸토어요. 무한 세계를 누구보다 가장 오래 살펴봤고, 잘 알고 있어서 자칭 무한 세계의 최고 수학자라고 ... 일대일 대응Part4. [특집] 연속체 가설을 무찌르기 위한 수학자들의 노력Part5. [특집] 연속체 가설은 거짓? 끊임없는 수학자들의 ...
연속체 가설이 참이라 주장하고 있습니다. 궁극적인 L로도 불리는 L-공리는 괴델이 연속체 가설이 거짓임을 밝힐 수 없을 때 사용했던 ‘구성 가능성 공리’와 유사합니다 ...
증명됐기 때문이다. 압축성 유체는 입자간 충돌이 발생하는데 비압축성 유체는 대상을 ‘연속체’로 보고 입자간 충돌이 일어나지 않는다고 가정한다. 그래서 더 풀기 어렵다.※ PDF를 이용하면 더 자세하게 볼 수 ...
교수팀은 이 최대 추정 모형이 연속체 가설이 참일 때만 문제를 해결할 수 있으며, 만약 연속체 가설이 참이 아니라면 문제를 풀 수 없다는 사실을 밝혔습니다. 이 연구 결과는 1월 7일자 ‘네이처 인공지능’에 실렸습니다 ...
미국 시카고대 수학과 교수와 사하론 셸라흐 예루살렘 히브리대 수학과 명예 교수는 연속체 가설이 틀렸다고 가정할 경우에만 생길 수 있는 두 가지 무한집합의 크기가 같다는 것을 증명했다. 두 무한집합은 원소를 뽑는 방법은 서로 다르지만 자연수 집합보다는 크고 실수 집합보다는 작다. 그동안 ...