Research activity in 1998
This area of research has been cultivated in the Department since its origins. In the past years Gabriele Lolli has been interested mainly in foundational problems, both for logic programming and for the notion of mathematical proof. Piergiorgio Odifreddi has worked in recursion>theory, mainly reducibilities. Lolli is in the editorial board of the journal Sistemi Intelligenti.
In 1998, Gabriele Lolli has worked on the classification of the functions and types of proofs, and the relationship between formal and informal proofs. He has written notes on the epistemlogy of mathematics, on truth and proofs, and an essay on the contemporary philosophy of science.
Piergiorgio Odifreddi has has worked on recursive reducibilities, on inductive inference and the mathematical foundations of quantum mechanics.
1998 Publications
G. Lolli, Il riso di Talete, Bollati Boringhieri, pp. 109, 1998.
G. Lolli, Beffe, scienziati, stregoni, Il Mulino, pp. 199, 1998.
G. Lolli, Logical Completeness, Truth and Proofs, in H.G. Dales, G. Oliveri (eds), Truth in Mathematics, Oxford Univ. Press, 1998, pp. 117-29.
G. Lolli, La fondazione psicologica della logica, in O. Pompeo Faracovi e F. Speranza (a cura di), Federigo Enriques. Filosofia e Storia del Pensiero Scientifico, Belforte Editore, Livorno, 1998, pp. 73-87.
G. Lolli, Formalmente, Iter 1 (1998), n. 1, pp. 106-11.
G. Lolli, Il metodo di Turing, Sistemi Intelligenti 10 (1998), n. 1, pp. 56-9.
G. Lolli, Le multiformi funzioni della dimostrazione (febbraio1997), Conferenze del Seminario di Matematica, Università di Bari, 1998, n. 271, 18 pp.
P. Odifreddi. Complexity, logic and recursion theory. In A. Sorbi, editor, Logic, Algebra and Topology, pages 277-301. Marcel Dekker, 1997.
P. Odifreddi. Reducibilities, in Handbook of recursion theory (E. Griffor, editor), pages 245-98. North Holland, 1999.