matematica Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla m. applicata compete l’elaborazione di strumenti e modelli adatti agli scopi di altre scienze (fisica, biologia ecc.).
Originariamente, la m. è la scienza razionale dei numeri (aritmetica, intesa come scienza della quantità discreta) e delle misure (geometria, intesa come scienza dell’estensione, cioè della quantità continua), i cui primi sviluppi, presso le civiltà preelleniche (Babilonia, Egitto), sono in relazione con la ricerca di soluzioni a concreti problemi di calcolo. Nella
Dato l’enorme sviluppo della m. dal Rinascimento ai giorni nostri, risulta difficile ricomprendere in una definizione generale l’ampia varietà di ricerche, procedure e indirizzi in cui la disciplina si è ramificata.
1.1 I popoli del Medio Oriente. - Le vestigia più antiche di conoscenze matematiche (aritmetiche e geometriche) non puramente empiriche ma razionali si trovano presso talune civiltà preelleniche del Medio Oriente (Babilonia, Egitto); esse risalgono a 2500-3000 anni a.C. e furono elaborate da questi popoli in relazione ad attività pratiche, quali il commercio (aritmetica), l’agrimensura catastale (geometria, cioè ‘misurazione della terra’), la navigazione e l’agricoltura (studio della sfera celeste, elementi di geometria sferica). Nei papiri egizi e nelle tavolette babilonesi si trovano calcoli (anche su taluni numeri frazionari), determinazioni di aree e volumi, risoluzioni di problemi di 1° e 2° grado.
1.2 Grecia antica. - I Greci ereditarono queste nozioni dai popoli orientali, con i quali erano in contatto (7°-6° sec. a.C.); ma la m. ellenica si differenzia subito da quella egizia o babilonese per: a) la generalità dei risultati; per es., il teorema cosiddetto di Pitagora era noto per alcuni triangoli rettangoli particolari alla m. orientale, ma è espresso solo dai Greci come proposizione generale; b) il carattere razionale, deduttivo, logico del procedimento matematico; c) la rapida e sistematica conquista di risultati nuovi e la conseguente fondazione/">fondazione di alcune branche. Si può perciò ben dire che la m. come scienza ha avuto inizio in Grecia.
Il 3° sec. a.C. è il ‘secolo d’oro’ della m. ellenica, che ha il suo centro soprattutto in
1.3 Età romana. - Quanto ai Romani, essi non ebbero mai interesse per la m. pura, ma solo per le sue applicazioni (agrimensura, architettura ecc.). Solo alla fine dell’epoca romana, sotto Teodorico, ebbero luce, con Boezio (480-524) e Cassiodoro (490-580), la traduzione latina di
1.4 Dall’Alto Medioevo al Cinquecento. - Il Medioevo, fino al principio del Duecento, non solo ereditò dai Romani scarse notizie e miseri riassunti della m. greca, ma perse addirittura la capacità di comprendere le fonti a sua disposizione, nelle poche traduzioni latine. Si andava però lentamente sviluppando quel
1.5 La m. indiana e araba - È presso gli Indiani che nacque il sistema di numerazione decimale che permette di scrivere i numeri, comunque alti, mediante le 9 cifre e lo zero, attribuendo alle cifre stesse un valore di posizione. Tale sistema si incontra già in un trattatello del 4° o 5° sec. d.C., Sūrya
Così come la geometria è gloria della scienza greca, l’algebra è la grande conquista della m. araba. Lo studio della m. presso gli Arabi incominciò sotto gli Abbasidi, nella città da essi fondata (762),
1.6 Dal Duecento al Cinquecento. - Intorno al 1200 un mercante italiano, Leonardo Fibonacci (detto L. Pisano), visitò l’Oriente arabo ed ebbe così modo di impadronirsi della cultura matematica araba. Nel Liber Abaci (1202) egli volgarizzò il sistema di numerazione posizionale, trattò algebricamente le equazioni di 1° e 2° grado, si occupò genialmente del calcolo approssimato delle radici di equazioni d’ordine superiore. Una larga diffusione dei principi e dei metodi del Liber Abaci si ebbe solo tre secoli dopo, con L. Pacioli (1494); in questo periodo però, in
1.7 Il Seicento e il Settecento. - Già nel Cinquecento e ancor più nei secoli successivi i centri di ricerca matematica si andavano moltiplicando e diffondendo in tutta l’Europa: tanto che, nel Settecento soprattutto, il progresso della m. si può considerare opera collettiva di studiosi di tutte le nazioni colte. Tra il Cinquecento e il Seicento fondamentale è stata l’opera di geometrizzazione dell’algebra effettuata da F. Viète. Nel Seicento compaiono le tre opere fondamentali che segnano l’inizio della m. moderna: la Géometrie (1637) di R. Descartes; la Nova methodus pro maximis et minimis (1684) di G.W. Leibniz; i Philosophiae naturalis principia mathematica (1687) di I. Newton. La geometria analitica di Descartes ha i suoi precedenti immediati in P. Fermat, che arrivò ai risultati di Descartes in modo indipendente: l’algebra e la geometria si fondono in un metodo generale, assai potente. I fondatori dell’analisi infinitesimale, Leibniz e Newton, hanno i loro precursori immediati in G. Galilei e nella sua scuola (B. Cavalieri, con la teoria degli indivisibili, ed E. Torricelli), in Fermat, in I. Barrow, maestro di Newton. I nuovi procedimenti infinitesimali, per quanto suscitassero perplessità e fossero agli inizi ben lontani dal rigore logico, mostrarono subito un’eccezionale forza costruttiva e consentirono una sistematica soluzione di problemi antichi e nuovi.
Il Settecento si dimostra il grande secolo del calcolo infinitesimale e della meccanica: ricordiamo Giacomo e Giovanni Bernoulli, L. Euler, G.L. Lagrange. Essi furono essenzialmente costruttori: l’opera di sistemazione critica apparterrà al secolo successivo (A.-L. Cauchy, B. Bolzano, K.T.W. Weierstrass). Il bilancio dell’attività matematica in questo periodo si può ritenere ben rappresentato da alcune grandi opere d’insieme, apparse a cavallo tra Settecento e Ottocento: i grandi trattati di Euler, Introductio in analysin infinitorum (1748), Institutiones calculi integralis (1755); le opere di G. Monge (Application de l’analyse à la géométrie, 1795), di P.-S. Laplace (Mécanique céleste, 5 vol., 1799-1825), di A.-M. Legendre (Traité de fonctions elliptiques et des integrales eulériennes, 3 vol., 1827), nonché la Mécanique analytique di Lagrange (2 vol., 1811-15) e la Théorie analitique de la chaleur di J. Fourier (1822).
2. La m. moderna e contemporanea
2.1 L’Ottocento. - A partire dai primi decenni del 19° sec. la m. progredisce e si ramifica al punto di rendere assai difficile un riassunto schematico del suo sviluppo. Va subito detto, inoltre, che non si tratta soltanto di uno sviluppo quantitativo, perché si manifestano e prendono sempre più consistenza aspetti nuovi nella ricerca matematica, prima quasi sconosciuti. I rapidi progressi e la mole dei risultati conseguiti nei due secoli precedenti fecero sentire ai matematici la necessità di approfondire le basi dell’edificio costruito, in modo da rendere assolutamente sicuri i risultati ottenuti. Nacque così la tendenza a liberare gli enti matematici da ogni presupposto intuitivo, considerandoli come oggetti di studio a sé stanti. Benché tale tendenza si fosse già manifestata nelle costruzioni razionali dei geometri greci, il pensiero matematico era rimasto però legato fino a tutto il Settecento al tacito presupposto che gli enti matematici fossero immagine, sia pure idealizzata, di enti naturali, tanto che la m. fu a lungo coltivata quasi come scienza della natura. Ecco perché i problemi della geometria prima, della meccanica e della fisica poi, furono determinanti per lo sviluppo della matematica. Ma all’inizio dell’Ottocento sorse il bisogno di una revisione e di un assetto della m. più soddisfacente dal punto di vista puramente logico.
Il nuovo atteggiamento di critica degli studi matematici, che ha fatto definire il 19° sec.
2.2 Il Novecento - Nella prima parte del 20° sec. gli interessi maggiori dei matematici erano rivolti alla formulazione di metodi generali e di teorie astratte come l’algebra astratta, la topologia algebrica, la teoria delle distribuzioni, la teoria delle categorie. Successivamente è stata dedicata una maggiore attenzione alla soluzione di problemi specifici come la congettura di L. Bieberbach (➔ serie), la congettura di Louis Joel Mordell, la congettura di Jules-Henri Poincaré e il problema dei quattro colori (➔ colore).
L’introduzione dei calcolatori ha determinato, a partire dagli anni 1950, nuove metodologie e anche nuove linee di ricerca in molti settori della m.; ha altresì stimolato lo sviluppo di nuovi campi come la teoria degli automi, l’analisi degli algoritmi e la teoria dell’ottimizzazione, rivalutandone altri come l’analisi combinatoria e la teoria dei grafi. In particolare, l’analisi numerica (➔ numerico, calcolo) ha avuto un nuovo impulso nella ricerca di algoritmi veloci, efficienti e facilmente programmabili. Gli studiosi di analisi matematica hanno poi dovuto affrontare due nuovi problemi, prodotti proprio dall’utilizzo degli elaboratori elettronici: il problema dell’accuratezza dei risultati e il problema della stabilità numerica delle soluzioni. Praticamente ogni campo della m. applicata è stato coinvolto in questi sviluppi, che in una certa misura/">misura sono stati introdotti anche nel dominio della pura speculazione matematica. Particolare menzione merita la dimostrazione della verità della congettura dei quattro colori, realizzata nel 1976 da
A partire dagli ultimi decenni del 20° sec. la m. ha avuto nel complesso notevoli sviluppi, dovuti alla soluzione di problemi che hanno richiesto la costruzione di metodi e di strutture sempre più raffinate. In particolare, la dimostrazione del grande teorema di Fermat, completata nel 1995 (➔ Fermat, Pierre de), ha rappresentato una delle maggiori conquiste della m., sia per le tecniche usate sia per le notevoli difficoltà superate. In generale, settori come l’analisi funzionale e il
In generale la ricerca matematica del 20° sec. si è sviluppata secondo una sempre maggiore articolazione del rapporto fra m. pura e m. applicata. Alcune fra le più astratte ricerche in settori come la geometria algebrica, la topologia differenziale e la teoria della probabilità trovano importanti applicazioni nella fisica fondamentale. La fisica continua a essere fonte di problemi matematici, oltre che sorgente di nuove tecniche e punti di vista che si rivelano fondamentali nella scoperta e nella dimostrazione di nuovi risultati del tutto interni alla matematica. Tuttavia, lo sviluppo della m. presenta caratteristiche concettuali e metodologiche proprie, in virtù dell’emergere dell’approccio modellistico (➔ modello). Esso è collegato alla nascita di branche completamente nuove e anche all’introduzione del tema della complessità nello studio dei sistemi; all’emergere di una nuova m. numerica con lo sviluppo dei metodi computazionali (➔ computazionale); alle ricerche di m. combinatoria sui problemi del finito, spesso indicate con il nome di m. discreta.
Problematiche tipiche della m. applicata sono: la modellizzazione di fenomeni fisici, chimici e biomedici; la progettazione di elementi, strutture e sistemi in ingegneria per ottimizzare il rendimento produttivo; la pianificazione e la direzione di strategie di mercato e finanziarie; la comprensione e l’ottimizzazione dei processi di produzione. Fra i problemi che si aprono verso il futuro, si possono citare i modelli matematici per lo studio dei mutamenti climatici e per lo sviluppo di nuovi materiali, delle biotecnologie, degli strumenti multimediali.
4. Settori diversi della matematica
Secondo la classificazione adottata dalle due principali riviste di recensione della letteratura matematica, Mathematical reviews e Zentralblatt, la m. si divide ormai in più di 60 rami, fino a un totale di più di 5000 settori specializzati di ricerca. La tab. presenta la versione, con un solo livello di classificazione e relativa alle sezioni principali, introdotta a partire dal 2000.
La m. contemporanea appare attraversata da molte tensioni culturali, le cui origini risalgono, a volte, a tempi antichi: oltre a quella fra m. pura e applicata, quelle fra m. del continuo, rappresentata dalle branche classiche dell’analisi e della geometria, e m. del finito, ritornata in primo piano anche per gli sviluppi dell’informatica teorica; fra m. astratta (di stampo bourbakista, che tende alla massima generalità) e m. concreta (legata agli esempi, all’intuizione); fra m. strutturale, che punta alla dimostrazione di teoremi nel quadro di teorie assiomatizzate, e m. algoritmica, che sviluppa e analizza algoritmi. Tuttavia, molti interessanti sviluppi teorici sono proprio legati alle applicazioni, a volte sorprendenti, di risultati ottenuti in un settore entro un altro, anche apparentemente lontano, come nel caso della dimostrazione dell’ultimo teorema di Fermat.
Un esempio attuale di un programma di ricerca trasversale a molti settori della m. è quello della ‘quantizzazione/">quantizzazione’, che prende le mosse proprio da alcuni sviluppi teorici legati all’apparato matematico della meccanica quantistica. Anche la probabilità rappresenta un importante crocevia matematico: sono state date versioni ‘stocastiche’ di molte teorie matematiche o fisico-matematiche (equazioni differenziali stocastiche, meccanica stocastica, trasporto parallelo stocastico e così via); inoltre, la teoria della probabilità appare come uno strumento cruciale in molte questioni che hanno un rilevante significato epistemologico, quali il problema della ‘freccia del tempo’ (contrasto tra microfisica/">microfisica reversibile e dinamica macroscopica irreversibile), il problema dell’esistenza di metodologie induttive nell’epistemologia contemporanea e il significato dell’indeterminismo nella meccanica quantistica.
La ricchezza di approcci con la quale si presenta la ricerca matematica degli inizi del Duemila ha stimolato un crescente numero di studi analitici da un punto di vista filosofico, storico e anche sociologico. La riflessione sull’attività matematica si era concentrata nei primi decenni del 20° sec. sul problema dei fondamenti logici del corpus teorico della matematica. Questa circostanza ha dato l’impulso iniziale a uno straordinario fiorire degli studi di logica matematica, i quali, con l’avvento degli elaboratori elettronici, si sono sviluppati anche in collegamento con i temi di base dell’informatica, per es. per quanto riguarda i concetti di algoritmo, di programma, di calcolabilità, e con le ricerche nel campo dell’intelligenza artificiale. Il programma filosofico teso a trovare solidi fondamenti per la m. ha subito tuttavia numerosi insuccessi, a partire dalla dimostrazione dei teoremi di Gödel, e ha anche smesso di essere al centro della riflessione matematica. Nuovo interesse è stato rivolto a temi poco affrontati dalla fine degli anni 1930, quali lo studio della pratica matematica (per es., gli aspetti psicologici dell’invenzione matematica); il concetto effettivo di dimostrazione e il rapporto fra dimostrazione formale e informale, anche alla luce di alcune dimostrazioni moderne effettuate con l’ausilio dell’elaboratore elettronico o di una complessità e lunghezza che sembrano al di là del controllo di un singolo individuo; il rapporto della m. con il contesto culturale e sociale.
Il problema dell’esistenza degli enti matematici e quello del confronto fra m. e altri aspetti del sapere scientifico sono altri temi sui quali si è tornato a dibattere; anche la moderna sociologia della scienza si è confrontata con la conoscenza matematica.
5. La filosofia della matematica
5.1 Antichità - Sin dall’antichità la m. è stata oggetto di riflessione filosofica. Se al pitagorismo si deve la dottrina circa il primato del numero quale elemento costitutivo della realtà, è a Platone che va attribuita la prima consapevole riflessione gnoseologica sulla m.: la m. rappresentava per Platone la prima forma di conoscenza intellettiva, in grado di elevarsi dalla sensibilità per attingere alle pure forme e, come tale, necessaria per l’educazione del filosofo. Negando l’esistenza ‘separata’ degli enti matematici, Aristotele definì la m. come scienza della quantità, capace di astrarre dai dati e dalle qualità sensibili per raggiungere conclusioni vere e certe anche sul sensibile stesso.
5.2 La m. come scienza privilegiata. - È soprattutto in
5.3 La concezione kantiana. - I. Kant si pose l’arduo obiettivo di giustificare criticamente la certezza della m. e la sua capacità di pervenire a vere e proprie scoperte, pur non essendo basata sull’esperienza. La fondazione trascendentale kantiana riusciva a determinare la possibilità della m. come scienza sulla base delle intuizioni a priori dello spazio e del tempo, entro le quali soltanto sarebbero possibili i giudizi sintetici a priori della geometria e dell’aritmetica. La concezione kantiana, attribuendo carattere di universalità e necessità alla geometria euclidea, doveva comunque rivelarsi inadeguata con il sorgere, nella prima metà del 19° sec., delle cosiddette geometrie non euclidee (➔ geometria): data la possibilità di costruire sistemi geometrici diversi, alternativi e addirittura in contraddizione tra loro, risultava difficile difendere il carattere universale e necessario della geometria euclidea. È da considerazioni di questo tipo che J.-H. Poincaré, pur accettando la dottrina kantiana relativamente al carattere sintetico a priori dell’aritmetica, traeva le sue tesi convenzionaliste sulla geometria, i cui vari sistemi considerava valutabili non sul piano della verità, ma solo su quello della semplicità e della comodità. Viceversa, il carattere sintetico a priori della geometria veniva difeso, pur con difficoltà, dal neokantiano E. Cassirer e da G. Frege, che tuttavia non lo riconosceva all’aritmetica.
5.4 Il dibattito sui fondamenti della matematica. - È a Frege, del resto, che si deve, sul finire del 19° sec., la nascita di una vera e propria filosofia della m.: il suo obiettivo, poi condiviso anche da B. Russell, era quello di dimostrare la natura essenzialmente logica e analitica dei concetti e del ragionamento matematico, in particolare contro le tesi di J.S. Mill sull’origine empirica dell’aritmetica; questo programma, noto con il nome di logicismo (➔ logica), fu perseguito da Frege sulla base della fondazione insiemistica dell’aritmetica, per essere poi messo in crisi da Russell, che pure ne condivideva la plausibilità. Il logicismo doveva comunque suscitare l’interesse del primo L. Wittgenstein e dei neopositivisti, che videro in esso, in accordo con i principi dell’empirismo, la possibilità di non ammettere altri tipi di conoscenza oltre a quella empirica e a quella logica. Il dibattito sui ‘fondamenti della m.’ seguito al crollo della fondazione logicistica doveva dar luogo, nella prima metà del Novecento, a vari altri tentativi, sempre più indistinguibili dalla ricerca logico-matematica, di definire la natura della m., della dimostrazione matematica e dello status degli enti matematici, dall’intuizionismo al formalismo fino agli importanti risultati di K. Gödel (➔ metamatematica; logica). Nell’ampia serie di proposte sulla natura della conoscenza matematica vanno inoltre segnalati gli approcci di I. Lakatos e H. Putnam. Il primo, in una prospettiva storico-critica della metodologia matematica, ha individuato anche nella m. la presenza di quel tipo di procedimento per congetture e confutazioni che, secondo K.R. Popper, sarebbe operante nelle scienze empiriche. Per Putnam la m. è parte integrante della scienza e il suo sviluppo comporta rivoluzioni concettuali, principi provvisoriamente a priori e una metodologia ‘quasi-empirica’ basata sul controllo di ipotesi per prova ed errore.