【日時】
2019年7月13日（土）13:00～14:30 開場12:45
【会場】
書泉グランデ7階
【参加費】
無料
【お申込み方法】
書泉グランデ4階レジ、および電話右上お問い合わせボタンより予約も承ります。
①イベント名【田中一之先生講演会】、②お名前、③電話番号 を明記の上お申し込み下さい。
【講演タイトル】
数学基礎論の復興（ルネッサンス） ―ヒルベルトのプログラムから逆数学へ―
約100年前、数学の証明を記号代数的に形式化して分析しようとしたヒルベルトの試みは、
ゲーデルの定理によって修正を余儀なくされると共に一層深化し、
数学の一分野としての数理論理学（ロジック）が花開いた。
しかし、ロジックの技術発展の陰で、数学の基礎に絡む諸問題は手付かずに半世紀以上放置されていた。
満を持して、基礎論の原点回帰を掲げたのが逆数学プログラムである。
本講演では、ヒルベルトのプログラム後の100年を振り返りながら逆数学の最前線へと誘う。
