" 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