수요 응용수학 세미나
연사 : 최창선교수(KAIST 수리과학과)
제목 : "수리논리학으로의 초대"
일시 : 2007. 3. 7(수), 오후 5시
장소 : 수리과학과 산업경영학동 3221호 세미나실
요약 : 수리 논리학은 전통적인 아리스토텔레스 논리학을 기호로 이용하여
         수학화한 수학 철학의 한 분야이다. 이 강의에서는 처음 논리학을
         접하는 사람들 위하여 수리 논리학에서 가장 간단한 체계인 명제
         논리를 소개한다. 명제를 정의하고 항진 명제가 무엇인지 설명한
         다음 Hilbert 방식의 공리계를 도입하여 증명되는 모든 정리는 항진
         명제이고 (soundness), 역으로 모든 항진 명제는 정리임을 보일
         것이다 (completeness). 시간이 허락되면 술어 논리체계와 괴델의
         불완전성의 정리도 소개할 것이다.

*  발표 후에는 응용수학세미나 그룹에서 신입생 환영회를 합니다.
    석사1학년들의 많은 참여를 바랍니다.
    장소는 한식당인 상춘 (왕비성 옆)입니다.