Scarica il quaderno: tasto destro del mouse, salva oggetto ... - Apav

More documents

Recommendations

Info

E. CORTELLINI- F. EUGENI- G. EUGENI- R. MASCELLA 23 efficiente la polarità uomo-computer, molto al di là che quella uomocorpo. Questa lettura si presta a vedere un mondo sempre più complesso, un mutamento radicale dello scenario tradizionale e in controtendenza ai degrinatori dell’uomo-computer e del suo preteso inaridimento e impoverimento mentale, la possibilità di stimoli intellettuali per riflessioni nuove e metodologie aperte a differenti modelli di azioni sociali. Rimane aperto il problema di studiare dal punto di vista della psichiatria il fenomeno della polarità uomo-macchina15 individuandone i traumi e i drammi. Per ora si prescinde da questa analisi. Il problema ora è quello di definire uno o più paradigmi nuovi per questa disciplina che sembra connettersi e si connette, con tutte le altre, utilizzando nel suo progredire la fisica, la meccanica, la logica, la matematica, l’elettronica, la chimica e fornisce applicazione ad ogni ramo dello scibile, applicazioni che vanno dall’editoria all’archivio, alle banche dati, alle reti, alla comunicazione globale in un fenomeno per quantità e velocità mai ricordati, di sicuro sconcertanti. Le visioni classiche sono state più volte messe in crisi e, dalle ceneri di una crisi, sono sempre nate nuove ed interessanti teorie. Da ricordare che i sostenitori della specificità di altre scienze, pur accettando di applicare il metodo scientifico, non hanno ritenuto di dover utilizzare solo i concetti provenienti dalla meccanica (ad esempio in chimica, biologia, psicologia). I risultati delle scienze naturali, dovuti tra gli altri a Galvani, Volta, Coulomb, Lavoisier e Brown, hanno mostrato delle contrapposizioni che non potevano ricondursi al solo paradigma meccanicista. A questa critica hanno contribuito anche i cultori delle scienze storico-sociali che, nel reclamare la dignità di scienza per le loro discipline, hanno cercato di descrivere i fenomeni, osservati caso per caso, per comprenderli sulla base dei loro caratteri
24 EPISTEMOLOGIA E FONDAMENTI DELL’INFORMATICA ideali, senza ricondurli, se non parzialmente, a leggi generali. E’ stata così concepita l’Ermeneutica che, nata come arte di interpretare oscuri testi e antichi documenti, ha giocato un importante ruolo nella ridefinizione della scientificità ed ha avuto il pregio di allargare in modo considerevole lo stesso concetto di scientificità, andando a ricaratterizzare, di fatto, tutte le scienze umane fondate nel Novecento. Il concetto del dimostrare in Matematica, così tipico della cultura occidentale e così negletto in quella orientale, ha subito le sue traversie incontrando qualche caso limite. Ricordiamo ad esempio il teorema dei quattro colori asserente che è possibile colorare una carta geografica con solo quattro colori in modo che regioni confinanti abbiano colori diversi. La dimostrazione è stata ottenuta nel 1976 da Appel e Haken con l’ausilio di un computer che ha lavorato parecchi mesi in una prova decisamente ripetibile ma, all’incirca, nello stesso interminabile lasso di tempo. I matematici puri ancora oggi non accettano la prova, i matematici applicati la guardano con simpatia, altri ancora hanno coniato un nuovo termine: i tecnoremi. La crisi può essere risolta solo reinterpretando l’idea stessa di prova! Non vi è dubbio che noi riteniamo che l’idea di prova debba essere riletta, reinterpretata e ricodificata alla luce delle nuove imperanti tecnologie, in tutte le discipline. Questa rilettura è stata fatta per la matematica al tempo di quel doppio salto epistemologico provocato dal movimento bourbakista, che ci ha indicato la via regia dell’assiomatica e della prova di Godel che ce ne ha indicato i limiti. L’intuizionismo ha ripreso il suo spazio, lo sperimentale, l’insegnamento per gradi, il linguaggio mediato, la prova informatica, anche il criticato teorema delle 15.000 pagine, 16 che in attesa di una prova corta – come agognava Giancarlo Rota – potrebbe essere ridimostrato in un programma cooperativo tipo GIMPS (Great Integre Mersenne Prime Search), un interessante programma cooperativo
Page 1 and 2: RATIO MATHEMATICA QUADERNI ACCADEMI
Page 4 and 5: RATHIO MATHEMATICA ACCADEMIA PICENA
Page 6: Introduzione INDICE EPISTEMOLOGIA E
Page 9 and 10: confonde il sapere con l’intuire
Page 12 and 13: VERSO UNA VISIONE EPISTEMOLOGIA DEL
Page 14 and 15: E. CORTELLINI- F. EUGENI- G. EUGENI
Page 80: E. CORTELLINI- F. EUGENI- G. EUGENI

Scarica il quaderno: tasto destro del mouse, salva oggetto ... - Apav

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?