Critiche all'analisi non standard
L'analisi non standard e il calcolo non standard, da essa derivato, sono stati criticati da diversi autori, in particolare Errett Bishop, Paul Halmos e Alain Connes. Di seguito sono analizzate tali critiche.
Introduzione
[modifica | modifica wikitesto]La considerazione dell'analisi non standard in letteratura è stata notevolmente varia. Paul Halmos l'ha descritta come un particolare prodotto tecnico della logica matematica. Il vincitore della medaglia Fields Terence Tao ha riassunto il vantaggio dell'approccio iperreale notando che[1]
«permette di manipolare rigorosamente cose come "l'insieme di tutti i piccoli numeri", o di dire in modo rigoroso cose come “η1 è più piccolo di qualunque cosa che utilizzi η0”, consentendo nello stesso tempo di ridurre notevolmente i problemi di gestione degli epsilon, nascondendo automaticamente molti dei quantificatori nelle argomentazioni.»
La natura delle critiche non è direttamente rivolta allo status logico dei risultati dimostrati mediante l'analisi non standard. In termini dei fondamenti convenzionali della matematica della logica classica, tali risultati sono del tutto accettabili. L'analisi non standard di Abraham Robinson non necessita di altri assiomi oltre alla teoria degli insiemi di Zermelo-Fraenkel (ZFC) (come esplicitamente mostrato da Wilhelmus Luxemburg nella costruzione degli iperreali per mezzo degli ultrafiltri), mentre la variante dovuta a Edward Nelson, nota come IST, è similmente una estensione conservativa di ZFC.[2] Questa fornisce una garanzia che la novità dell'analisi non standard è tutta nella strategia dimostrativa, non nell'ampiezza dei risultati. Inoltre, l'approccio della teoria dei modelli all'analisi non standard, per esempio basato sulle superstrutture, oggi comunemente utilizzato, non richiede ulteriori assiomi di teoria degli insiemi al di là di ZFC.
Controversie sono nate su questioni di pedagogia della matematica. Inoltre l'analisi non-standard, così come è stata sviluppata, non è l'unico candidato per realizzare gli obiettivi di una teoria degli infinitesimi (si veda Smooth infinitesimal analysis). Philip J. Davis ha scritto, in una recensione del libro Left Back: A Century of Failed School Reforms (2002) di Diane Ravitch:
«C'era il movimento a favore dell'analisi non standard per l'insegnamento del calcolo elementare. Le sue quotazioni sono salite un po' prima che il movimento crollasse per complessità interiore e scarsa necessità.[3]»
L'utilizzo del calcolo non standard in aula è stato analizzato nello studio di K. Sullivan riguardante scuole nella zona di Chicago. Sullivan ha mostrato che gli studenti che avevano seguito un corso NSA erano in grado di interpretare meglio il senso del formalismo matematico del calcolo rispetto ad un gruppo di controllo che aveva seguito un programma standard. Questo è stato anche notato da Artigue (1994), pagina 172; Chihara (2007); e Dauben (1988).
Note
[modifica | modifica wikitesto]- ^ Tao, T.: Structure and randomness. Pages from year one of a mathematical blog. American Mathematical Society, Providence, RI, 2008. p. 55.
- ^ Questo è mostrato in un articolo di Edward Nelson per l'AMS del 1977, in un'appendice scritta da William Powell.
- ^ SIAM: Educational Enthusiasms and Their Critics