컴퓨터과학이 여는 세계

Computer science is science of intelligence.Extension of Human Intelligence, Human Instince, Human Reality이 수업은 크게 네 가지 파트로 나눠져 있다.컴퓨터의 원천 아이디어컴퓨터의 구현

튜링 기계 : 튜링이 자신의 논문에서 수리명제 자동판결 문제가 풀릴 수 없음을 증명하기 위해 구상한 기계튜링은 몇 가지 추론 규칙을 기계적인 방식으로 조합하여 이 세상 모든 참인 수리 명제를 만들어낼 수 있다는 수리 명제 자동 판결 문제는 풀 수 없는 것임을 증명한다.

인류는 인간 지능의 자동화를 꿈꾸고 있었다. 그래서 이를 실현시키기 위해서 노력하는 이들이 있었다. 그러나 이 세력과는 별개로 수학과 논리의 진리를 탐구하는 이들도 있었다. 이들은 수학적 지식을 증명하여 생산하는 일이 몇 개의 단순한 규칙들의 조합을 통해서 이뤄진다고

컴퓨터의 원천 설계도는 튜링이 튜링 머신으로서 제시하였다.그리고 튜링 머신 중에서도 입력된 튜링 머신을 따라할 수 있는 것을 유니버셜 튜링 머신이라고 하는데, 이 유니버셜 튜링 머신이 지금의 컴퓨터에 해당한다.그러나 여기까지는 이론적으로 설계가 존재했을 뿐, 실물로서