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 1997, Gabriele Lolli has continued to work on the topic of mathematical proofs, in particular classifying the many varied functions and types of proofs, and the relationship between formal and informal proofs. He has studied also some cognitive aspects of mathematics, such as errors and the interpay between mathematical training and deductive competence.
Piergiorgio Odifreddi has finished writing the second volume of his book on Classical Recursion Theory, and a survey of mathematics in the twentieth century. He has worked on recursive reducibilities, on inductive inference and the mathematical foundations of quantum mechanics.
1997 Publications
G. Lolli. Fondamenti dell'intelligenza artificiale. In A. Repola Boatto, editor, Pensiero Scientifico. Fondamenti ed Epistemologia, Atti Convegno IRSAE Marche 1993, pages 211-24. Quaderni Innovazione Scuola, 1997.
G. Lolli. Mathematical training and deductive competence. Cahiers de Psychologie Cognitive, 16 No. 1:135-39, 1997.
G. Lolli. Morte e resurrezione della dimostrazione. Le Scienze, No. 345:50-57, 1997.
G. Lolli. Neuroni e lattine di birra. Sistemi Intelligenti, 9 No. 1:143-46, 1997.
P. Odifreddi. Complexity, logic and recursion theory. In A. Sorbi, editor, Logic, Algebra and Topology, pages 277-301. Marcel Dekker, 1997.
P. Odifreddi. Handbook of recursion theory. In E. Griffor, editor, Reducibilities, pages 245-98. North Holland, 1997.
P. Odifreddi. Indiscreet applications of discrete mathematics. In W. Bridges, editor, Combinatorics, Complexity and Logic, pages 52-65. Springer, 1997.
