KAML
학회 소식

매 학기 개설되는 연세대학교 수리논리학 관련 강의에 대한 문의는 hyoyoonlee@yonsei.ac.kr 로 주시기 바랍니다.

  • The 17th Asian Logic Conference가 2023년 10월 9일 ~ 13일 중국 톈진에서 열립니다.

  • Model Theory Conference in Seoul이 2023년 8월 28일 ~ 30일 연세대학교에서 열립니다. 많은 관심 부탁드립니다.

  • 이정욱 박사는 2023년 3월 창원대학교의 부교수로 부임했습니다.

  • 박우석 명예교수(KAIST) 번역의 '아리스토텔레스주의 실재론적 수학철학'이 대한수리논리학회 수리논리 연구 시리즈 4권으로 경문사에서 2022년 출간되었습니다.

  • 이계식 교수(한경대)는 ASL East Asia committee의 새 위원이 되었습니다. (ASL 홈페이지 참조)

  • 김병한 교수(연세대), 박창균 교수(서경대), 현우식 교수(호서대) 번역의 괴델전기 '논리적 딜레마'가 대한수리논리학회 수리논리 연구 시리즈 2권으로 경문사에서 2016년 출간되었습니다.

  • 계승혁 교수(서울대)의 저서 '집합과 수의 체계'가 대한수리논리학회 수리논리 연구 시리즈 3권으로 경문사에서 2015년 출간되었습니다.

  • The 15th Asian Logic Conference가 2017년 한국에서 열립니다. 많은 참여와 성원을 부탁드립니다.(ASL 홈페이지 참조)

  • 이계식 교수(한경대)는 2015년 1월 인도 뭄바이의 IIT에서 열린 The 14th Asian Logic Conference의 Proof Theory Special Session에서 초청강연을 하였습니다.

  • 김병한 교수(연세대)의 저술 'Simplicity Theory'가 2014년 옥스퍼드 대학 출판부에서 Oxford Logic Guides 53권으로 출간되었습니다.

  • 김병한 교수(연세대)는 2014년 8월 서울에서 열린 세계수학자대회(International Congress of Mathematicians)의 수리논리 및 기초론(Logic and Foundation) 섹션에서 동아시아인 최초로 초청강연을 하였습니다.

  • 현우식 교수(호서대)의 저서 '신의 존재에 대한 괴델의 수학적 증명'이 2013년 경문사에서 출판되었습니다.

  • 정주희 교수(경북대)의 저서 '수리논리와 집합론 입문'이 대한수리논리학회 수리논리 연구 시리즈 1권으로 경문사에서 2012년 출간되었습니다.