視聴に際しての注意事項
このページに含まれる映像は自由に視聴することができますが、許可無くコピー・配布などの行為を禁止します。
日時: 2020年12月18日(金) 15:30-16:30
会場:オンライン開催
新井 敏康 氏 (東京大学大学院数理科学研究科)
Hilbertの証明論 (JAPANESE)
証明論を始めたD. Hilbertの目的をお話しした後, その考えを最も直截的に実現したW. Ackermannによる自然数の公理系の無矛盾性証明を説明します. 時間が許せば証明論での近年の進展も紹介します.