<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.2800.1170" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT face=Arial size=2><FONT face="Times New Roman" size=3>Venerdi' 13 
giugno,<BR>presso la Domus Galilaeana di Pisa (via Santa Maria 26):<BR>si terra' 
l'incontro:<BR><BR>IL METODO ASSIOMATICO DA EUCLIDE A GOEDEL:<BR>aspetti 
storici, scientifici e didattici<BR>(a cura di Mauro Di Nasso, Univ. di 
Pisa)<BR><BR>PROGRAMMA:<BR><BR>9:30&nbsp;&nbsp; Vieri Benci (Univ. 
Pisa)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; "Si puo' dedurre il mondo reale da 
pochi assiomi?"<BR>10:30&nbsp; Claudio Bernardi (Univ. Roma 
1)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; "Il programma di Erlangen: aspetti 
logici"<BR>11:30&nbsp; Pausa caffe'<BR>11:50&nbsp; Lucio Russo (Univ. Roma 
2)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; "Metodo euclideo e metodo 
assiomatico"<BR>12:50&nbsp; Pausa pranzo<BR>15:00&nbsp; Paolo Freguglia (Univ. 
L'Aquila)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; "Gli studi sull'assiomatica in 
Peano e la sua scuola"<BR>15:30&nbsp; Marco Forti (Univ. 
Forti)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; "Assiomatizzazioni dei concetti 
di collezione e insieme"<BR>16:30&nbsp; Tavola rotonda e discussione finale 
aperta al pubblico</FONT><BR></FONT></DIV></BODY></HTML>