Alan Turing Centenary and Theory of Computation Summer School 2012


Date
06/23/2012 - 06/26/2012
Location
인터시티
Date : 2012. 6. 23 ~ 26 Place: Hotel Interciti, Daejeon 23일: 4층 라벤다 24-26일: 5층 에메랄드 * 방배정 결과를 Download에서 확인하시기 바랍니다. 2012년 올해는 현대 컴퓨터의 이론적 배경을 제시한 영국의 수리논리학자 앨런 튜링(Alan Turing)이 탄생한지 100주년이 되는 해이다. 튜링은 역시 수리논리학자인 괴델과 더불어 타임지가 선정한 20세기 100년간의 가장 중요했던 인물들 100명 중에 선정된 (단 두 명의) 수학자이다. 튜링 탄생 100주년을 맞아 영국을 중심으로 세계 각지에서 1년 내내 지속적인 학술 행사와 대중 강연, 공연, 전시 등이 계획되고 있다. 튜링의 업적, 특히 현대 컴퓨터 시대를 이끈 그 시작의 공헌으로 매우 성대한 프로그램이 계획되는 것이다. 이를 맞아 대한수리논리학회에서도 그의 생일인 6월 23일에 강연회, 그리고 연이어 6월 24-26일에는 그가 창시한 분야를 포함, 현대 컴퓨터 계산이론에 관한 여름학교를 개최한다. 현대 컴퓨터 및 관련기기는 눈부신 발전을 거듭하고 있지만, 아직도 컴퓨터 설계 기저의 계산이론은 튜링이 제안한 튜링기계가 바탕이다. 이는 그의 학문적 성과가 컴퓨터라는 매체를 통해 현대사회 전반에 얼마나 크게 영향력을 미치고 있는가를 나타낸다. 이번 강연회 및 여름학교를 통해 컴퓨터의 탄생에 기여한 수리논리학자들의 공헌을 되새기고, 컴퓨터 계산이론의 중요성을 인식시키는 교육의 장을 마련하고자 한다. Organizers 김병한: 연세대학교 수학과, bkim@yonsei.ac.kr 정주희: 경북대학교 수학교육과, jhjeong@knu.ac.kr 주최: 국가수리과학연구소 (NIMS) 주관: 대한수리논리학회 (KAML) 후원: 소프트웨어무결점연구센터 (ROSAEC Center)
img2