컴퓨터 과학 썸네일형 리스트형 컴퓨터과학이 여는 세계_1.5 괴델의 불완전성 정리와 튜링의 증명_이광근 강좌 동영상 1931년 괴델에 의해서 '기계적인 방식만으론 사실인지 판정할 수 없는 그런 명제가 존재한다'라는 괴델의 불완성 정리가 증명이 되었다. 당시 수학학계에선 이 사실이 쓰여진 논문에 대해서 엄청난 파장이 일어났다. 이후, 비슷한 시기에 청년 튜링이 막스 뉴먼 이라는 교사에게 미국으로 유학가기 전에 괴델의 증명 강의를 듣게 되었다.[사진 출처: 위키피디아] 이것을 듣고 튜링은 새로 생긴 취미인 달리기를 한 뒤 풀밭에 누워 갑자기 한 생각이 떠올라 논문을 작성하게 된다. 논문의 제목은 『On Computable Numbers, with an Application to the Entscheidungsproblems(계산 가능한 수에 대해서, 구리명제 자동판별 문제에 응용하면서)』 이 논문은 괴델의 정.. 더보기 컴퓨터과학이 여는 세계_1.4 컴퓨터의 탄생비화2-자동판결/기계적추론 이란_이광근 강좌 동영상 수학에서 이야기하는 모든 참인 명제들을 찾아내는 기계를 만들자고 이야기가 나왔다. 이는 몇가지의 추론 규칙들을 가지고 기계적으로 참인 명제들을 찾아낸다는 것이다. 여기서 기계적이란 것은 각 과정을 이해하지 못하더라도 그냥 따라한다는 것이다. 예를 들어 눈 앞에 무언가가 나타나거나 달려든다면, 대부분 기계적으로 눈을 깜빡이게 되는 것처럼 말이다. 어린 아이에게 몇가지의 규칙을 알려주고 해보라고 해도, '이게 사실이니까 이것도 사실이네' 하면서 기계적으로 참인 것들을 찾아낼 것이니 이걸 빠르게 찾아보자고 나온게 결국 컴퓨터이다.다음은 몇가지의 추론 규칙이다.(이상한 기호들이 난잡하게 있지만, 필자도 이해 못해서 설명은 못하겠다. 강좌에서 몇개 설명해준다) 만약 A그리고 B가 참이면, A가 참이다.. 더보기 컴퓨터과학이 여는 세계_1.3 컴퓨터의 탄생비화1-수리명제 자동판결 문제_이광근 강좌 동영상 컴퓨터는 가위, 활, 톱니바퀴 처럼 사람이 고안한 도구이지만 그것들과는 다른 특이점이 있다. 바로, 다른 도구들은 가위는 자르는데, 활은 화살을 발사하는데, 톱니바퀴는 힘을 전달하며 구르는데 주로 사용하지만 컴퓨터는 보편적 만능도구라는 점이다. 주변에 보이는 물건들은 주로 물리적인 힘을 가해서 그 물건을 사용한다.하지만, 컴퓨터는 사용방법이 사뭇 다른데, 지혜를 사용해 언어로 컴퓨터를 다룬다. 이것이 흔히 말하는 소프트웨어이다. 다시 말해서, 컴퓨터는 사람이 할 일들을 지혜를 사용해 정리하고 컴퓨터에게 알아들을 수 있는 언어로 그 명령들을 전달해 수행하게 하는 도구이다. 보편 만능의 도구(Universal Machine)은 세상에 다음과 같은 혁신을 일으켰다.-20세기 수학적으로 불가능함을 .. 더보기 컴퓨터과학이 여는 세계_1.2 강의소개 및 계획소개_이광근 강좌 동영상 책차례책을 쓰게 된 동기와 인트로이다.인류가 만든 많은 도구는 물리적인 도구이지만컴퓨터는 '마음의 도구'이며 그 도구는 언어로 다룬다. 1936년 앨런 튜링이 썼던 초기 컴퓨터의 논문을 그대로 따라간 내용이다.보편만능의 기계, 컴퓨터가 어떻게 구상되어 있는지에 대해 다룬다.400년간 축적된 기술로 어떻게 컴퓨터가 만들어지는지에 대한 내용을 담고 있다.또, 400년과는 다른 100년간의 수학적 움직임에 대한 내용도 있다.이뿐만 아니라, 1854년 조지 부울과 섀넌이라는 사람이 뭘 했는지에 대해서도 다룬다.컴퓨터를 다루는 데에 있어서 큰 기둥 두개 알고리즘과 언어에 대하여 다룬다. 알고리즘은 알고리즘과 복잡도라고도 표현하는데, 같은 일을 수행하는데에 있어서 더 빨리 처리하는 방법, 더 복잡하게 .. 더보기 컴퓨터과학이 여는 세계_1.1 과목소개_이광근 강좌 동영상과목 목표 컴퓨터가 만들었던 여러 세계들의 굵직한 사건들을 다루기 위함. 또, 다음 네 가지 정도를 염두해 두고 과목을 제작함●밑거름:메스컴으로 표면적으로만 만났던 컴퓨터를 쉽게 익혀 삶의 밑거름이 된다.●안목:컴퓨터와 SW는 우리 일상에 중요한 인프라가 되었다. 이로 원천 아이디어를 이해해서 미래에 가능한 응용을 창조하거나 예측할 수 있는 안목을 기를 수 있다.●확장:다른 분야에서도 컴퓨터가 관련되어 있고, 그 분야 덕분에 컴퓨터가 또 발전한다. 따라서 컴퓨터를 잘 이해하여 다른 분야에 있더라도 컴퓨터로 더 발전시킬 수 있다.●기회:컴퓨터 과학은 1936년 정도에 시작한 100년도 채 안된 젊은 분야이다. 그리하여 컴퓨터라는 기술은 향후 발전 가능성은 무궁무진 하며, 다양한 기회를 접할 수 .. 더보기 이전 1 2 3 4 다음
