6월 23일 예정인 튜링 탄생 100주년 기념 강연회는 대한수리논리학회를 중심으로 대한수학회, 한국정보과학회, 수학사학회,
한국논리학회 등이 참여하는 매우 뜻 깊은 연합 학술대회이다. 또한 연이은 여름학교에서는 튜링이 창시한 재귀함수 이론
(recursion theory)에 관한 강의 및 100만 달러의 상금이 걸린 수학 millennium problem 중의 하나인 P, NP 문제와 관련된 계
산 복잡도 및 형식언어, 오토마타, 계산이론에 대한 강의가 계획되고 있다. 현재 잠정적 프로그램은 아래와 같다.

6월 23일
9:30-10:15 수학자, 컴퓨터를 만들다 - 박정일
10:15-11:00 튜링의 일생 - 박창균
11:15-12:00 튜링 머신, 현대 컴퓨터와 연관 - 이광근

1:30-2:15 괴델, 튜링, 결정가능성 문제 - 김병한
2:15-3:00 수학의 3번째 혁명과 전산논리학 – 박성우
3:15-4:00 Cryptography - 천정희
4:00-4:45 튜링과 인지과학 - 현우식
5:00-5:45 Quantum computing - 지동표

6:30- Banquet (자체 경비)

6월 24일
9:45~12:30: 형식언어와 오토마타 1 - 정주희
14:00~17:00: NP-Completness and the P vs NP Problem -정교민

6월 25일
09:00~12:00: 형식언어와 오토마타 2- 정주희
14:00~17:00: Computational Complexity - Jensen, Tommy Rene

6월 26일
09:00~12:00: 재귀함수이론 - 김병한
14:00~17:00: Computational Complexity - Jensen, Tommy Rene

 

2012년 올해는 현대 컴퓨터의 이론적 배경을 제시한 영국의 수리논리학자 알란 튜링(Alan Turing)이 탄생한지 100주년이 되 는 해이다. 영국을 중심으로 세계적으로 1년 내내 지속적인 학술 행사와 대중 강연, 공연, 전시 등이 계획되고 있다 (http://www.mathcomp.leeds.ac.uk/turing2012/ 참조). 튜링의 업적, 특히 현대 컴퓨터 시대를 이끈 그 시작의 공헌으로 매 우 성대한 프로그램이 계획되는 것이다. 이를 맞아 대한수리논리학회에서도 그의 생일인 6월 23일에 강연회, 그리고 연이어 6월 24-26일에는 그가 창시한 분야를 포 함, 현대 컴퓨터 계산이론에 관한 여름학교를 개최하려 한다. 튜링은 역시 수리논리학자인 괴델과 더불어 타임지가 선정한 20세기 100년간의 가장 중요했던 인물들 100명중에 선정된 (단 두 명의) 수학자이다. 현대 컴퓨터 및 관련기기는 눈부신 발전을 거듭하고 있지만, 아직도 컴퓨터 설계 기저의 계산이론은 튜링이 제한한 튜링기계 가 바탕이다. 이는 그의 학문적 영향력이 컴퓨터라는 매체를 통해 현대사회 전반에 얼마나 크게 영향력을 미치고 있는 가를 나타낸다. 이번 강연회 및 여름학교를 통해 국내에서도 컴퓨터의 탄생에 기여한 수리논리학자들의 공헌을 되새기고, 컴퓨터 계산이론의 중요성을 인식시키는 교육의 장을 마련하고자 한다.