La Matematica

La matematica ha una lunga tradizione presso tutti i popoli della storia antica e moderna; è stata la prima disciplina a dotarsi di metodi di elevato rigore e portata. Ha progressivamente ampliato gli argomenti della sua indagine e progressivamente ha esteso i settori ai quali può fornire aiuti computazionali e di modellizzazione. È significativo che in talune lingue e in talune situazioni al termine singolare si preferisce il plurale matematiche.

Nel corso della sua lunga storia e nei diversi ambienti culturali si sono avuti periodi di grandi progressi e periodi di stagnazione degli studi. Questo in parte è dovuto all'importanza dei singoli personaggi capaci di dare apporti profondamente innovativi e illuminanti e di stimolare all'indagine matematica grazie alle loro doti didattiche. Si sono avuti anche periodi di arretramento delle conoscenze e dei metodi: questi però si sono riscontrati solo in relazione a eventi distruttivi o a periodi di decadenza complessiva della vita intellettuale e civile. Nella storia della matematica degli ultimi 500 anni, in relazione al miglioramento dei mezzi di comunicazione è comunque prevalsa la crescita progressiva del patrimonio di risultati e di metodi.

Questo è dovuto alla natura stessa delle attività matematiche. Esse sono costantemente tese alla esposizione precisa dei problemi e delle soluzioni e questo impone di comunicare avendo come fine ultimo la possibilità di chiarire tutti i dettagli delle costruzioni logiche e dei risultati (alcuni chiarimenti richiedono un impegno non trascurabile, talora molti decenni). Questo ha corrisposto alla definizione di un linguaggio per molti aspetti esemplare come strumento per la trasmissione e la sistemazione delle conoscenze.

Il linguaggio e il rigore matematico [modifica]

Eulero, che ha creato e reso popolare gran parte della notazione matematica correntemente utilizzata

Del linguaggio matematico moderno, fatto di rigorosi simboli riconosciuti in tutto il mondo, la maggior parte è stata introdotta dopo il XVI secolo.[1] Prima di allora, la matematica era scritta usando parole, un processo faticoso che rallentava le scoperte matematiche.[2] Eulero (1707-1783) è stato il responsabile di molte delle notazioni oggi in uso. La notazione matematica moderna rende molto più facile il lavoro del matematico professionista, ma i principianti lo trovano spesso scoraggiante. È estremamente compressa: pochi simboli contengono una grande quantità di informazioni; come le note musicali, la notazione matematica moderna ha una sintassi rigorosa (che in misura limitata varia da autore ad autore, e da disciplina a disciplina) e codifica le informazioni che sarebbe difficile scrivere in qualsiasi altro modo.

Il simbolo dell'infinito ∞ in caratteri tipografici diversi.

Il linguaggio matematico a volte può essere difficile per i principianti. Parole come o e solo hanno precisi significati, più che nella lingua corrente. Inoltre, parole come aperto e campo hanno specifici significati matematici. Il gergo matematico comprende termini tecnici, come omeomorfismo e integrabile. Tuttavia, c'è un motivo per l'uso di queste notazioni: la matematica richiede più precisione del linguaggio quotidiano.

Nelle dimostrazioni matematiche è fondamentale il rigore. Per rigore si intende un preciso e logico utilizzo di teoremi già dimostrati, in modo che, analizzando la dimostrazione in profondità attraverso un processo a ritroso, si arrivi ad assiomi e definizioni universalmente accettati. Il livello di rigore richiesto in matematica è variato col tempo: i Greci richiedevano argomentazioni dettagliate, ma nel periodo di Isaac Newton il rigore utilizzato nelle dimostrazioni si era alleggerito. I problemi nati dalle definizioni usate da Newton hanno portato alla rinascita di una attenta analisi delle dimostrazioni nel corso del Diciannovesimo secolo. Il significato di rigore matematico, non è sempre chiaro. Ad esempio, i matematici continuano a discutere sull'opportunità di considerare valide le dimostrazioni effettuate attraverso computer: dato che lunghi calcoli sono difficili da verificare, tali dimostrazioni potrebbero essere considerate non sufficientemente rigorose.

Gli assiomi nel pensiero tradizionale erano considerati le "verità auto-evidenti", ma questa concezione comporta alcuni problemi. A livello formale, un assioma è solo una successione di simboli, che ha un significato intrinseco solo nel contesto di tutte le formule derivabili di un sistema assiomatico. L'obiettivo del programma di Hilbert è stato proprio quello di fornire tutta la matematica di una solida base assiomatica, ma secondo il teorema di incompletezza di Gödel una completa assiomatizzazione della matematica è impossibile. Nonostante ciò, la matematica è spesso immaginata consistere (per lo meno nel suo contenuto formale) nella teoria degli insiemi in una qualche assiomatizzazione, nel senso che ogni enunciato matematico o dimostrazione può essere scritto con formule esprimibili all'interno di tale teoria.

Matematica teorica e applicata [modifica]

Teorema di Pitagora in uno scritto cinese datato tra il 500 a.C. e il 200 a.C., questo teorema ha importanti ricadute pratiche e teoriche

Le attività matematiche sono naturalmente interessate alle possibili generalizzazioni e astrazioni, in relazione alle economie di pensiero e ai miglioramenti degli strumenti (in particolare degli strumenti di calcolo) che esse sono portate a realizzare. Le generalizzazioni e le astrazioni quindi spesso conducono a visioni più approfondite dei problemi e stabiliscono rilevanti sinergie tra progetti di indagine inizialmente rivolti ad obiettivi non collegati.

Nel corso dello sviluppo della matematica si possono rilevare periodi ed ambienti nei quali prevalgono alternativamente atteggiamenti generali e valori riconducibili a due differenti generi di motivazioni e di approcci: le motivazioni applicative, con la loro spinta a individuare procedimenti efficaci, e le esigenze di sistemazione concettuale con la loro sollecitazione verso generalizzazioni, astrazioni e panoramiche strutturali.

Si tratta di due generi di atteggiamenti tra i quali si costituisce una certa polarizzazione; questa talora può diventare contrapposizione, anche astiosa, ma in molte circostanze i due atteggiamenti stabiliscono rapporti di reciproco arricchimento e sviluppano sinergie. Nel lungo sviluppo della matematica si sono avuti periodi di prevalenza di uno o dell'altro dei due

...