TRAMA: In questa discussione, Citrini compare mentre sta sonnecchiando davanti al computer, in un’afosa giornata di luglio, cercando di organizzare del materiale sull’infinito, raccolto alla rinfusa. Ad un certo punto, compare un messaggio nella posta elettronica, nonostante il computer non sia connesso alla rete: è Omero che interviene nel suo monologo interiore, con un messaggio e-mail. Comincia così una chat con l’Aldilà, alla quale partecipano numerosi personaggi. Gli scambi sono sempre regolati da Maria Gaetana Agnesi, che funge da moderatrice, anche se non sempre riesce a tenere a bada coloro che intervengono. Come alla fine del penultimo capitolo, quando Peano distrugge il proprio computer sfondandolo, forse con un’ascia. COMMENTO: Interessante, anche se a volte complesso, a causa anche delle numerose citazioni, spesso in lingua originale e senza alcuna traduzione. In generale scorrevole e anche per non addetti ai lavori, nonostante alcuni passaggi possano risultare un po’ ostici per chi è digiuno di matematica.

TRAMA: Il 25 ottobre 1811, nasce Evariste Galois. È importante specificare che, al tempo della sua nascita, domina in Francia Napoleone Bonaparte: la vita e la morte di Evariste Galois saranno strettamente connesse alle vicende storiche della Francia. Il 3 maggio 1814, Luigi XVIII torna a Parigi e, dopo la parentesi dei 100 giorni, l’8 luglio si attua la Restaurazione Borbonica; nello stesso periodo, Nicholas-Gabriel, padre di Evariste, diventa sindaco della cittadina di Bourg-la-Reine. È proprio durante il periodo del Terrore Bianco, con il massacro di centinaia di bonapartisti, che ha luogo l’assassinio dell’unico erede al trono. Il 16 settembre muore Luigi XVIII e gli succede Carlo X. Nell’estate del 1826, il liceo Louis-le-Grand, che Evariste ha cominciato a frequentare nel 1823, ha un nuovo direttore, Laborie, che ritiene Galois troppo giovane per frequentare già la classe di Rhétorique: dopo una lunga controversia con la famiglia, a gennaio Evariste viene retrocesso. Per assurdo, è proprio grazie a questa retrocessione che Evariste scopre il suo amore per la matematica. Nel giugno del 1828 sostiene il primo esame per l’ammissione all’Ecole Polytechnique, ma viene bocciato. La primavera del 1829 è il periodo più felice della vita di Galois: le sue idee in…

TRAMA: Pomeriggio inoltrato: una ragazza, forse una studentessa universitaria, si trova in una sala d’attesa senza finestre. Dopo qualche minuto, viene accolta da Albert Einstein. Il dialogo è inizialmente incerto: si parla della fisica, del fatto che la materia, oggetto di studio della fisica, è complessa e le formule costituiscono una pericolosa semplificazione. Appeso nella stanza si trova un quadro di Newton: secondo Einstein, Newton era convinto di essere riuscito a spiegare il mondo, quasi in ogni dettaglio. Ma in realtà vedeva solo un pezzetto di mondo, da un’angolatura particolare e alcune dimensioni gli sfuggivano. Il mondo non è come lo vediamo e le parole possono essere poco adeguate per descriverlo. Cosa è successo nel 1905? Einstein ha pubblicato tre o quattro brevi articoli su una rivista di fisica, rimettendo in discussione la vecchia struttura newtoniana del mondo. Nessuno è in grado di capire l’importanza di queste scoperte, nemmeno Einstein: dichiara che il tempo è relativo ed è soggetto agli eventi esattamente come succede alla velocità e alla materia, mentre lo spazio-tempo è un nuovo assoluto da cui partire, per coordinare gli eventi. Improvvisamente, Newton fa irruzione nello studio: discutono animatamente, ma si capisce che non è la prima volta…

TRAMA: LA TEORIA DEGLI INSIEMI – Con semplici esempi, l’autore presenta le diverse relazioni esistenti fra gli elementi di un insieme: la relazione di equivalenza, che porta alla ripartizione in classi, e la relazione di ordine, che porta all’ordinamento degli elementi. Quando gli insiemi sono due, le relazioni esistenti fra gli elementi dei due insiemi sono le corrispondenze, tra le quali le più interessanti sono quelle biunivoche, utilissime per determinare l’equipotenza degli insiemi infiniti. LA LOGICA MATEMATICA – Le proposizioni atomiche, i connettivi logici, le tavole di verità portano al Quinto Postulato di Euclide e alle regole di deduzione. La matematica è induzione o deduzione? Entrambe le cose: “l’induzione è lo strumento attraverso cui si sceglie di procedere in una data direzione di ricerca; la deduzione è lo strumento che si utilizza per ‘sistemare’ le teorie matematiche in una forma che dia il massimo di garanzie sul piano logico”. GRAMMATICHE E LINGUAGGI – Il calcolatore ha prodotto un cambiamento nel lavoro dei matematici, ma per comunicare con il computer è necessario costruire linguaggi ad hoc. I linguaggi artificiali sono semplici e poveri, del tutto privi di ambiguità, progettati a tavolino e disciplinati da rigide regole stabilite a priori. A partire…