Husserl and Hilbert on the completeness of arithmetic and Husserl's term-rewrite based computational theory of definition

Speaker:
Prof. Mitsuhiro OKADA (Keio University, Tokyo)
Quando:
14/03/2014 - 12:00
Dove:
Scuola di Lettere, Filosofia e Lingue, via Ostiense 234, aula 16 (piano terra)
Abstract