Difference between r1.1 and the current
@@ -1,4 +1,5 @@
#noindex
046.016 컴퓨터과학이 여는 세계 Computational Civilization
http://kwangkeunyi.snu.ac.kr/046.016/16/
https://www.youtube.com/playlist?list=PL0Nf1KJu6Ui7yoc9RQ2TiiYL9Z0MKoggH
= 1.1 과목소개 =046.016 컴퓨터과학이 여는 세계 Computational Civilization
http://kwangkeunyi.snu.ac.kr/046.016/16/
1.3 컴퓨터의 탄생비화 1 - 수리명제 자동판멸 문제 ¶
수학자들의 꿈
1928년 국제수학자대회(ICM)
수리명제 자동판결 문제(decision problem)
수리명제 자동판결: 기계적인 방식(기계적 추론)으로 수학의 모든 사실을 길어올리는 것.
1928년 국제수학자대회(ICM)
수리명제 자동판결 문제(decision problem)
수리명제 자동판결: 기계적인 방식(기계적 추론)으로 수학의 모든 사실을 길어올리는 것.
1.5 괴델의 불완전성 정리와 튜링의 증명 ¶
1931년 수학계의 좌절 혹은 희소식
"기계적인 방식만으론 사실인지 판정할 수 없는 그런 명제가 존재한다"
튜링이 증명.
"기계적인 방식만으론 사실인지 판정할 수 없는 그런 명제가 존재한다"
튜링이 증명.
기계적인 방식(계산)이라는 것이 무언지 정의하는 방식으로.