양쪽의 측정 방향에 대한 정보를 공유할 가능성을 배제할 수 없다. 이 허점을 피하려면 앨리스와 밥이 광자쌍이 만들어진 후 측정 방향을 독립적으로 결정해야 한다. 또 두 광자를 시공간상에서 충분히 분리시켜 서로 교신할 가능성을 차단해야 한다.프랑스 파리 광학 연구소의 물리학자 알랭 ...
30여 년 뒤에 수학과 건물이 생기지요. 참고로 하디보다 100년 정도 전에 의 저자로 더 잘 알려진 옥스퍼드대 수학자 찰스 도지슨(필명 루이스 캐럴)이 수학과 건물의 필요성을 주장하며, 학교에 항의 편지를 보낸 적이 있다고 하네요. 1966년 처음 수학과 건물이 지어졌지만, ...
어지러운 상태에서 환각을 본 애벌레 아저씨는 꿀록 탐정을 앨리스로 착각한 거였죠. 앨리스가 애벌레 아저씨에게 말했습니다.“앞으로 절대 야생 버섯은 먹지 말기, 약속!” 개념 퀴즈모든 균류가 버섯을 만들 수 있다.( O , X ...
역설이 아닌데 역설이라고 불리는 수학 정리가 있습니다.이름하여 ‘바나흐-타르스키 역설’이에요. 논리적 모순이 하나도 없는데, 대체 왜 역설이라는 꼬리표가 붙게 됐는지 알아 볼게요. ♥ 근사한 속임수 바나흐-타르스키 역설은 논리적 모순이 없기 때문에 사실 바나흐-타르스키 정리라고 ...
아주 친했다고 합니다. 실제로 도지슨은 리들의 세 딸에게 재밌는 이야기해 주기 위해 앨리스 시리즈를 집필하기 시작했다고 하네요. 400년 역사를 자랑하는 워덤 칼리지 저는 어느 칼리지에서 생활했느냐고요? 410년이 조금 넘는 역사를 가진 워덤 칼리지에서 2008년부터 2012년까지 4년 동안 ...
오늘은 컴퓨터가 탄생하는 데 수학이 어떤 역할을 했는지 알아볼 거예요. 영국의 수학자이자 현대 컴퓨터의 창시자인 앨런 튜링은 일종의 판정 문제인 ‘정지 문제’를 ‘튜링 기계’를 이용해 풀 수 없다는 사실을 증명했는데요. 어떤 증명 과정을 거쳤는지 살펴봅시다. ♥ 정지 문제가 가능하다 ...
지금까지 논리주의 프로그램, 수학 체계의 무모순성, 그리고 증명 불가능한 문장 등 괴델의 불완전성 정리를 이해하기 위한 다양한 이야기를 했어요. 어떤 독자는 이런 이야기가 무슨 의미가 있는지 궁금할 텐데 앞서 설명한 괴델의 불완전성 정리는 21세기의 가장 놀라운 발명품인 ‘컴퓨터ʼ가 탄 ...
‘찰리와 초콜릿 공장’, ‘크리스마스 악몽’, ‘유령 신부’, ‘이상한 나라의 앨리스’ 중 하나라도 본 적 있나요? 이 영화들 모두 팀 버튼 감독님이 만들었는데요. 버튼 감독님의 그림과 사진 작품을 볼 수 있는 특별 전시가 서울 동대문디자인플라자(DDP)에서 열리고 있어요. 버튼 감독님의 ...
1931년 오스트리아 출신 미국 수학자 쿠르트 괴델이 발표한 ‘불완전성 정리’는 모순 없는 공리계를 만들고자 노력한 수학자들의 희망을 앗아가 버렸습니다. 그 이유가 무엇인지 알아봅시다. ♥ 증명할 수 없는 문장 괴델의 불완전성 정리는 제1정리와 제2정리로 구성돼 있습니다. 두 정리 중 특 ...
러셀의 역설이 발표되자 수학자들은 이 골칫거리를 제거하기 위해 수학 체계를 수정하고자 했습니다.그런데 수학 체계를 수정한다는 것이 정확히 무슨 의미일까요? ♥ 수학 = 언어 이론적인 측면에서 보면 수학은 고도로 정교한 언어와 크게 다르지 않습니다. 따라서 언어가 어떻게 작동하는지 ...