[logic-ml] 千葉logic seminar

みなさま

新井@千葉大学です。 千葉 logic seminar の第4回のお知らせです。

どなたでも参加できますので どうぞ気軽にいらっしゃって下さい。

問合せ先 新井敏康（千葉大学） [email protected]

------------------------------------------

日時：12月10日(水)13:30-15:300 場所：千葉大学理学部2号館105号室 アクセスは http://www.chiba-u.ac.jp/campus_map/nishichiba/index.html の地図の黄色い理学部の中で数字2が付いている建物の1階です。

講演者：秋吉亮太（京都大学）

タイトル： ブラウワーのバー帰納法の証明論的分析

アブストラクト: ブラウワーのバー帰納法は，直観主義数学において（ファン定理と並ぶ）根本原理の一つである． 本発表では，バー帰納法をブフホルツのΩ規則によって分析し，いくつかの結果を紹介する．また， 時間が許せば，この分析が，バー帰納法のブラワウー自身による正当化の再構成になっていることにもふれる．

------------------------------------------