談話会・数理科学講演会

過去の記録 ～04/28｜次回の予定｜今後の予定 04/29～

担当者 足助太郎，寺田至，長谷川立，宮本安人（委員長）
セミナーURL https://www.ms.u-tokyo.ac.jp/seminar/colloquium/index.html

2020年12月18日(金)

15:30-16:30   オンライン開催
参加を希望される場合は、下記URLから参加登録を行ってください。
新井 敏康 氏 (東京大学大学院数理科学研究科)
Hilbertの証明論 (JAPANESE)
[ 講演概要 ]
証明論を始めたD. Hilbertの目的をお話しした後, その考えを最も直截的に実現したW. Ackermannによる自然数の公理系の無矛盾性証明を説明します. 時間が許せば証明論での近年の進展も紹介します.
[ 参考URL ]
https://forms.gle/Nmi1KieFDjhchdU69