Research activity in 1995
Gabriele Lolli ha scritto una analisi critica e storica del teorema di
completezza e una introduzione alla filosofia della matematica, entrambe in
corso di stampa. Si è interessato in particolare del rapporto tra logica
e visualizzazione nelle dimostrazioni matematiche.
Piergiorgio Odifreddi si è interessato dei legami fra lambda calcolo,
categorie e calcolabilità, ed ha portato a termine un libro con Nerode
per la MIT Press, che si chiamerà Logic, Categories and Lambda
Calculus.
Lavinia Egidi ha studiato la complessità computazionale della teoria
del primo ordine dei numeri p-adici, con un confronto tra le metodologie
algebriche per le procedure di decisione per tale teoria e quelle dei numeri
reali. Sta anche indagando le possibili applicazioni di risultati di geometria
algebrica alla teoria della complessità, come strumenti per stabilire
confini inferiori di classi di complessità sub-polinomale.
1995 Publications
G. Lolli, "Is Churchís Thesis a Theorem?," in Abstracts X
Congress LMPS, Firenze, agosto 1995.
G. Lolli, Gôdel, teorema di, voce per il Dizionario delle scienze
fisiche, Istituto della Enciclopedia Italiana, 1995, .
G. Lolli, "Filosofia e Informatica," in Filosofia, vol.2, P.R. cura d
), Ed. Utet, 1995, pp. 219-67.
P.G. Odifreddi, "Logic, algebra and topology," in COLORET meeting,
Siena, 1995.
P.G. Odifreddi, "Inductive inference," in Proceedings of the Leeds Logic
Year, C. edito , non si sa, Academic Press, in print.