2009 NIMS Logic Summer School 수리논리 여름학교

집합론, 다이아몬드를 찾아서

Set Theory, a passage to the diamond

기간 : 2009년 6월 18일(목) ~ 22일(월)

장소 : 대전 스파피아 호텔 http://www.hotelspapia.com

주제강의: Ivo Herzog 교수 (연세대, Ohio State) Mathematics in Gödel's constructible universe L

기조강연: Yasuo Yoshinobu 교수 (Nagoya)

초청강연:

정주희 교수 (경북대, 수리논리)

김병한 교수 (연세대, 수리논리)

박창균 교수 (서경대, 수리철학)

이계식 박사 (서울대, 수리논리)

정인교 교수 (고려대, 수리철학)

변석우 교수 (경성대, 프로그램언어)

신승철 교수 (한국기술교육대, 프로그램언어)

박성우 교수 (포항공대, 프로그램언어)

Organizing Committee:

정주희 교수 (경북대, 수리논리)

김병한 교수 (연세대, 수리논리)

"집합론 연속체 가설의 독립성 증명에 사용된, 괴델의 구성가능 세계 L의 이해"가 이번 여름학교의 주제입니다.

Ivo Herzog 교수가 12시간 주제 강의를 하고, L에서 성립하는 다이아몬드 성질과 그에 따른 대수적 군론의 결과를

소개합니다. 국제적 집합론 학자들의 강연과, 수리철학, 프로그램 언어 등 수리논리 관련분야의 강연도 있습니다.

처음 수리논리를 접하는 분들을 위해 수리논리의 기초와, 괴델의 연속체 가설 독립성 증명 개요도 강의합니다.

관심 있는 분들의 많은 호응 바랍니다.

주관기관 : 국가수리과학연구소(NIMS)

홈페이지 : www.nims.re.kr/school/logic2009

등록비 : 30,000(학생 20,000)원

참가자 모두에게 숙식 + Banquet 제공

참가신청서(홈페이지) 제출 : 김형준

기타 : 자세한 사항은 첨부파일 참조