COMFORT 2015
Convegno in onore di Marco Forti, in occasione del suo pensionamento.
22-23 Maggio 2015, Dipartimento di Matematica, Pisa


a cura di Mauro Di Nasso, Giacomo Lenzi e Vincenzo Tortorelli

con il patrocinio dell'AILA - Associazione Italiana Logica e Applicazioni

Finanziato da Universita' di Pisa e da PRIN-MIUR "Logic, Models, and Sets"


Descrizione

Questo convegno Ŕ dedicato al pensiero e all'opera scientifica di Marco Forti, in occasione del suo pensionamento.
Le comunicazioni dei conferenzieri copriranno i diversi ambiti scientifici e filosofici all'interno dei quali Marco Forti
ha sviluppato la sua poliedrica attivitÓ di ricerca. Accanto a temi tipicamente matematici, saranno toccati temi di logica
e di filosofia della matematica, aspetti fondazionali della matematica e delle scienze, e in particolare della biologia.
Pi¨ in dettaglio, saranno trattati i seguenti argomenti:

• Algebra e teoria dei numeri
• Combinatoria
• Teoria della dimostrabilitÓ
• Teoria degli insiemi
• Teoria della numerositÓ
• Analisi nonstandard
• Filosofia della matematica
• Teorie fondazionali e sapienziali di De Giorgi
• Storia dei fondamenti della matematica
• Fondamenti delle scienze della vita




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.