본문 바로가기 메뉴바로가기

Scholarship Event

Conference

Alan Turing Centenary and Theory of Computation Summer School 2012

  • Announcement  박정일 외
  • Date  2012-06-23 ~ 2012-06-26
  • Place  호텔 인터시티
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명중에 선정된 (단 두 명의) 수학자이다. 현대 컴퓨터 및 관련기기는 눈부신 발전을 거듭하고 있지만, 아직도 컴퓨터 설계 기저의 계산이론은 튜링이 제한한 튜링기계 가 바탕이다. 이는 그의 학문적 영향력이 컴퓨터라는 매체를 통해 현대사회 전반에 얼마나 크게 영향력을 미치고 있는 가를 나타낸다. 이번 강연회 및 여름학교를 통해 국내에서도 컴퓨터의 탄생에 기여한 수리논리학자들의 공헌을 되새기고, 컴퓨터 계산이론의 중요성을 인식시키는 교육의 장을 마련하고자 한다.
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명중에 선정된 (단 두 명의) 수학자이다. 현대 컴퓨터 및 관련기기는 눈부신 발전을 거듭하고 있지만, 아직도 컴퓨터 설계 기저의 계산이론은 튜링이 제한한 튜링기계 가 바탕이다. 이는 그의 학문적 영향력이 컴퓨터라는 매체를 통해 현대사회 전반에 얼마나 크게 영향력을 미치고 있는 가를 나타낸다. 이번 강연회 및 여름학교를 통해 국내에서도 컴퓨터의 탄생에 기여한 수리논리학자들의 공헌을 되새기고, 컴퓨터 계산이론의 중요성을 인식시키는 교육의 장을 마련하고자 한다.