d라이브러리
"하켄"(으)로 총 19건 검색되었습니다.
- [knowledge] 지도를 4가지 색만으로 칠할 수 있을까과학동아 2014년 12호
- 갖춘 미국에 가서 하켄과 만났다. 다시 말해 컴퓨터를 이용해 증명한 주인공은 아펠과 하켄이지만, 그 토대를 구축한 사람은 헤슈다. 이후에도 그는 증명을 간결하게 만드는 연구를 진행했다. 하지만 컴퓨터 증명을 인정해야 하는지에 대해선 아직도 논란이 분분하다. 결국 증명은 됐지만, 4색 ... ...
- [생활] 아이스버킷 챌린지 열풍의 비밀 복잡계 연결망수학동아 2014년 10호
- 하지만 끝내 수학적으로 증명하지는 못했다. 다만 지난 1976년 6월 케네스 아펠과 볼프강 하켄이 컴퓨터를 이용해 증명했다.SNS 친구 수는 거듭제곱분포를 따른다!가끔 우리가 사는 세상이 너무나도 좁다고 여겨질 때가 있다. 몇 다리만 건너면 유명인이 나와 연결되기도 하기 때문이다. 이같은 특성을 ... ...
- 미래 세상의 공통어, 코드수학동아 2014년 09호
- 1976년 6월, 미국 일리노이대 어바나-샴페인 대학의 케네스 아펠과 독일 출신의 볼프강 하켄이 마침내 컴퓨터의 도움을 받아 이 증명을 완성한 것이다.4색 문제를 증명하기 위해 이용한 컴퓨터 프로그램에는 487가지의 판별 기준이 있었다. 컴퓨터는 50일 동안 4색 문제에 487가지 기준을 적용하며 ... ...
- 숫자 4는 언제나 현재진행형!수학동아 2012년 04호
- 해결법이 증명된 것으로, 이 때부터 4색 문제가 아닌 4색 정리로 불리게 되었다.그런데 하켄과 아펠의 증명 방식은 일반적으로 수학에서 사용하는 방법과 사뭇 달라 논란의 여지를 남겼다. 바로 ‘컴퓨터로 얻어낸 해결 방법을 과연 신뢰할 수 있는가?’라는 문제가 제기된 것이다. 결국 4색 정리는 ... ...
- 수학의 영웅들수학동아 2010년 05호
- 독일 출신의 볼프강 하켄이 컴퓨터를 이용해 4색 정리를 증명하는 데 성공했다. 아펠과 하켄은 4색 정리가 거짓이라면 5가지 색이 있어야 칠할 수 있도록 나눠진 평면이 있다고 가정했다. 그러나 그런 평면은 없었고 결국 4색 정리가 옳다는 사실이 밝혀졌다. 수학은 지금까지 우리에게 수도 없이 ... ...
- 특성으로 살펴본 숫자 4수학동아 2010년 04호
- 몇 가지 색깔이면 될까? 1976년 미국 어바나샴페인 일리노이대학교 수학과의 아펠과 하켄 교수는 네 가지 색깔이면 충분하다는 ‘4색 문제’를 증명했어. 평면을 어떻게 쪼개든 네 가지 색깔이면 서로 구분할 수 있다는 뜻이야.2 사람이 한 번 보고 인식할 수 있는 숫자는 몇 개일까? 심리학자들은 ... ...
- 의뢰 3 마술의 비밀을 밝혀 주세요수학동아 2010년 04호
- 좀처럼 농담이라고 받아들이지 않았다. 4색 문제는 1976년에 미국 일리노이 대학의 아펠과 하켄이 컴퓨터를 이용해 증명했다. 닥터 피노키오의 보너스 마술➊ 세 자릿수를 하나 생각하세요.➋ 그 수를 두 번 연달아 씁니다.➌ 7로 나누세요.➍ 11로 나누세요.➎ 13으로 나누세요.➏ 처음에 생각한 수가 ... ...
- 도전 125년만에 풀린 '평면지도와 4색' 수수께끼과학동아 1995년 03호
- 확인하면서 진행하는 데 무려 6개월이나 걸렸다. 4색문제를 마지막으로 굴복시킨 아펠과 하켄의 이름은 영원히 수학사에 남을 것이다. 하지만 인간의 지성과 계산기의 증명에 관한 논의는 앞으로도 수학계의 큰 문제로 남게 됐다.인간의 힘으로는 도저히 확인할 수 없는 방대한 작업을 일일이 ... ...
- 1992를 해부하라과학동아 1992년 01호
- 증명이 어려운 문제인것만은 사실이다.그러나 1976년에 미국 일리노이대학의 아펠(Appel)과 하켄(Haken)이 컴퓨터를 사용해 증명하는데 성공했다. 이를 기념해 1978년 일리노이대학의 우체국은 '4색이면 충분하다'(foru colors Suffice)라고 쓰여진 스탬프를 사용하기도 했다. 그러나 컴퓨터를 사용한 증명은 ... ...
