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.

Ultimo aggiornamento: 2016-09-01 18:03