Libri di John Stillwell

Dimostrazioni indaga l'evoluzione del concetto di dimostrazione – una delle caratteristiche più significative e determinanti del pensiero matematico – attraverso episodi critici della sua storia. Dal teorema di Pitagora ai tempi moderni, e in tutte le principali discipline matematiche, John Stillwell dimostra che la dimostrazione è un concetto matematicamente vitale, che ispira l'innovazione e gioca un ruolo fondamentale nella produzione di nuova conoscenza. Stillwell inizia con Euclide e la sua influenza sullo sviluppo della geometria e dei suoi metodi di dimostrazione, per proseguire con l'algebra. Successivamente, i risultati analitici furono visti in un primo momento come “algebra infinitesimale”, e l'analisi divenne un'arena per prove algebriche e computazionali piuttosto che per prove assiomatiche nello stile di Euclide. Stillwell procede con la teoria dei numeri, la geometria non euclidea, la topologia e la logica, e scruta il profondo abisso tra l'aritmetica dei numeri naturali e i numeri reali. Laggiù, Cantor, Gödel, Turing e altri scoprirono che il concetto di dimostrazione è in definitiva parte dell'aritmetica. Questo fatto sorprendente impone limiti fondamentali su quali teoremi possono essere dimostrati e quali problemi possono essere risolti.

Oltre due millenni separano la scoperta dei numeri irrazionali, a opera dei pitagorici, dalla rigorosa definizione del concetto di numero reale computabile da parte di Alan Turing. Questo volume riformula idee che hanno segnato lo sviluppo del pensiero matematico da Pitagora a Turing, mostrando come, attraverso progressivi affinamenti dell’analisi concettuale, il divario tra numeri e geometria venga a ricomporsi in un fecondo rapporto dialettico. Il suo intento è di far riflettere sul profondo legame tra matematica e filosofia, e provare l’efficacia della matematica nel definire questioni filosofiche fondamentali: la comprensione dell’infinito; l’esistenza di concetti apparentemente impossibili, come i numeri irrazionali e immaginari, i punti sull’orizzonte, gli infinitesimi, la geometria non euclidea; la diversa natura dei concetti di verità e dimostrazione. Dalle armonie musicali alla scienza dei calcolatori, la cultura dell’Occidente prende forma da una duplice matrice. Se la matematica greca deriva il suo carattere dimostrativo dalla speculazione filosofica, la filosofia moderna trova un suo alfabeto nella lingua matematica. Nei nove capitoli del presente volume, il lettore avrà modo di apprezzare come la semplicità della descrizione matematica esalti lo spessore filosofico dei concetti.