컴퓨터 과학이 여는 세계 1

www.youtube.com/watch?v=HTWSPoDLmHI&list=PL0Nf1KJu6Ui7yoc9RQ2TiiYL9Z0MKoggH

1.pdf

4.58MB

2.pdf

3.35MB

3.pdf

8.76MB

4.pdf

7.80MB

컴퓨터라는 도구

-인류 역사에 유례가 없던 도구 -컴퓨터 vs 칼, 활, 바퀴, 고무밴드, 자동차, 냉장고.... -컴퓨터라는 도구의 놀라은 특이점은 뭘까? 모든 문제를 해결할 수 있음(범용) -컴퓨터를 사용하는 방법 : 언어와 지혜(소프트웨어)

컴퓨터 디자인의 탄생 비화 : 보편만능의 도구(universal machine)

-20세기 수학의 좌절을 재확인하는데 동원된 소품 -이것이 20세기 정보혁명의 주인공이 되는 아이러니

 

-David Hilbert : 사람들이 알려진 사실로 부터 명백한 사실을 끄집어내는 것은 몇개 없다. A이면 B이다. -> 사람이면 죽는다.  1. 추론규칙 2.

 

손기정과 알란 튜링은 동갑임. 

- 런던 수리확회 논문에 게재됨.

 

- 괴델 : 기계적인 방식으로 만들어지는 식은 불가능하다.

-앨런튜링 : 기계적인 방식을 정의함. 

 Def. 기계적인 계산 : 부품박스에 있는것으로만 만들수 있는 것.

 

튜링 기계 : 튜링이 자신의 논문에서 수리명제 자동판결 문제가 풀릴 수 없음을 증명하기 위해 구상한 기계

universal machine ( = a Turing machine)