컴퓨터 과학이 여는 세계 1

Study/기타

zeroplus1 2020. 6. 4. 15:06

컴퓨터라는 도구

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

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

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

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

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

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

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

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

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

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

universal machine ( = a Turing machine)