皆様

インスブリア大学のMarco Benini 先生の講演のお知らせです。 ふるってご参加ください。

問い合わせ先： 根元 多佳子 北陸先端科学技術大学院大学 情報科学研究科 e-mail: [email protected]

------------------------------ -------------------- * JAIST Logic Seminar Series *

* This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project CORCON.

Date: Thursday 22, May, 2014 15:30-17:00 Place: JAIST Collaboration Room 6 (I57-g) (Access:http://www.jaist.ac.jp/english/location/access.html) Speaker: Dr. Marco Benini

Title: Point-free foundations of Mathematics

Abstract: Is it possible to work with logical theories without assuming the existence of a universe where to interpret terms? This talk will positively answer to the above question in the case of first-order, intuitionistic-based theories by providing a class of models, defined inside Category Theory, such that they allow to interpret theories in a sound and complete way. Furthermore, the models explain the computational meaning of the corresponding theories via a semantic version of the Curry-Howard isomorphism. And their peculiar aspect is that they provide no universe where to interpret terms.