Lunedì 23 febbraio 2026 presso la Sala riunioni 1L alle ore 15:00 Rossella Lupacchini, Università degli Studi di Napoli Federico II, terrà un seminario dal titolo ” Dimostrare, calcolare, prevedere: dalla logica alla fisica, e ritorno? Considerazioni sul concetto di “computabilità”

“Come nella vita dei popoli un singolo popolo può prosperare solo se stanno bene anche
tutti i popoli vicini,” sono parole di Hilbert (1918), “così avviene anche nella vita delle
scienze. Avendo riconosciuto con esattezza questo fatto, i più significativi esponenti del
pensiero matematico (…) da sempre hanno coltivato le relazioni con le scienze vicine, in
particolare con i grandi regni della fisica e della gnoseologia.” Di qui l’esigenza di un
approfondimento dei fondamenti dei singoli campi conoscitivi, per garantire sicurezza e
stabilità alla costruzione d’insieme, di qui la necessità di far piena chiarezza sui principi
del ragionamento matematico. È proprio grazie ad un approfondimento della riflessione
metodologica sul concetto di dimostrazione che si arriva a riconoscere la centralità della
nozione di calcolabilità effettiva e l’urgenza di darne una definizione rigorosa. Il concetto
di computazione emerge dunque in matematica e si caratterizza come concetto logico. Il
concetto di computazione quantistica emerge in fisica da una riflessione sugli “strumenti
di previsione”. Tra i due c’è un legame essenziale o sono solo lontani parenti?
Organizzato da Giuseppina Terzo, Felice Masi, Francesco Montesi, Antonio Piccolomini d’Aragona, Francesco Pisano
Per info e contatti: giuseppina.terzo@unina.it, francesco.montesi@unina.it