엘런튜링1 2015.09.30 컴퓨터과학이 여는 세계 컴퓨터과학이 여는 세계저자이광근 지음출판사인사이트 | 2015-05-26 출간카테고리컴퓨터/IT책소개1. 컴퓨터/소프트웨어의 근본을 알려주는 교양과학서 오늘날 인류... 불완전성 정리 incompleteness theorem 아무리 추론 규칙(생각의 법칙) 들을 잘 만들어도, 그 법칙들만으로는 모든 참인 명제들을 길어 올릴 수 없다. 만든 그물을 빠져나가는 사실들은 반드시 있다. 이해가 생기면 체계가 생긴다. 체계가 생기면 대규모의 복잡한 것도 만들 수 있게 된다. 경험과 손재주로 한정되는 스케일을 돌파하게 된다. 속내용을 감추며 차곡차곡 쌓기 abstraction hierarchy차곡차곡 쌓기란 이러한 속내용 감추기가 모든 게층에서 준비된 것을 뜻한다. 즉 각 단계에서는 바로 아래 단계의 물건들을 사용.. 2015. 10. 1. 이전 1 다음