Gruppo di ricerca “Logica e Geometria della Cognizione”
Dipartimento di Matematica e Fisica
Dipartimento di Filosofia, Comunicazione, Spettacolo.
Seminari
Anno accademico 2013-2014, I ciclo, ottobre-dicembre 2013.
I seminari si svolgono – di norma, il venerdì – presso il Dipartimento di Matematica e Fisica: aula seminari 311, edificio C, Largo San Leonardo Murialdo 1, 00146 Roma.
Programma preliminare:
Un'introduzione alla teoria della riscrittura: proprietà omologiche dei sistemi convergenti finiti
Oratore: Matteo Acclavio, (IML, Marsiglia)
Dai grandi teoremi della logica del XX secolo alla Sintassi Trascendentale.
Oratore: V. Michele Abrusci (Roma Tre)
Organizzatore: V. Michele Abrusci
Interaction in proof theory: from classical realizability to concurrency
Oratore: Emanuel Beffara (IML, Marsiglia)
Organizzatore: Lorenzo Tortora de Falco
Invarianti della normalizzazione e tempo di esecuzione
Oratore: Lorenzo Tortora de Falco (Roma Tre)
Organizzatore: Lorenzo Tortora de Falco
Aritmetica dei campi finiti e complessità polinomiale implicita
Oratore: Marco Pedicini (Roma Tre)
Organizzatore: Marco Pedicini
Big data tra tecnica e filosofia
Oratori: Teresa Numerico (Roma Tre), Marco Pedicini (Roma Tre)
Organizzatore: Teresa Numerico
La memoria e la costruzione del "senso" in matematica
Oratore: Giuseppe Longo (ENS, Parigi)
Organizzatore: Teresa Numerico
Cambiamenti di simmetrie e aleatorio: dalla fisica alla biologia
Oratore: Giuseppe Longo (ENS, Parigi)
Organizzatore: V. Michele Abrusci
Costruzione incrementale di reti dimostrative
Oratore: Roberto Maieli (Roma Tre)
Organizzatore: Roberto Maieli
Il ciclo sarà concluso il 20 dicembre 2013 con uno o più seminari che saranno organizzati autonomamente dai giovani del gruppo di ricerca su uno o più temi da loro scelti.