QED. Fenomenologia della dimostrazione

Tutti sappiamo che due più due fa quattro, ma pochi di noi sono in grado di dire perché. Si tratta, in effetti, di un’affermazione tutt’altro che scontata da un punto di vista matematico. Si celebrano coloro che dimostrano teoremi apparentemente astrusi, si girano film su questi personaggi eccentrici, ma come abbiano fatto, in che cosa consista la loro prova non sembra essere mai del tutto chiaro. In QED , che altro non è se non l’acronimo per Quod Erat Demonstrandum , formula di rito posta alla fine di tutte le dimostrazioni matematiche, la problematica delle dimostrazioni viene inserita in un quadro storico e filosofico, dai greci a Descartes alla rigorizzazione dell’Ottocento, ma soprattutto le dimostrazioni vengono discusse dall’interno, per far risaltare il loro ruolo nella costruzione della matematica. Al termine della lettura, sarà impossibile restare insensibili al fascino dell’eleganza razionale dell’attività dimostrativa, dal lampo d’intuizione iniziale alla sua inevitabile e stringente conclusione, a volte così poco intuitiva da risultare sorprendente.