基幹理工学部
数学科
Department of Mathematics
School of Fundamental Science and Engineering
第19回 早稲田大学 数学・応用数理談話会
日時
2018年07月12日 16:30 - 2018年07月12日 17:30
場所
早稲田大学 西早稲田キャンパス 63 号館 2 階 05 会議室
講演者
田中一之 (東北大学大学院理学研究科)
講演題目
ゲームとオートマトンと逆数学
講演要旨
１９世紀末に数学を基礎付ける目的で誕生した数学基礎論は集合や計算などの新しい数学概念を創出し，それらを基盤として位相，確率，ゲーム，組合せ，計算機などに関する数理科学が前世紀に大きく発展した．数理科学の離れた二分野の関係性を探ろうとするとき，同源となる数学基礎論を介することはしばしば有用であり，またそうすることが現代数学基礎論の中心的な研究にもつながっている．
　本講演では，とくにゲームと計算(オートマトン)の理論をつなぐ数学基礎論の役割について考察し，そのフィードバックとして得られる基礎論研究の一端を紹介する．例えば，種々のオートマトンで定義される無限ゲームの決定性に関する逆数学的分析が，李文娟（シンガポール南洋理工大学）との最近の共同研究でなされているので簡単に紹介したい．
*16:00-16:30 tea-time.
*掲示用ポスター（準備中）