Seminari

Oltre alla lista dei prossimi seminari puoi consultare anche il programma del primo ciclo di seminari 2013-2014

Prossimi:

La teoria della realizzabilità classica e l'assioma dell'ultrafiltro.

Speaker:
Davide Barbarossa (Università Roma Tre/Université d'Aix-Marseille)
Quando:
20/07/2018 - 11:30
Dove:
Aula 311, Palazzina C, Dipartimento di Matematica e Fisica, l.go S. Leonardo Murialdo 1
Abstract

La teoria della realizzabilità classica è stata introdotta da J.-L. Krivine negli anni 2000 a seguito di una intuizione di T. Griffin, che ha tipato l'istruzione "callcc" in Scheme (simile alla istruzione "try-catch" in Java) con la regola dell'assurdo (nella forma di legge di Pierce). Questo ha portato a generalizzare la corrispondenza di Curry-Howard a tutta la logica classica, ed anche oltre: assiomatizzando la nozione di programma (lambda-termine) e di esecuzione (programma + pila di esecuzione), grazie alle "algebre di realizzabilità", si riesce ad associare programmi a dimostrazioni (classiche) che usino assiomi supplementari - come ad esempio quelli della teoria degli insiemi. Questi programmi, chiamati "realizzatori" della formula dimostrata, ne forniscono una "giustificazione" che è una semantica intermedia tra quella Tarskiana (vero/falso) e quella data dalle dimostrazioni. In questo incontro ci concentreremo sull'assioma dell'ultrafiltro ("esiste un ultrafiltro non triviale sull'algebra di Boole delle parti di N") nel quadro della aritmetica al secondo ordine.


Passati:
SpeakerTitoloQuando
Federico Olimpieri (Université d'Aix-Marseille) On the Taylor expansion of lambda-terms and the groupoid structure of their rigid approximants15/06/2018 - 11:30
Prof. Pasquale Malacaria, Queen Mary University of LondonUniversally optimal mitigation strategies for leakage of information18/05/2018 - 11:30
Jean-Baptiste Joinet (Université Lyon 3 - Centre Cavaillès, ENS, Paris) Collusions : toward an agonal ontology 02/05/2018 - 11:00
Matteo Acclavio (LIX - INRIA Parsifal Team)Dalle prove sintattiche alle combinatorial proofs23/03/2018 - 14:30
Paul Ruet (CNRS, IRIF, Université Paris-Diderot)Negative local feedbacks in Boolean networks23/03/2018 - 11:00
Jose C. Valverde (Università di Castiglia-La Mancia)Periodic structure of graph dynamical systems on maxterm and minterm Boolean functions.07/12/2017 - 11:00
Stefano Del Vecchio (Università Roma Tre - Université Paris Nord)Una interpretazione di CCS nella ludica24/11/2017 - 11:00
Federico Olimpieri (Université d'Aix-Marseille)A characterization of head-normalization through some intersection type systems and the relational model via Taylor expansion 06/10/2017 - 11:00
Prof. Attila Pethö, University of Debrecen, HungaryParallelism between the growth of the known Mersenne primes and the development of informatics07/07/2017 - 11:00
Massimo MarraffaLe teorie del ragionamento nella prospettiva dei due processi: la distinzione tra processi inferenziali intuitivi e riflessivi12/05/2017 - 11:30
Patrick Dehornoy (Université Caen-Normandie)Laver tables17/02/2017 - 11:30
Matteo Acclavio (Université de Caen) Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics10/02/2017 - 11:30
Jean-Yves Girard, Université d'Aix-MarseilleSeminari di J.-Y. Girard a Roma Tre18/11/2016 - 11:30
Giulio Guerrieri (Università Roma Tre - Université d'Aix-Marseille) Il !-calcolo: una variante del lambda-calcolo che generalizza la chiamata per nome e la chiamata per valore28/10/2016 - 11:30
Roberto Maieli (Università Roma Tre) Connettivi generalizzati in Logica Lineare Moltiplicativa21/10/2016 - 11:30
Stefano Del Vecchio (Università Roma Tre - LIPN, Université Paris Nord)Tipaggio in Ludica del frammento moltiplicativo di CCS (Calculus of Communicating Systems)07/10/2016 - 11:30
Giulio Guerrieri (Università Roma Tre - Université d'Aix-Marseille)Open Call-by-Value (joint work with Beniamino Accattoli)11/03/2016 - 11:00
Matteo Acclavio (Institut de Mathématiques de Marseille)Diagrammi di corde per le reti di prova12/02/2016 - 11:00
Prof. Pietro Lio', Computer Laboratory, University of Cambridge, UKMulti scale and multi omic approaches in systems medicine18/12/2015 - 11:30
Prof. Abdul Salam JarrahAlgebraic Models for Systems Biology03/12/2015 - 11:00
Prof. Attila Pethö, University of Debrecen, HungaryResults and problems around a discrete dynamical system13/11/2015 - 11:30
Prof. Attila Pethö, University of Debrecen, HungaryAlgorithmic and numerical solution of diophantine equations11/11/2015 - 16:00
Virgile Mogbil, Laboratoire d'Informatique de Paris-Nord (LIPN), Université Paris 13Proofs as schedules23/10/2015 - 11:00
Thomas Ehrhard CNRS, PPS - Universite' Paris Diderot - Paris 7 Linear logic, polarization and evaluation strategies16/10/2015 - 11:00
Wagner de Campos Sanz (Faculdade de Filosofia, Universidade Federal de Goias, Goiania, GO, Brazil)How to find a proof? Leibniz's anagogical analysis illuminated by Kolmogorov's interpretation of logical constants.09/10/2015 - 11:00
Jean-Baptiste Joinet (Université Lyon 3)Aspetti computazionali della negazione: dal lambda-calcolo di Church alla Logica Lineare.19/05/2015 - 12:00
Paolo Pistone (Università Roma Tre/Aix-Marseille Université)Dimostrazioni e tipi nella logica del secondo ordine (seconda parte)20/03/2015 - 11:30
Paolo Pistone (Università Roma Tre/Aix-Marseille Université)Dimostrazioni e tipi nella logica del secondo ordine06/02/2015 - 11:30
Francesca Ferrante (Université Aix-Marseille & “Resurgences” )Verso una teoria del dialogo in Ludica23/01/2015 - 11:30
Silvia Rognone (Università Roma Tre) Stati Entangled e Matrici di Bell19/12/2014 - 11:30
Arnaud Valence (Università Roma Tre/Université Lyon 3) Sulla Sintassi Trascendentale21/11/2014 - 11:30
V. Michele Abrusci (Università Roma Tre)Dai grandi teoremi della logica del XX secolo alla Sintassi Trascendentale07/11/2014 - 11:30
Vito Michele Abrusci Seminario sui fondamenti 31/10/2014 - 09:00
Matteo Acclavio (Aix-Marseille Université)String diagrams e categorie: dimostrazione della coerenza delle categorie monoidali simmetriche tramite riscrittura24/10/2014 - 11:30
Vito Michele AbrusciSeminario sui fondamenti 24/10/2014 - 09:00
Jean-Yves Girard Analytique/synthétique, a priori/a posteriori: une relecture du typage10/10/2014 - 11:00
Anna Chiara Lai (Università di Roma La Sapienza)Seminario di Logica e Informatica Teorica: Mathematical models for quasicrystals and expansions in non-integer bases 06/06/2014 - 11:00
Matteo Acclavio (Institut de Mathématiques de Marseille)String diagrams e categorie: dimostrazione della coerenza delle categorie monoidali simmetriche tramite riscrittura30/05/2014 - 11:00
Prof. Mitsuhiro OKADA (Keio University, Tokyo)Wittgenstein's philosophy of arithmetical proofs, and its influences21/03/2014 - 12:00
Prof. Mitsuhiro OKADA (Keio University, Tokyo)Husserl and Hilbert on the completeness of arithmetic and Husserl's term-rewrite based computational theory of definition14/03/2014 - 12:00
Temi e problemi della ricerca logica esposti da giovani ricercatori20/12/2013 - 09:00
Roberto MaieliCostruzione incrementale di reti dimostrative06/12/2013 - 11:00
Giuseppe Longo (Centre Cavaillès, CNRS - Ecole Normale Supérieure, Paris)Cambiamenti di simmetrie ed aleatorio: dalla fisica alla biologia22/11/2013 - 11:00
Teresa Numerico, Marco Pedicini (RomaTre)Big Data tra tecnica e filosofia15/11/2013 - 11:00
Marco Pedicini (RomaTre)Aritmetica dei campi finiti e complessità polinomiale implicita (joint work with D.Canavese, E. Cesena, R. Ouchary e L. Roversi)08/11/2013 - 11:00
Lorenzo Tortora de Falco (RomaTre)Invarianti della normalizzazione e tempo di esecuzione25/10/2013 - 11:00
Emanuel Beffara (IML Marsiglia)Interaction in proof theory: from classical realizability to concurrency22/10/2013 - 18:00
V.M. Abrusci (RomaTre)Dai grandi teoremi della logica del XX secolo alla Sintassi Trascendentale.18/10/2013 - 11:00
Matteo Acclavio, IML Aix-Marseille Université Un'introduzione alla teoria della riscrittura: proprietà omologiche dei sistemi convergenti finiti.04/10/2013 - 11:00
Paolo PistoneLenti, dilatatori e tipi12/07/2013 - 11:00
Andrei Dorman, Giulio GuerrieriDiscussione tesi di dottorato e workshop20/06/2013 - 14:00
Logica, sillogismo dialettico e "Topici" di Aristotele09/04/2013 - 14:00
Paolo PistoneLaboratorio di sintassi trascendentale: tutorial su GoI615/03/2013 - 10:30
Francesca Romana FerranteLudics and dialectics 25/02/2013 - 15:00
Laboratorio di sintassi trascendentale 18/01/2013 - 09:00
Laboratorio di sintassi trascendentale11/01/2013 - 09:00
Gianluca CalcagniProof-Nets with Slices for Non-Commutative Intuitionistic Logic 03/07/2012 - 14:00
V. Michele AbrusciSintassi Trascendentale e Geometria dell’Interazione: interazioni tra logica e filosofia17/02/2012 - 14:00
Marco RomanoLinked Data e questioni di Compatibilità22/12/2011 - 11:00
Paolo PistoneLa normatività, risultati logici e prospettive filosofiche04/11/2011 - 16:00
Marco RomanoWeb, Spazi di Compatibilità e Ludica: quali prospettive di ricerca?04/11/2011 - 15:00
V. M. Abrusci, T. Numerico, D. Fiormonte, R. Vacca, P. Cursi, R. MaieliL'eredità di Steve Jobs e il futuro dell'informatica19/10/2011 - 15:00
Jean-Baptiste JoinetL’interazione: un concetto della filosofia30/05/2011 - 14:00
Andrei DormanNon-determinismi nelle reti d'interazione27/05/2011 - 11:00
Giulio GuerrieriEspansione di Taylor dei lambda-termini ordinari e uniformità20/05/2011 - 11:00
V. Michele AbrusciLa sintassi trascendentale: cosa è, che prospettive apre alla ricerca logica04/03/2011 - 11:00
Jean-Baptiste Joinet (Université Paris 1 Sorbonne-Panthéon)Negation and protological foundations for logic18/06/2010 - 14:00
Damiano MazzaMeasuring the Expressiveness of Rewriting Systems through Event Structures21/05/2010 - 10:30
Mattia PetroloArmonie classiche per connettivi computazionali14/05/2010 - 11:30
Paolo Di GiamberardinoJump from parallel to sequential proofs: Exponentials07/05/2010 - 11:30
Marco PediciniUn'applicazione del SAT-solver in bioinformatica23/04/2010 - 11:30
Remo PareschiVerso una logica dell'innovazione26/03/2010 - 11:30
Prof. Roberto Avanzi (Bochum, Germany)Arithmetic of Supersingular Koblitz Curves in Characteristic Three25/03/2010 - 11:00
Gabriele PulciniAlcune osservazioni sulle nozioni di verità e indecidibilità19/03/2010 - 11:30
Lorenzo Tortora de FalcoSulla iniettività della semantica relazionale in MELL, 219/02/2010 - 11:30
Daniel De CarvalhoSulla iniettività della semantica relazionale in MELL, 129/01/2010 - 11:30
Giulio GuerrieriSemantica relazionale e tempo di calcolo, in logica lineare moltiplicativa22/01/2010 - 12:15
Andrei DormanLinear Logic by asymmetric levels22/01/2010 - 11:30
Michele AbrusciPrime considerazioni su “LOGICOMIX: an epic search for truth”15/01/2010 - 11:30
Thomas EhrhardIl modello di Scott della Logica Lineare è il collasso estensionale del modello relazionale30/10/2009 - 11:00
V.Michele AbrusciI principali teoremi sulla logica: un bilancio e alcune prospettive03/07/2009 - 17:00
Gabriele Pulcini (ENS Parigi)Alcuni aspetti logici del teorema di classificazione per le superfici topologiche (Massey)22/05/2009 - 14:00
Claudia Casadio (Università di Chieti), M. Teresa Medaglia e Camillo Porcaro (Aston University, Birmingham)Le proposizioni "positive" e "negative" nel ragionamento: uno studio elettroencefalografico21/05/2009 - 16:00
Jean-Baptiste Joinet (Philosophie, Paris 1 Panthéon-Sorbonne)La logica contemporanea e lo statuto della metafisica aristotelica: alcune considerazioni15/05/2009 - 16:00
Mattia PetroloSull'unità della logica classica15/05/2009 - 11:00
Antonio MoscaUna rilettura logica d'alcuni problemi di metodo in linguistica e in scienze sociali08/05/2009 - 11:00
Giulia FrezzaLa dinamica del vivente17/04/2009 - 11:00
Michele PaganiRicostruire una rete di prova dal suo sviluppo di Taylor03/04/2009 - 11:00
Damiano MazzaSemantica denotazionale per la logica lineare a livelli27/03/2009 - 11:00
Roberto MaieliCostruzione concorrente di reti di prova e sistemi transazionali20/03/2009 - 11:00
Mario PiazzaLogica, cognizione e dimostrazioni visive06/03/2009 - 14:00
Marco PediciniAlgebre di von Neumann, shift registers e complessità27/02/2009 - 14:00
Lorenzo Tortora de FalcoUna misura semantica del tempo di esecuzione in logica lineare13/02/2009 - 14:00
Stefano GuerriniJumping boxes30/01/2009 - 14:00
Teresa NumericoLa logica dopo le macchine: Turing, Gödel, Von Neumann e gli altri23/01/2009 - 14:00
Marco RomanoRicerca sui contributi della Logica Lineare e dei suoi sviluppi al Semantic Web09/01/2009 - 10:00
Michele AbrusciLa logica e il quadrato aristotelico degli opposti05/12/2008 - 17:00
Paul RuetDynamique discrète et structure des réseaux génétiques12/10/2007 - 10:00
Michele PAGANI Between interaction and semantics: visible acyclic nets21/09/2007 - 08:00
Daniel de CarvalhoTBA09/07/2007 - 13:00
Paolo Di Giamberardino Jump from Parallel to Sequential Proofs: Additives19/04/2007 - 16:00
Thomas Ehrhard (joint work with Olivier Laurent)Pi-calculus in differential interaction nets16/04/2007 - 13:30

In archivio: Programma dei Seminari 2008 - 2009