数学基礎論サマースクール2024
テーマ:算術の証明論と構成的数学
2024/09/17-2024/09/20
テーマ:算術の証明論と構成的数学
2024/09/17-2024/09/20
日時:2024/09/17(火) - 2024/09/20(金)
場所:東北大学情報科学研究科 (青葉山キャンパス) 情報科学研究棟2階大講義室
世話人: 根元多佳子(東北大学),横山啓太(東北大学)
世話人:横山啓太(東北大学), keita.yokoyama.c2[at]tohoku.ac.jp
本サマースクールでは、算術の証明論と構成的数学に関する入門的な講義を行います。
証明論の基礎から始め、ゲーデルの不完全性定理、逆数学、構成的数学などのトピックを扱う予定です。
学部生・大学院生を主な対象としていますが、興味のある方はどなたでも歓迎します。
参加希望の方は下記の google form から参加登録をお願いします。
https://forms.gle/ppoNXj1nK36gupPf9
登録締め切り:9月13日、ただし講義室の収容人数に達した場合はより早く締め切ることがあります。
懇親会の参加申し込みが会場を変更しました.少し人数に余裕ができましたので,予定通り13日まで受付致します.お騒がせ致しました.
以下の通り懇親会を予定しております。参加申し込みの google form よりお申し込みください。
日時:9月19日(木) 18:00~
会場:けやきダイニング(青葉山キャンパス) ※会場が変更になりました
会費:学生 3000円、一般 4000円
石原哉 (東邦大学)
根元多佳子 (東北大学)
倉橋太志 (神戸大学)
Giovanni Sambin (パドヴァ大学)
横山啓太 (東北大学)
※Sambin先生の講義は英語,入門的な内容を含め,それ以外の講義は日本語で行う予定です.
ご質問等ございましたら、世話人の横山 (keita.yokoyama.c2[at]tohoku.ac.jp) までお問い合わせください。