" LOGICA E.", presenza della logica nelle discipline scientifiche
Pisa, 26 ottobre 2007, Domus Galilaeana, Via S. Maria 26
Giornata a cura di Marco Forti, Dipartimento di matematica applicata, Università di Pisa
Ore 10-10.50 Logica e Informatica: Simone Martini (Bologna) "Dalle prove come programmi, alle prove efficienti"
Ore 11-11:50 Logica e Biologia: Giuseppe Longo (E.N.S., Paris) "Poincaré, Goedel e il DNA"
Ore 12-12:50 Logica e Chimica: Gianfranco Cerofolini (Milano) "Costruzione assiomatica della chimica in termini di atomi e legami"
Ore15-15:50 Logica e Fisica: Maria Luisa Dalla Chiara (Firenze) "Dalla logica della meccanica quantistica alla logica della computazione"
Ore 16-16:50 Logica e Filosofia: Andrea Cantini (Firenze) "Linguaggio, conoscenza e significato"
Ore 17 Logica e Fondamenti: Tavola rotonda introdotta da Vieri Benci (Pisa) "Matematica, Filosofia e altro"
_______________________________________________ Settimanale mailing list Settimanale@mail.dm.unipi.it https://mail.dm.unipi.it/mailman/listinfo/settimanale