Jean-Yves Girard教授講演会

日時： 2005年3月30日

場所： 慶應義塾大学 21世紀COE人文科学研究拠点 三田東宝ビル8F会議室
(JR田町駅、都営地下鉄三田駅、赤羽橋駅から徒歩5分)

Place: Keio University, Keio University, Mita-Campus (downtown Tokyo, 5 minutes walk from JR-Tamachi St or Subway-Mita St), 8F Floor of the Mita-Toho building (Centre for Integrated Research on the Mind)

講演者： Jean-Yves Girard (Institut de Mathematiques de Luminiy, Marseille)

タイトル： ``TOWARDS A HYPERFINITE INTERPRETATION OF LOGIC''

アブストラクト：

We implement Geometry of Interaction inside a specific presentation of the hyperfinite factor of type $\Pi_{1}$, i.e., the von Neumann algebra of a certain group G. This group is supposed to represent syntactic manipulations,basically finite permutations and formation of boxes. Hyperfinitsm means that the complexity of cut-elimination can be bounded in advance. This should logically interpret light logics in the style ELL/LLL.

問合せ先：
慶應義塾大学 21世紀COE人文科学研究拠点
「心の統合的研究」センター ワークショップ事務局
住所: 東京都港区三田3-1-7 三田東宝ビル8F
電話: 代表 03-5427-1156 (内線 23864)
e-mail： philosophy at abelard.flet.keio.ac.jp