Mathematical Logic

Interdisciplinaritatea constituie fundamentul lucrării Mathematical Logic, autorul G Tourlakis reușind să creeze o punte solidă între rigoarea formală a matematicii, aplicațiile practice din informatică și fundamentele teoretice ale filosofiei. Considerăm că abordarea este una pragmatică, transformând logica dintr-o disciplină abstractă într-un instrument de lucru esențial pentru raționamentul deductiv. Lucrarea este structurată metodic în două arii principale, logica booleană și logica predicatelor, oferind studenților instrumentele necesare pentru scrierea demonstrațiilor matematice.

Apreciem în mod deosebit dualitatea metodologică prezentată de G Tourlakis: textul nu se limitează la stilul tradițional „Hilbert”, ci introduce și stilul „ecuațional”, tot mai utilizat în inginerie și dezvoltarea sistemelor informatice. Această perspectivă modernă completează viziunea oferită de Introduction to Logic and to the Methodology of Deductive Sciences de Alfred Tarski, adăugând o componentă aplicată și o introducere necesară în teoria computabilității, elemente pe care textul clasic al lui Tarski nu le vizează în mod direct. În timp ce alte manuale se concentrează strict pe formalism, Mathematical Logic explorează și limitele disciplinei, analizând teoremele de incompletitudine ale lui Gödel pentru a demonstra ce poate și ce nu poate certifica logica în sisteme precum aritmetica Peano.

Fiecare capitol este susținut de seturi de probleme și exemple care facilitează înțelegerea conceptelor de completitudine și consistență. Ediția publicată de Wiley se distinge prin claritatea expunerii, fiind adaptată pentru curriculumul universitar avansat, unde capacitatea de a formula argumente valide este crucială pentru succesul în cercetare sau practică profesională.