Cari tutti,
il Prof. Mitsuhiro OKADA, full professor presso il Department of Philosophy della Keio University di Tokyo, sarà visiting professor presso l’Università Roma Tre (gruppo di ricerca in “Logica e Geometria della cognizione”) dal 12 marzo al 27 marzo 2014.

Il prof. Okada terrà due conferenze filosofiche, presso la Scuola di Lettere, Filosofia e Lingue, via Ostiense 234, aula 16 (piano terra):

· Husserl and Hilbert on the notion of completeness of arithmetic, and Husserl's term-rewrite based computational theory of definite manifolds, Venerdì 14 marzo 2014, alle ore 12

· Wittgenstein's philosophy of arithmetical proofs, and its influences, Venerdì 21 marzo 2014, alle ore 12.

Il prof. OKADA terrà due lezioni dedicate alla Simple Logic, entro l’insegnamento di Teorie logiche 1: Tipi e Logica Lineare, presso la Scuola di Lettere, Filosofia e Lingue, via Ostiense 234, aula 16 (piano terra):

· Phase semantical decomposition and composition of linear logic, Martedì 18 marzo, dalle ore ore 17 alle ore 18

· Completeness and cut elimination theorems, and the Gödel-Kolmogorof interpretation, Martedì 25 marzo, dale ore 17 alle ore 18.