www.youtube.com/watch?v=HTWSPoDLmHI&list=PL0Nf1KJu6Ui7yoc9RQ2TiiYL9Z0MKoggH
1.pdf
4.58MB
2.pdf
3.35MB
3.pdf
8.76MB
4.pdf
7.80MB
컴퓨터라는 도구
-인류 역사에 유례가 없던 도구 |
컴퓨터 디자인의 탄생 비화 : 보편만능의 도구(universal machine)
-20세기 수학의 좌절을 재확인하는데 동원된 소품 -이것이 20세기 정보혁명의 주인공이 되는 아이러니 |
-David Hilbert : 사람들이 알려진 사실로 부터 명백한 사실을 끄집어내는 것은 몇개 없다. A이면 B이다. -> 사람이면 죽는다. 1. 추론규칙 2. |
손기정과 알란 튜링은 동갑임.
- 런던 수리확회 논문에 게재됨.
- 괴델 : 기계적인 방식으로 만들어지는 식은 불가능하다.
-앨런튜링 : 기계적인 방식을 정의함.
Def. 기계적인 계산 : 부품박스에 있는것으로만 만들수 있는 것.
튜링 기계 : 튜링이 자신의 논문에서 수리명제 자동판결 문제가 풀릴 수 없음을 증명하기 위해 구상한 기계
universal machine ( = a Turing machine)
'Study > 기타' 카테고리의 다른 글
mbot 배터리 업그레이드 하기 (0) | 2020.09.15 |
---|---|
자동글쓰기(인공지능) (1) | 2020.06.15 |
클로바 폰트 (0) | 2020.05.12 |
유용한 사이트 (0) | 2018.12.19 |
윈도10 다운로드 (0) | 2018.11.11 |