Mostrare o dimostrare - L'approccio matematico alla conoscenza

In un’epoca in cui l’intelligenza artificiale e il machine learning guidano sempre più le interazioni culturali e la produzione di conoscenza, quale spazio rimane all’approccio della matematica? E' su questo infatti, che da secoli si basa il metodo scientifico, che si esplica in collaborazioni e interazioni tra discipline diverse e necessita di preparazione, allenamento e una buona dose di intuizione, guidata da una salda conoscenza di quel che si è scoperto in precedenza. Una macchina ci può mostrare, magari elaborandoli e ordinandoli, moltissimi dati, ma potrebbe, da questi e da teorie in qualche modo automatizzate, “intuire” e dimostrare nuovi risultati? Nel corso della conferenza ci interrogheremo su cosa significhi, oggi, fare scienza in un contesto dove l’efficienza e l’automazione sembrano prevalere sull’atto inventivo. Il vero progresso nasce ancora dalla scoperta di nuove idee o si fonda sempre più sulla gestione di ciò che già sappiamo?
In collaborazione con
Unione Matematica italiana