QED di Gabriele Lolli

Trascrizione (reimpaginata) della quarta di copertina
NB - Le lettere accentate sono sostituite con lettere seguite da accento;
     la o con umlaut e` sostituita con oe;
     il corsivo e` sostituito con <>;
     il simbolo di copyright e` sostituito con Copyright.

La dimostrazione matematica e` l'incubo degli studenti,
un rompicapo per la filosofia,
un mistero per le persone comuni,
che della matematica ricordano solo calcoli e formule.
Si celebrano coloro che dimostrano teoremi
(come di recente quello di Fermat),
si fanno fi]m su questi personaggi,
ma come abbiano fatto,
in che cosa consista ]a loro prestazione
non si sa e non si prova neanche a chiedere.
Nella filosofia,
la conoscenza rappresentata dalla matematica e` stata,
da Aristotele in poi,
il modello di una conoscenza certa, assoluta, garantita;
per spiegarla e giustificarla
si sono costruite le metafisiche che scandiscono la storia del pensiero,
dal platonismo al razionalismo allo psicologismo.
In questo libro,
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.
Con dovizia di esempi,
sono messe in luce una pluralita` di funzioni,
una varieta` di strategie e una molteplicita` di stili.
E al di sotto delle differenze di stile,
tra aritmetica, algebra, geometria,
si fa vedere come agiscano
le diverse capacita` espressive dei linguaggi
e le diverse potenzialita` deduttive delle logiche che si usano,
spesso senza esserne consapevoli.
Mostrando quali diverse leggi logiche sostengano le diverse strategie
il libro si propone quindi di essere anche
una introduzione pratica alla logica in azione.

Gabriele Lolli e` professore di Logica matematica
presso l'Universita` di Torino.
Tra le sue opere piu` recenti nelle nostre edizioni:
<Dagli insiemi ai numeri> (1994),
<Il riso di Talete. Matematica e umorismo> (1998)
e <La crisalide e la faifalla. Donne e matematica> (2000).
Per il Mulino ha pubblicato
<Filosofia della matematica> (2002)
e <Da Euclide a Goedel> (2004).

In copertina, Giacomo Balla. <Sconcertazione di stati d'animo>.
Copyright Giacomo Balla - by SIAE 2005