[logic-ml] J-B.Joinet講演 April 18th,Topic on Space-Time Question through Dialogue btw Proof Theory and Computation

[Mitsuhiro Okada]

表記の講演者、トピックの三田ロジックセミナーを開催します。
重複して受け取られましたら申し訳ありません。（また、第３回日仏サイバーセ 
キュリティ会議　４月２４日ー２６日のＵＲＬ情報も下に入れさせて頂いていま 
す。）

Mita Logic Seminar （４月１８日（火）１８時、慶応大三田キャンパス）
jean-Baptiste Joinet speaks about "From the dynamic of informational 
time to ontology : a reading of Church"(April 18th, Tues, 18:00 at Mita 
Campus, Keio University)

リヨン第３大学哲学科、パリ高等師範学校カバイエス研究所のJean-Baptiste 
JOINET教授に次のような講演をお願いしています。
参加自由、事前登録なしです。

SPEAKER :
Jean-Baptiste JOINET
University of Lyon 3,Department of Philosophy,  France
Centre Cavaillès, Ecole Normale Supérieure, Paris, France


TITLE :
 From the dynamic of informational time to ontology : a reading of 
Church　（下にアブストラクトがあります。Abstract attached below.）

Place: 慶応義塾大学三田キャンパス大学院棟一階３１３番教室,
（次のキャンパスマップの8番です。)
https://www.keio.ac.jp/ja/maps/mita.html
Room　 313, 1st Floor, Graduate School Building ( Number 8 of the above 
Campus Map).

Time: 18:00-19:30
　
なお、この会とは別に、Joinet教授も参加される論理系のFormal Method 
Session を含む、第３回日仏サイバーセキュリティ会議が４月２４日―２６日に 
慶應義塾大学三田 キャンパスで開催されます。事前登録無しでも参加可能です 
すが参加予定の場合は席の確保のために登録していただけると助かります。（事 
前登録、プログ ラム情報は次にあります。 http://cyber.science-japon.org)

Mita Logic Seminar 問い合わせ先:
logic at abelard.flet.keio.ac.jp　（セミナー事務局専用アドレス）

（慶應義塾大学文学部哲学専攻岡田光弘）

ABSTRACT :
In XXth century, the thirties are years during which, simultaneously,

a/ one of the branches of modern logic, Proof Theory (Hilbert, Gentzen) 
recentered Logic around the spatial and temporal inscription of 
reasoning (and this with several respects: temporality and spatiality of 
the representation of argumentations, of heuristic, of analytisation of 
proofs),

b/ a new science emerged : the theory of the transformation of 
information a.k.a Computing and computability theory (Church, Turing).

In my talk, I will show how the dialogue between these scientific 
programmes (Proof Theory and Computing Theory) around a common question 
(Sense in time and space) gave to the husserlian project toward the 
constitution of a transcendental Logic a renewed actuality.

---------------------------------------------------------------------