数理解析研究所 特定研究員の宮部です。
重複して受け取られた場合はご容赦ください．
RIMSでは、2週間に1度、GCOE tea timeを行っています。 http://www.kurims.kyoto-u.ac.jp/~kenkyubu/gcoe/2008teatime.html
来週、2011年11月1日(火)、第48回 GCOE tea timeでは、 Micheleが話をします。 時間のご都合がよろしければ是非ご参加ください．
講演者： Michele BASALDELLA (数理解析研究所 研究員)
タイトル: Dilators: a gentle introduction
講演の概要: We aim to recall some basic aspects of the concept of dilator, a notion which has been introduced in proof-theory (a branch of mathematical logic) by J.-Y. Girard about 30 years ago. Essentially, a dilator is a certain kind of endofunctor of the category of the ordinal numbers, which can be thought as an abstract counterpart of the more concrete system of ordinal notation which are abundant in proof-theory. In this introductory talk, we recall the notion of denotation system (a kind of generalization of the Cantor normal form representation of the ordinal numbers), the notion of dilator, and show a correspondence between them.
なお、この講演は英語で行われます。
時間(Time)：15:00-16:00
場所(Place)：数理解析研究所402号室(RIMS, Room 402)