Cari amici e colleghi

come gentilemnte alcuni di voi hanno gia' annunciato, Mauro Di Nasso, Giacomo Lenzi ed io abbiamo organizzato anche grazie agli aiuti economici di Alessandro Berarducci e dell'Ateneo e alla disponibilita' dei locali data dal Direttore, un convegno di due giorni in onore di Marco Forti, che si e' pensionato quest'anno.

I lavori si svolgeranno nell'aula magna del dipartimento di matematica ed inizieranno venerdi 22 maggio alle 14,30: la prima parte del pomeriggio sara' dedicata agli aspetti del non riduzionismo, dell'autoriferimento e della flessibilita' di alcune teorie fondazionali; la seconda alla matematica non archimedea. Continueranno sabato mattina alle 9-9,30: gli interventi riguarderanno gli aspetti fondazionali di altre discipline con un piccolo dibattito prima di pranzo; si concluderanno verso le 18 di sabato: nel pomeriggio si passera' dall'analisi non archimedea ad applicazioni delle tecniche di forcing alla congetura di Schanuel, attraversando questioni di teoria dei gruppi e di combinatorica finita e transfinita e teoria della dimostrazione.

Al piu' presto inoltreremo attraverso i canali usuali il programma definitivo, avendo ora avuto alcune defezioni tra i conferenzieri.

Infine e' prevista venerdi 22 alle ore 21 una cena sociale. Il prezzo di base dovrebbe esser sui 30-40 euro a testa. Prego cortesemente chi fosse interessato di comunicarlo tre o quattro giorni prima.