Jean-Yves Girard 教授インフォーマルレクチャー / Prof. Jean-Yves Girard Informal Lectures

日時:

2015年11月10日, 17日, 24日(火). 18:00-

Date:

November 10, 17 & 24th, 2015. 18:00-

場所:

慶應義塾大学三田キャンパス大学院棟1F 313教室.

Place:

Room 313, 1F of Graduate School Building, Mita Campus of Keio University

慶應義塾大学に滞在されているジャン=イヴ・ジラール教授に、インフォーマルな連続講義をお願いしています。Transcendental Syntaxをテーマとした連続講義です。(同一タイトルの近刊書籍の中核的部分を解説していただきます。)　Proof-Normalization, 線形論理，Proof-nets，Geometry of Interaction，Ludics などのこれまでのご研究を基にした,　証明論，証明論の哲学についての彼の新しい研究パラダイムをご紹介いただきます。（なお、本連続講義では、論理学の技術的な知識を前提にしておりません。 ）

In this series of lectures Prof. Jean-Yves Girard is giving his new research paradigm “Transcendental Syntax”. which is based on his past researches (such as proof normalization, linear logic, proof-nets, geometry of interaction, ludics and others) No technical knowledge of logic nor proof theory is required to follow the course.

Speaker:

Prof. Jean-Yves Girard (Aix-Marseille University / CNRS.)

Résumé

事務局：

慶應義塾大学文学部岡田研究室内 三田ロジックセミナー 講演会事務局

E-mail：

logic [AT] abelard.flet.keio.ac.jp

This document was translated from L^AT_EX by H^EV^EA.