Interverranno:
Carlo Toffalori (Presidente AILA - Associazione Italiana Logica e
Applicazioni, Univ. Camerino) portera' un saluto a nome dell'AILA
Dario Bini portera' un saluto a nome del Dipartimento di Matematica dell'Universita' di Pisa
Contributi scientifici:
Luca Bellotti (Civiltà e Forme del Sapere, Univ. Pisa)
“Sulla dimostrazione di coerenza di von Neumann”
Vieri Benci (Matematica, Univ. Pisa)
“Apologia dei numeri infinitesimi”
Andrea Cantini (DILEF, Sezione di Filosofia, Univ. Firenze)
“Su alcune teorie degli insiemi con operazioni”
Lorenzo Carlucci (Informatica, Univ. Roma “La Sapienza”)
“Teoremi di Ramsey, ordinali, e insiemi grandi”
Mauro Di Nasso (Matematica, Univ. Pisa)
“Ultrafiltri e analisi nonstandard in teoria combinatoria dei numeri”
Roberto Dvornicich (Matematica, Univ. Pisa)
“Intorno ad un problema di Frobenius sui gruppi finiti”
Paolo Freguglia (DISIM, Univ. L'Aquila)
“Alcune osservazioni storiche sulla matematica non-archimedea”
Ludovico Galleni (Agraria, Univ. Pisa)
“Un sogno ancora da realizzare: biologia e teoria generale dei fondamenti”
Furio Honsell (Matematica e Informatica, Univ. Udine – Sindaco di Udine)
“Il complesso di Russell”
Giacomo Lenzi (Matematica, Univ. Salerno)
“Marco Forti e i fondamenti della matematica”
Gabriele Lolli (Scienze Umane, Scuola Normale Superiore di Pisa)
“Sul metodo assiomatico”
Giuseppe Longo (CNRS, Ecole Normale Supérieure Paris – Biology Dept., Tufts Univ. Boston)
“Il ``senso delle strutture'', dalla matematica agli organismi“
Massimo Mugnai (Scienze Umane, Scuola Normale Superiore di Pisa)
“Leibniz e la 'geometria portatrice di luce'”
Carlo Toffalori (Scuola di Scienze e Tecnologie, Univ. Camerino)
“Logica a processo”
Matteo Viale (Matematica, Univ. Torino)
“Una dimostrazione col forcing di un teorema di Kirby sulla congettura di Schanuel”
Per motivi organizzativi, preghiamo chi intenda partecipare al convegno di comunicarcelo,
inviando una email a "dinasso AT dm.unipi.it"
Sono previste 3 sessioni di interventi. La prima inizierà alle 14,20 di venerdì 22 Maggio e terminerà alle ore 18,30.
La seconda sessione inizierà alle 9,30 di sabato 23 Maggio e terminerà
alle 13. La terza sessione inizierà alle 15 di sabato.
Il termine dei lavori e' previsto per le 17,40.
Il programma
dettagliato è
scaricabile clickando
qua. (Attenzione, e' stato aggiornato il 19/5/2015)
Il poster della convegno è
scaricabile clickando
qua. (Attenzione, e' un file "pesante" di circa 28 Mega)
Il convegno si svolgerà presso l'Aula Magna del Dipartimento di
Matematica
dell'Università di Pisa,
a partire dalle ore 14 di venerdi 22 Maggio con la registrazione.
Al termine dei lavori, previsto per le 17,40 di sabato 23 Maggio, ci sara' un piccolo rinfresco di commiato.
Ci sarà una cena sociale la sera del 22 Maggio presso l'Osteria L'Artilafo di Pisa.