Computability and Logic

Considerăm acest volum un manual de referință care a definit standardele în predarea logicii intermediare, ajungând acum la a cincea ediție sub coordonarea lui John P. Burgess. Lucrarea se distinge prin capacitatea de a face accesibile concepte de o complexitate ridicată, precum teoremele de incompletitudine ale lui Gödel, fără a sacrifica rigoarea necesară unui nivel universitar. Structura este gândită progresiv: pornește de la fundamentele computabilității și ajunge la teme opționale vaste, incluzând teoria lui Turing și teorema lui Ramsey. Credem că punctul forte al acestei ediții publicate de Cambridge University Press este revizuirea modului în care sunt prezentate funcțiile recursive. Acestea reprezintă adesea un obstacol major pentru studenți, însă autorii propun aici o abordare simplificată care facilitează înțelegerea demonstrațiilor ulterioare. Comparabil cu An Introduction to Mathematical Logic de Richard E Hodel în ceea ce privește rigoarea, volumul de față este mai bine adaptat pentru studenții care vin din zona filozofiei sau a științelor umaniste, oferind o punte mai lină către formalismul matematic. În contextul operei lui George S. Boolos, această lucrare completează viziunea sa tehnică expusă în The Logic of Provability, dar cu un accent pedagogic mult mai pronunțat. Dacă în alte scrieri Boolos se concentra pe nuanțe de nișă ale logicii modale, aici el oferă, alături de John P. Burgess și Richard C. Jeffrey, un instrument de lucru complet, actualizat cu exerciții noi și resurse online, esențial pentru orice curriculum modern de logică sau informatică teoretică.