Speaker: | Vito Michele Abrusci
|
||
Quando: | 31/10/2014 - 09:00
|
||
Dove: | Dipartimento di Matematica e Fisica, Largo S. Leonardo Murialdo 1, palazzina C, aula 311
|
||
Abstract
Saranno sviluppati e approfonditi alcuni temi trattati da Jean-Yves Girard nel suo seminario al Colloquium di Matematica, 8 ottobre 2014 |
Seminario sui fondamenti |
Seminario sui fondamenti
|
String diagrams e categorie: dimostrazione della coerenza delle categorie monoidali simmetriche tramite riscrittura
|
Analytique/synthétique, a priori/a posteriori: une relecture du typage
|
Colloquium di matematica: Foundations in the post-foundational era
|
Ludics and Philosophy
|
Seminario di Logica e Informatica Teorica: Mathematical models for quasicrystals and expansions in non-integer bases
|
String diagrams e categorie: dimostrazione della coerenza delle categorie monoidali simmetriche tramite riscrittura
|
Lezioni sulla Simple Logic
|
Wittgenstein's philosophy of arithmetical proofs, and its influences
|