Seminario di Logica a.a. 2008/09

Bibliografia generale:

1. R. Zach, P. Mancosu, C. Badesa, The development of mathematical logic from Russell to Tarski, in L. Haaparanta (ed.), The History of Modern Logic, Oxford University Press, to appear (il file .pdf del capitolo è scaricabile dalla pagina di R. Zach a questo link)

2. P. Mancosu, The philosophy of mathematical practice, Oxford University Press, 2008.

Calendario incontri

28 novembre 2008, ore 9
Ettore Casari
Peano e le origini della metalogica

5 dicembre 2008, ore 9
Peter Schuster
(priv. doz.)
From geometric logic to algebraic geometry

5 dicembre 2008, ore 11
Thomas Strahm
(Institut f. Informatik und Angewandte Mathematik, Bern)
Unfolding arithmetic

20 febbraio 2009, ore 16
Giovanni Sambin
(Università di Padova)
La fondazione minimalista della matematica

6 marzo 2009
Paolo Zellini
(Università di Roma 2)
Filosofia degli algoritmi

13 marzo 2009
Miniworkshop di Logica e Filosofia della Logica:

ore 9, Bianca Boretti
(Università di Milano, Statale)
Proof theory of temporal logics

ore 11, Francesca Boccuni
(Università di Padova)
Plural Grundgesetze

27 marzo
Paolo Maffezioli
(Università di Firenze)
Regola di contrazione e terminazione nella logica
proposizionale intuizionista

3 aprile 2009
** SPECIAL EVENT **
One hundred year since the birth of Gerhard Gentzen
(Jointly with the Dept. of Philosophy, University of Pisa)
Download leaflet (.pdf) - Browse the program (www)

17 aprile 2009
Roberto Mana
Logiche sottostrutturali, complessità e astrazione 

24 aprile 2009
Claudio Monteverdi
Lo strutturalismo nella pratica matematica

8 maggio 2009
Paolo Mancosu
(Berkeley)
La misura degli insiemi infiniti di naturali: La concezione
cantoriana del numero infinito era inevitabile?

27 maggio 2009
Gerhard Jaeger
(IAM - Bern)
Sigma_1^1 choice in theories of sets and classes