WIAS Top Runners’ Lecture Collection:
“Proof Theory and Computation (1) & (2) “（3/16-17）
講演者 / Speaker
SCHWICHTENBERG, Helmut （Professor, Ludwig-Maximilians-Universität München）
プログラム / Schedule
“Proof Theory and Computation (1) ” / 2018年3月16日（金）16:00～18:00
“Proof Theory and Computation (2)” / 2018年3月17日（土）16:00～18:00
会 場 / Venue
早稲田大学 早稲田キャンパス 26号館 11階 1102教室
主 旨 / Outline
人間は古くから真理を探究し，証明によってその裏付けを与えようとしてきましたが，現代的な証明論が確立されたのはおおよそ20世紀になってからです．
特に，1930年代に計算の概念が定式化されその数学的理論が確立されて以降，証明論は計算の概念と密接に関連しながら数学基礎論の一分野として大きく発展してきました．
今回の Top Runners’ Lecture Collection では証明論の教科書的文献である Basic Proof Theory 及び近年出版された Proofs and Computations (共に Cambridge University Press より出版)の著者の一人である Helmut Schwichtenberg 教授（ルートヴィヒ・マクシミリアン大学ミュンヘン）をお招きし，証明と計算に関する2日間の連続講義をしていただきます．
本講義では，証明論や計算理論の基礎をある程度学んでいることを前提とし (主たる聴衆として数学基礎論を学ぶ大学院生及び若手研究者を想定しています)，研究レベルの発展的な内容につながるお話をしていただく予定です．
講演要旨 / Abstract & プレゼン資料 / Presentation Slides
講演要旨 こちらからご覧ください。
プレゼン資料 こちらからご覧ください。
コーディネーター / Coordinator
藤原 誠 （早稲田大学 高等研究所 助教）
秋吉 亮太（早稲田大学 高等研究所 准教授）
対 象 / Prospected Audience
学部生・大学院生・教職員・一般
言 語 / Language
英語
主 催 / Organizer
早稲田大学 高等研究所
申込み / Registration
事前申込み不要です。直接会場にお越しください。
ポスター / Poster
