Filosofia della matematica: dalla logica alla pratica
Italy
Filosofia della matematica: dalla logica alla pratica
Giovani studiosi a confronto
Conferenza24 settembreAula Bianchi, Piazza dei Cavalieri.15:00 Enrico Bombieri (Institute for Advanced Study, Princeton Mathematical truth)
Convegno della Classe di Lettere
24 - 26 settembreAula Dini - Palazzo del CastellettoPiazza del Castelletto, Pisa
Lunedì 24 settembre
16:45 Introduzione del convegno: Garbiele Lolli
17:00 Paolo Mancosu (University of California Berkeley)Assiomatica e purezza del metodo: sulla relazione tra geometria piana e solida
18:00 Davide Crippa (Université Diderot Paris 7)La relazione tra purezza e semplicità nell‘estensione della conoscenza matematica
18:45 Alejandro Cuneo (Università di Bergamo)Il teorema fondamentale del algebra usando solo numeri reali
19:30 Conclusione prima giornata
Martedì 25 settembre:
09:00 Michele Ginammi (Scuola Normale Superiore)Applicabilità e struttura
9:45 Andrea Sereni (Università Vita-Salute San Raffaele)Applicabilità, indispensabilità, e l’eresia compatibilista
10:30 Marina Imocrante (Università Vita-Salute San Raffaele)Una difesa del naturalismo matematico di Maddy dalle critiche di Roland: il ruolo della profondità matematica
11:15 Pausa caffè
11:30 Claudio Ternullo (University of Liverpool)Espansione concettuale e assiomi della teoria degli insiemi
12:15 Giorgio Venturi (Scuola Normale Superiore e Université Diderot Paris 7)L’unità della matematica tra teoria e pratica
13:00 Pausa pranzo
14:30 Marco Panza (Institut d‘Histoire et Philosophie des Sciences et des Techniques; CNRS, Univ. de Paris 1 La Sorbonne, Ecole Normale Supérieure de Paris)Astrazione ed economia epistemica
15:30 Francesca Boccuni (Università Vita-Salute San Raffaele)Grundgesetze fregeani e rivalutazione della impredicatività
16:15 Edoardo Caracciolo (Università di Torino)Formalizzazione e intuizione nel Raumbuch di Husserl
17:00 Pausa caffè
17:15 Pietro Milici (Università di Palermo)Un approccio costruttivo all‘analisi infinitesimale: potenzialità epistemologiche e limiti
18:00 Alberto Naibo (Université Sorbonne Paris 1)Costruibilità e geometria
18:45 Mario Graziano (Università di Messina)Numeri nella mente. L’intuizionismo nell’era della scienze cognitive
19:30 Conclusione seconda giornata
Mercoledì 26 settembre
09:00 Stefano Boscolo (Università di Palermo)Oggetti o strutture? Un argomento a partire da insiemi e categorie
09:45 Ruggero Pagnan (Università di Genova)La reificazione del segno in teoria delle categorie e il polimorfismo parametrico
10:30 Samuele Maschio (Università di Pavia)Qual è la vera categoria degli insiemi?“
11:15 Pausa caffè
11:30 Marianna Antonutti (Univeristy of Bristol)Incompletezza, Tesi di Church e conoscenza matematica
12:15 Gabriele Pulcini (Università di Chieti-Pescara)Deflazionismo, incompletezza ed ω_regola
13:00 Pausa pranzo
14:30 Luca San Mauro (Scuola Normale Superiore)La naturalezza dei concetti matematici: un profilo logico filosofico
15:15 Silvia de Toffoli (Technische Universität Berlin), Valeria Giardino (Universidad de Sevilla)La dinamica dei diagrammi in teoria dei nodi
16:00 Giovanni Raimo (Technische Universität Berlin)Significato e finalità del metodo assiomatico: l’aura metafisica della logica
16:45 Laura Tesconi (Università di Pisa)Un contesto formale per la composizione di derivazioni
17:30 Pausa caffè
17:45 Laura Crosilla (University of Leeds)Riflessioni sulla matematica costruttiva
18:30 Luca Tranchini (Eberhard Karls Universität Tübingen)Semantica dimostrativo-teoretica, paradossi e la distinzione tra senso e denotazione
19:15 Paolo Pistone (Università di Roma 3)Il “seguire una regola” e i limiti della formalizzazione: alcune considerazioni di Wittgenstein rievocate attraverso logica, complessità e algebre di operatori
Per le informazioni: gabriele.lolli@sns.itgiorgio.venturi@sns.it