▶ 21세기 논리학 컴퓨팅적 사고를 키운다Q 컴퓨터 공학은 어떤 학문인가요?A 100년 전 사람들은 논리학을 통해 생각했다면 현대인들에게는 컴퓨팅적 사고(Computational Thinking)가 그 역할을 대신하고 있습니다. 컴퓨팅적 사고란 우리가 풀기 어려운 아주 복잡한 문제를 컴퓨터가 생각할 수 있는 형태로 ...
이번 달 8월 13일부터 21일까지 서울에서 세계수학자대회가 열린다. 대회를 앞두고 수학자들의 소셜 네트워크, 그리고 네트워크의 사회적 시공간 속에서의 위치에 대해 생각해 보았다.공저거리 계산기미국수학회에서 운영하는 웹사이트 ‘매스사이넷(Math-SciNet)’에는 일종의 수학계 사회학 정도를 ...
개발하기 위해서는 수학, 특히 수리논리학에 대한 깊이 있는 지식이 필요하다. 수리논리학은 인공지능이 지식을 표현하고 추론하기 위한 사고의 규칙을 제시하기 때문이다. 인간의 행동을 모방하기 위해 인간의 뇌와 심리에 대해 이해하고, 컴퓨터 프로그램 언어를 아는 것도 기본이다.이제 영화 속 ...
수학자가 전쟁을 바꾼 일화로 회자되곤 한다. 컴퓨터의 발명을 이끈 수리논리학자수학자로서 튜링의 가장 큰 업적은 힐베르트가 제시했던 결정가능성 문제에 답을 준 것이다. 결정가능성 문제란, ‘명제들의 참과 거짓을 판별하는 판별방법이 존재하는가’라는 논리학적 ...
안녕하십니까? 여기는 올림픽이 열리는 뜨거운 런던…이 아니라 별별 수학올림픽이 열리는 수학스타디움입니다. 최초로 열리는 이 올림픽에서는 오뚜기상, 창과방패상, 넘사벽상, 황금알상 모두 네 개 부문으로 나눠 최고 수학자를 선발할텐데요, 말씀 드리는 순간! 은둔의 수학자로 알려진 페렐 ...
한국 수학계는 빠르게 성장해 왔지만 빙상계 김연아 선수나 음악계 장영주 바이올리니스트와 같은 스타가 없습니다. 이제 수학의 대중화가 시급하다고 봅니다.”대한수학회 회장 김도한 서울대 교수는 지난 12월 4일 대전 국가수리과학연구소에서 열린 ‘수리과학 대중화를 위한 융·복합워크숍’ ...
특히 수학의 어떤 이론이 참임을 증명할 때 수리논리학을 이용하지요. 따라서 수리논리학을 잘 하면 수학도 법학도 잘할 수 있답니다.그러면 법논리학을 왜 공부해야 할까요? 변호사, 검사, 판사는 어떤 사건에 법을 적용해 변론하거나 수사를 지휘하거나 판결하는 사람이에요. 따라서 올바르게 ...
노량진 메가스터디 수리논술단과 대표 강사이며 오승준 수리논술팀 연구실장으로 메가스터디 온라인 강사로도 활동하고 있다. 올해부터는 로스쿨 대비를 위한 법학적성시험(LEET)에서 추리논증을 가르치고 있으며 수리뿐 아니라 논리학의 재미에 빠져 그 영역을 넓히고 있다.여러 가지 문제를 해결 ...
살 즈음 어떤 사람이 괴델의 불완전성원리를 말해줬는데, 거기에 매료돼 박사과정에서는 수리논리학도 공부했다. 지금 연구하고 있는 양자정보이론에 관심을 갖게 만든 사람은 대학 동기인 스티븐 위스너였는데, 그는 내게 양자정보이론에 관한 독창적인 아이디어를 종종 던졌다.사진 찍는 솜씨가 ...
스위스 건축가의 디자인에 따라 강철빔을 얼기설기 짜 넣은 구조 때문에 ‘새둥지’라는 별명을 가진 주경기장은 4억 5000만 달러(약 4500억 원)짜리 베이징올림픽 중심건축물이다. 높이 70m, 길이 330m, 폭 200m에 9만 1000명까지 수용할 수 있는 주경기장에서는 개막식, 폐회식, 육상경기, 남자축구 결승 ...