L'ultima volta ho riportato un brano in cui Reuben Hersh si pone una domanda sul come distinguere la matematica da altre discipline umanistiche e osserva che la matematica è umanistica rispetto alla sua materia - le idee umane - mentre è simile alla scienza nella sua oggettività.
Oggi propongo un brano in cui l'autore torna sul tema del platonismo in matematica e della dicotomia tra scoperta e invenzione in matematica.
Personalmente ho sempre trovato più affascinante l’attività di chi costruisce teorie rispetto a quella di chi risolve problemi.
Personalmente ho sempre trovato più affascinante l’attività di chi costruisce teorie rispetto a quella di chi risolve problemi.
“...risolvere problemi ben definiti non è l'unico modo in cui la matematica avanza. Si devono anche creare concetti e teorie. In effetti, la nostra più grande lode va a chi, come Gauss, Riemann, Eulero, ha creato nuovi campi della matematica. Una ben nota classificazione dei matematici è quella tra chi risolve problemi e chi costruisce teorie. Quando si parla di teorie - la teoria di Galois dei campi dei numeri algebrici, la teoria di Cantor degli insiemi infiniti, la teoria di Robinson sull'analisi non standard, la teoria di Schwartz sulle funzioni generalizzate - non diciamo che siano state "scoperte". La teoria è in parte predeterminata da conoscenza, e in parte una creazione del suo inventore. Tuttavia, di fronte a esse percepiamo un salto intellettuale, come quando ci si trovi di fronte a un grande romanzo o a una grande sinfonia.
Quando diversi matematici risolvono un problema, i loro risultati sono identici. Tutti “scoprono” la stessa risposta. Ma quando essi creano teorie per soddisfare qualche necessità, i loro risultati non sono identici. Le teorie risultanti sono diverse. Come, ad esempio, nel caso dell'analisi vettoriale di Gibbs contrapposta ai quaternioni di Hamilton. La differenza tra inventare e scoprire è la differenza tra due tipi di progresso matematico. La scoperta sembra essere completamente determinata. L’invenzione sembra venire da un'idea che semplicemente non c'era prima che il suo inventore ci pensasse. Ma poi, dopo aver inventato una nuova teoria, devi scoprire le sue proprietà, risolvendo con precisione le domande matematiche correlate. Quindi inventare porta alla scoperta.”
Quando diversi matematici risolvono un problema, i loro risultati sono identici. Tutti “scoprono” la stessa risposta. Ma quando essi creano teorie per soddisfare qualche necessità, i loro risultati non sono identici. Le teorie risultanti sono diverse. Come, ad esempio, nel caso dell'analisi vettoriale di Gibbs contrapposta ai quaternioni di Hamilton. La differenza tra inventare e scoprire è la differenza tra due tipi di progresso matematico. La scoperta sembra essere completamente determinata. L’invenzione sembra venire da un'idea che semplicemente non c'era prima che il suo inventore ci pensasse. Ma poi, dopo aver inventato una nuova teoria, devi scoprire le sue proprietà, risolvendo con precisione le domande matematiche correlate. Quindi inventare porta alla scoperta.”
...continua...