A. A. 2006/2007

SEMINARIO - TEMI AVANZATI DI LOGICA 2006/07
I semestre: I teoremi di incompletezza

• Partecipanti

   

 

 

---

 

** NOVITÀ** Programma di esame **NOVITÀ**

(i) E. Casari, La Filosofia della Matematica del ‘900.
[Introduzione: pp.1-25. Letture: Russell, Herbrand, von Neumann, Goedel, pp.28-57]

(ii) T. Franzén, Goedel’s Theorem. An Incomplete Guide to Its Use and Abuse.
[Cap.2--Cap.3 (pp.9-76; Appendice: pp.155-163)]

 

---

 

Calendario

20 – 27 Ottobre
Introduzione: il contesto storico della scoperta di Gödel
Fonte principale: E. Casari, La matematica del ‘900
[Basel – Troise – Grieco]
presentazione 1 (Troise): file .ppt
presentazione 2 (Basel): file .ppt
presentazione 3 (Grieco): file .ppt

 3 – 10 Novembre
I teoremi di incompletezza: forma ipotetica
Fonte princ.: T. Franzen, Gödel’s incompleteness theorem.
An incomplete guide to its use and abuse, §§ 2.1-2.3,2.6-2.7
[Del Curto – Mossi - Troise]

10 – 17 – 24 Novembre
Computabilità, sistemi formali, incompletezza (forma categorica), e semantica
Fonte princ.: T. Franzen, Gödel’s incompleteness theorem.
An incomplete guide to its use and abuse, cap. 3
[Pedroni – Dolfi – Thiella - Lombardi]
presentazione (Lombardi): file .ppt 

 1 – 8 Dicembre
I teoremi di Gödel e la filosofia della mente
Fonte princ.: T. Franzen, Gödel’s incompleteness theorem.
An incomplete guide to its use and abuse, cap. 6
[Mazzoni – Renzoni - Pagni - Mattei]
presentazione (Mazzoni): file .ppt 

 15 Dicembre
I teoremi di Gödel e la complessità
Fonte princ.: T. Franzen, Gödel’s incompleteness theorem.
An incomplete guide to its use and abuse, cap. 8
[Peruzzi]

Tutti gli incontri avranno luogo il venerdi, a partire dalle ore 11, in aula 5.

 

---

---

 

SEMINARIO - TEMI AVANZATI DI LOGICA 2006/07
II semestre

 

Calendario

9 Marzo
F. Poggiolesi
Tree-hypersequent calculi for modal propositional logic 

 16 Marzo
M. Maggesi
La formalizzazione al computer di un teorema del lambda calcolo 

30 Marzo
R. Bruni
Introduction to the study of quasi-inductive definitions

20 Aprile, ore 9 
E. Casari 
Introduzione al pensiero di Bernard Bolzano, I 

27 Aprile, ore 9 
E. Casari
Introduzione al pensiero di Bernard Bolzano, II

 27 Aprile, ore 11
G. Jäger 
Operational set theory 

11 Maggio
A. Bruschi
Logica e ricerca sociale

15 Maggio, ore 15 
C. Cellucci
Il posto della conoscenza della natura 

 

Tutti gli incontri avranno luogo presso il Dip.to di Filosofia in via Bolognese a partire dalle ore 11  (eccetto, come indicato, le lezioni del Prof. Casari e del Prof. Cellucci).