d라이브러리

연속체 가설은 현대수학에서 참/거짓을 분별할 수 없는 문제로, 수학자 쿠르트 괴델이 참이라는 것을 증명할 수 없음을 밝혔고, 폴 조지프 코언은 거짓이라는 것 역시 증명할 수 없음을 보였다. 괴델이 처음 제시한 새로운 공리 개발에도 불구하고 연구자들은 연속체 가설의 참/거짓

연속체 가설을 무효화하려던 영국과 독일의 수학자 두 명이 '스타 공리'와 '마틴 최대 공리'라는 공리를 다르게 표현함으로써 연속체 가설이 거짓임을 보였다. 수학자들의 반응은 갈리지만 연구 결과는 학계에서 인정받아 '수학 연보'라는 저명한 학술지에 게재되기도 했다.