Research activity in 1999
This area of research has been cultivated in the Department since its origins Gabriele Lolli is interested mainly in foundational. Piergiorgio Odifreddi works in recursion theory, mainly reducibilities.
Lolli is in the editorial board of the journal Sistemi Intelligenti.
In 1999, Gabriele Lolli has worked on the topic of informal mathematical proofs and the relationship between their specific function and their formal representation.
Piergiorgio Odifreddi has worked on recursive reducibilities.
1999 Publications
G. Lolli, Paradosso dellAlabama e sistemi proporzionali, in E. Gallo, L. Giacardi e C.S. Roero (eds.), Conferenze e Seminari 1998-1999, Torino, Mathesis, 1999, pp. 8-21
G. Lolli, Larte di sragionare, in B. DAmore (ed.), Matematica e Didattica: Come privilegiare linsegnamento, Pitagora, Bologna, 1999, pp. 4-7
Books
PG. Odifreddi, Classical recursion Theory, vol. II, North Holland, 668 pagine.
PG. Odifreddi, Classical Recursion Theory, vol. I, new ed., North Holland, 949 pagine.
Papers in Handbooks
PG. Odifreddi, Reducibilities, in R. Griffor (ed.), Handbook of Computability Theory, North Holland, 219 pagine.
Expository
PG. Odifreddi, Il Vangelo secondo la Scienza, Einaudi, Torino
Oral Presentations in Congresses and Conferences
P. Odifreddi
- L'arte di sragionare, XV Convegno Matematica e Didattica di Catsel S. Pietro, novembre 1999
G. Lolli
- A Logician reads Mental Models invitede talk at: Conference on Logic and Psychology of Reasoning, Padua, may 99
- Truth and Proofs invited lectures at International School on Didactics of Mathematics, Levico (TN), april 99
- Larte di sragionare, invited talk at XV Castel S. Pietro Conference on Didactics, november 99