KAML
대한수리논리학회

Korean Association for Mathematical Logic (KAML)

5대 회장 인사말(이정욱 교수, 국립창원대학교 수학과)

대한수리논리학회가 2006년 말 창립된 이후, 어느덧 19년의 시간이 흘렀습니다. 초대 회장 박창균 교수님, 2대 회장 정주희 교수님, 3대 회장 김병한 교수님, 그리고 4대 회장 Martin Ziegler 교수님의 지도하에 학회는 눈부신 발전을 해왔습니다. 이 자리를 빌어 감사를 드리며, 다음 임기를 담당한 저로서 어깨가 매우 무겁습니다.

학회의 부단한 노력으로 인해, 수리논리학의 불모지였던 한국에서 많은 성과가 있었습니다. 우선 다양한 수리논리학 주요 분야의 한글 전문 서적들이 출간되어, 한국 수리논리학 교육에 크게 이바지해 왔습니다. 2012년 대한수리논리학회 수리논리 연구 시리즈 1권 정주희 교수님의 저서 ‘수리논리와 입문’의 출간을 시작으로 이제까지 총 4권의 수리논리 연구 시리즈가 출판되었으며, 2014년 김병한 교수님의 ‘Simplicity Theory’가 옥스퍼드 대학출판부에서 Oxford Logic Guides 53권으로 출판되었습니다.

또한, 학회 창립 이후, 정기적으로 크고 작은 학술대회를 개최하여 관련분야의 국내외 학자들과 교류하였고, 국내 수리논리학의 전파와 교육을 위한 다양한 학술 활동을 해왔습니다. 2006년 괴델 탄생 백 주년 기념 강연회를 시작으로, 2012년 튜링 탄생 100주년 기념 학술대회 개최하였으며, 특히, 2017년에는 아시아-오세아니아 지역 최고의 기호논리학 국제 학술대회인 15차 Asian Logic Conference가 성공적으로 한국에서 개최되었습니다. 특히, 2014년 세계수학자대회에 동아시아인 최초로 김병한 교수님이 수리논리 분야에 초청되는 큰 쾌거를 이루었으며, ALC에 회원님들이 지속해서 기조 강연 및 세션 강연에 초청되는 등 한국 논리학계의 국제적 위상이 높아졌습니다.

무엇보다도 국내에서 수리논리학 후속세대가 지속해서 배출되는 큰 성과를 이루었습니다. 한국에서 최초로 김병한 교수님 지도하에, 수학에서 김형준 박사가 2011년 수리논리학 박사 학위를 받은 이래, 이후 총 5명의 수리논리학 박사가 추가 배출되었습니다. 또한, 전산학에서 Martin Ziegler 교수님 지도하에 박세원 박사가 최초로 2021년 전산논리로 박사 학위를 받았으며, 철학에서 정인교 교수님 지도하에 최승락 박사가 2019년 논리학으로 박사 학위를 받는 등, 수리논리학과 연결된 다양한 논리학 분야에서 박사가 꾸준히 배출되고 있습니다.

그동안 발전해 온 국내 수리논리학의 엔진이 꺼지지 않도록, 저는 국내 수리논리학 후속세대를 위한 학문의 증진, 전파, 및 교육에 중점을 학회 활동의 구심점으로 두려고 합니다. 이를 위해, 수리논리학의 다양한 분야를 배우고 동료 선후배 학자들이 연구 교류를 할 수 있는, 여름/겨울 학교, 워크숍, 온오프라인 세미나 등의 개최를 통한 교류의 장을 활성화하는 데 노력하려 합니다. 회원님들의 성원과 헌신을 기대합니다.

2024년 1월
대한수리논리학회장 이정욱

관련 사이트

메일링 리스트 문의 및 학회 홈페이지 관련 의견 전달

대한수리논리학회의 소식이나 학술행사를 이메일로 전달받고 싶으시거나, 학회에 의견이나 질문을 전달하고자 하시는 분은 관리자(hyoyoonlee@yonsei.ac.kr 또는 gslee@hknu.ac.kr)에게 연락주시기 바랍니다.