machineries

hat der alte hexenmeister
sich doch einmal wegbegeben!
und nun sollen seine geister
auch nach meinem willen leben.

der zauberlehrling

chris chatham segnala questa interessante intervista con steve grand. qualche riflessione sparsa.

strumenti

come spiega bene steve grand, viviamo in un mondo simulato, e siamo coscienti di questa simulazione - anche se non sempre del fatto che è una simulazione. una delle conseguenze di questo dato di fatto abbastanza sconcertante è la disposizione tipicamente umana a costruire strumenti. questi strumenti, infatti, permettono di controllare la realtà, permettendo al possessore dello strumento di risolvere, almeno parzialmente, uno dei grandi problemi dell'essere coscienti della propria simulazione: cioè eventuali discrepanze che si verificano fra quanto noi avevamo simulato nel futuro ed il feedback fornito dalla realtà.

platonismo

questa passione per lo strumento si trasferisce anche in altri campi. quello in cui sono più esperto e quello matematico, e di questo scrivo. teoremi, lemmi e teorie altro non sono, in questo contesto, altro che strumenti astratti che permettono di tenere sotto controllo un mondo non fisico. piccola osservazione: così come nel mondo reale ci si da delle regole per costruire degli strumenti, in maniera tale che essi siano adoperabili da tutti (chi sa il tedesco dia un'occhiata qui), anche nella matematica si è scelto un certo sistema di notazioni e di assiomi standard che permettono a tutti di comprendersi, cosicchè è possibile intraprendere esplorazioni di gruppo - "mathematical stories" è il termine che usa terence tao. questo concetto dell'esplorazione mi è caro: mi permette di dare un significato platonistico all'idea del teorema come strumento.

algoritmi

un posto di particolare rilievo in questa visione del mondo lo hanno gli algoritmi, in cui la natura strumentale del teorema è immediatamente visibile. d'altra parte si corre anche il rischio di considerare strumenti matematici genuini solo gli algoritmi, o, più in generale, espressioni finite, dimenticando l'utilità "esplorativa" di strumenti più astratti. il punto di vista speculare è la tendenza tipica dei matematici astratti ad essere spaventati da calcoli e stime, paura che può spingere persino al rifiutare come matematica corretta il risultato di tali calcoli e stime - bourbaki è un dinosauro la cui testa è troppo lontana dalla coda, si dice abbia detto cartier.