[logic-ml] 東北大学ロジックセミナー（7/22）

[higurashi3873 at yahoo.co.jp]

皆様，

東北大学の堀畑佳宏です．
下記の日程でロジックセミナーを行いますので，興味のある方はぜひご参加ください．

日時： 7月22日(金)，16時から
場所： 東北大学北青葉山キャンパス理学総合棟1201号室
発表者： Antonina Kolokolova (Memorial University of Newfoundland, Canada)
タイトル： Expressing versus Proving: Relating Forms of Complexity in Logic
アブストラクト：
The program of Bounded Reverse Mathematics studies computational complexity of concepts needed to prove theorems.  But what does it mean to have a theorem provable with, for example, polynomial-time concepts, or non-deterministic logspace concepts?  This talk presents a framework for defining theories of (bounded) arithmetic corresponding precisely to feasible complexity classes. In particular, I will talk about building theories of bounded arithmetic based on logics (in finite model theory sense) of known descriptive complexity.



セミナーの詳細につきましては，下記をご参照ください．
https://sites.google.com/site/sendailogichomepage/


堀畑　佳宏
-- --
東北大学大学院　理学研究科
数学専攻　博士後期課程三年
E-mail: sa6m31 at math.tohoku.ac.jp
E-mail: higurashi3873 at yahoo.co.jp