주제강의: Ivo Herzog 교수 (연세대, Ohio State) Mathematics in Gödel's constructible universe L
기조강연: Yasuo Yoshinobu 교수 (Nagoya)
초청강연:
정주희 교수 (경북대, 수리논리)
김병한 교수 (연세대, 수리논리)
박창균 교수 (서경대, 수리철학)
이계식 박사 (서울대, 수리논리)
정인교 교수 (고려대, 수리철학)
변석우 교수 (경성대, 프로그램언어)
신승철 교수 (한국기술교육대, 프로그램언어)
박성우 교수 (포항공대, 프로그램언어)
Organizing Committee:
정주희 교수 (경북대, 수리논리)
김병한 교수 (연세대, 수리논리)

"집합론 연속체 가설의 독립성 증명에 사용된, 괴델의 구성가능 세계 L의 이해"가 이번 여름학교의 주제입니다.
Ivo Herzog 교수가 12시간 주제 강의를 하고, L에서 성립하는 다이아몬드 성질과 그에 따른 대수적 군론의 결과를
소개합니다. 국제적 집합론 학자들의 강연과, 수리철학, 프로그램 언어 등 수리논리 관련분야의 강연도 있습니다.
처음 수리논리를 접하는 분들을 위해 수리논리의 기초와, 괴델의 연속체 가설 독립성 증명 개요도 강의합니다.
관심 있는 분들의 많은 호응 바랍니다.

 

첨부파일 참조