皆様，

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

日時： 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: [email protected] E-mail: [email protected]