_Che cos’è la logica matematica?_ (libro)
Non è semplicissimo catalogare questo libro (John N. Crossley et al, Che cos’è la logica matematica? [What Is Mathematical Logic?], Boringhieri 1973 [1972], pag. 126, trad. Teresa Pallucchini). La parte centrale del tersto è molto tecnica, ahimè con qualche refuso che non so se sia poi stato corretto nelle edizioni successive alla prima che è entrata in mio possesso: ma il capitolo introduttivo fa una storia della logica con un linguaggio colloquiale e allo stesso tempo chiaro – un bravo alla traduttrice Teresa Pallucchini – e il capitolo finale dà un’ottima ideadi come si sia arrivati agli assiomi ZF per la teoria degli insiemi e cerca persino di gettare qualche luce sulle tecniche di forcing che dieci anni prima avevano permesso a Cohen di dimostrare l’indipendenza di assioma della scelta e ipotesi del continuo. Direi che per chi non è un patito della logica matematica queste due parti sono sufficienti per apprezzare il testo.

Alfio Caruso ha scritto molti saggi e molti romanzi. In questo caso (Alfio Caruso,
Non sono rari i libri che parlano delle proprietà dei numeri piccoli. Così su due piedi mi vengono in mente quelli di