談話会・数理科学講演会

過去の記録 ~03/28次回の予定今後の予定 03/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