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
|
Husserl and Hilbert on the completeness of arithmetic and Husserl's term-rewrite based computational theory of definition |
Dottori di ricerca in logica a Roma Tre
|
Temi e problemi della ricerca logica esposti da giovani ricercatori
|
Rinvio del seminario del prof. Abrusci
A causa del lutto che ha colpito il nostro Ateneo, con l'improvvisa scomparsa del Prof. Elio Matassi,
il seminario del Prof. Abrusci, "Dai grandi teoremi della logica del XX secolo alla Sintassi Trascendentale"
previsto per domani venerdi' 18 ottobre 2013 e' rinviato a data da destinarsi.
Seminario "Memoria: matematica, informatica, letteratura"
|
Costruzione incrementale di reti dimostrative
|
Cambiamenti di simmetrie ed aleatorio: dalla fisica alla biologia
|
Big Data tra tecnica e filosofia
|
Aritmetica dei campi finiti e complessità polinomiale implicita (joint work with D.Canavese, E. Cesena, R. Ouchary e L. Roversi)
|
Invarianti della normalizzazione e tempo di esecuzione
|