Scarica il quaderno: tasto destro del mouse, salva oggetto ... - Apav
Scarica il quaderno: tasto destro del mouse, salva oggetto ... - Apav
Scarica il quaderno: tasto destro del mouse, salva oggetto ... - Apav
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
24<br />
EPISTEMOLOGIA E FONDAMENTI DELL’INFORMATICA<br />
ideali, senza ricondurli, se non parzialmente, a leggi generali. E’ stata<br />
così concepita l’Ermeneutica che, nata come arte di interpretare<br />
oscuri testi e antichi documenti, ha giocato un importante ruolo nella<br />
ridefinizione <strong>del</strong>la scientificità ed ha avuto <strong>il</strong> pregio di allargare in<br />
modo considerevole lo stesso concetto di scientificità, andando a<br />
ricaratterizzare, di fatto, tutte le scienze umane fondate nel Novecento.<br />
Il concetto <strong>del</strong> dimostrare in Matematica, così tipico <strong>del</strong>la<br />
cultura occidentale e così negletto in quella orientale, ha subito le sue<br />
traversie incontrando qualche caso limite. Ricordiamo ad esempio <strong>il</strong><br />
teorema dei quattro colori asserente che è possib<strong>il</strong>e colorare una carta<br />
geografica con solo quattro colori in modo che regioni confinanti<br />
abbiano colori diversi. La dimostrazione è stata ottenuta nel 1976 da<br />
Appel e Haken con l’aus<strong>il</strong>io di un computer che ha lavorato parecchi<br />
mesi in una prova decisamente ripetib<strong>il</strong>e ma, all’incirca, nello stesso<br />
interminab<strong>il</strong>e lasso di tempo. I matematici puri ancora oggi non accettano<br />
la prova, i matematici applicati la guardano con simpatia, altri<br />
ancora hanno coniato un nuovo termine: i tecnoremi. La crisi può essere<br />
risolta solo reinterpretando l’idea stessa di prova!<br />
Non vi è dubbio che noi riteniamo che l’idea di prova debba<br />
essere r<strong>il</strong>etta, reinterpretata e ricodificata alla luce <strong>del</strong>le nuove imperanti<br />
tecnologie, in tutte le discipline. Questa r<strong>il</strong>ettura è stata fatta per<br />
la matematica al tempo di quel doppio salto epistemologico provocato<br />
dal movimento bourbakista, che ci ha indicato la via regia<br />
<strong>del</strong>l’assiomatica e <strong>del</strong>la prova di Go<strong>del</strong> che ce ne ha indicato i limiti.<br />
L’intuizionismo ha ripreso <strong>il</strong> suo spazio, lo sperimentale,<br />
l’insegnamento per gradi, <strong>il</strong> linguaggio mediato, la prova informatica,<br />
anche <strong>il</strong> criticato teorema <strong>del</strong>le 15.000 pagine, 16 che in attesa di una<br />
prova corta – come agognava Giancarlo Rota – potrebbe essere ridimostrato<br />
in un programma cooperativo tipo GIMPS (Great Integre<br />
Mersenne Prime Search), un interessante programma cooperativo