[logic-ml] 千葉logic seminar

[arai toshiyasu]

みなさま

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

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

問合せ先
新井敏康（千葉大学）
tosarai at faculty.chiba-u.jp

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

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

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

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

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

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

-- 
新井敏康