Research activity in 1996
Gabriele Lolli ha sviluppato diversi approfondimenti sul rapporto tra logica
e visualizzazione nelle dimostrazioni; ha svolto uno studio sulla fondazione
psicologica della logica in Enriques; ha approfondito alcune questioni relative
alla psicologia del ragionamento deduttivo.
Piergiorgio Odifreddi ha proseguito lo studio dell'inferenza induttiva, e si
e interessato della fondazione matematica della meccanica quantista.
Lavinia Egidi ha proseguito la sua ricerca sulla complessita' computazionale
della teoria del primo ordine dei campi con valutazione (scrivendo un lavoro
"Quantifier elimination based on cylindric algebraic decomposition for the
theory of p-adic numbers: an analysis"). Inoltre ha continuato a studiare
possibili applicazioni della geometria algebrica allo studio di classi di
complessita' subpolinomiali.
1996 Publications
G. Lolli, Completeness, AILA Preprints 95, Milano, 1996
G. Lolli, Capire la matematica, Il Mulino, Bologna, 1996
G. Lolli, "Algoritmi e pensieri. I difficili fondamenti della scienza
cognitiva", Sistemi Intelligenti 8 (1996), n. 1, pp. 7-33
P. G. Odifreddi (a cura di), Kreiseliana, AK Peters, Wellesley Mass.,
1996
A. Bernasconi, B. Codenotti, L. Egidi "On the Hilbert function of zero sets of
boolean functions", Rapporto Tecnico dell' Istituto di Matematica
Computazionale del CNR, numero IMC B4-96-06, 1996.