A Beginner's Further Guide to Mathematical Logic

Recenzii ale cititorilor

Cartea este o continuare a primului volum, acoperind subiecte din logică și matematică. Deși este plăcută și crește înțelegerea, unii cititori consideră că îi lipsește profunzimea în secțiunile ulterioare în comparație cu așteptările.

Hârtie de bună calitate, ușor de citit, plăcută, crește semnificativ înțelegerea subiectelor de logică.

Partea a doua poate să nu fie necesară pentru toți cititorii, îi lipsesc detaliile așteptate în subiectele ulterioare, poate fi copleșitoare din cauza cantității de memorare necesare.

(pe baza a 2 recenzii ale cititorilor)

Conținutul cărții:

Aceasta este ultima carte scrisă de regretatul mare maestru al puzzle-urilor și logician, Dr. Raymond Smullyan.

Această carte este o continuare a Ghidului meu pentru începători de logică matematică.

Volumul anterior tratează elemente de logică propozițională și de ordinul întâi, conține câte ceva despre sistemele formale și recursivitate și se încheie cu capitole despre celebra teoremă a incompletitudinii a lui G del, împreună cu rezultate conexe.

Volumul de față începe cu un pic mai mult despre logica propozițională și de ordinul întâi, urmat de ceea ce aș numi un capitol „fein”, care generalizează simultan unele rezultate din teoria recursivității, sistemele aritmetice de ordinul întâi și ceea ce eu numesc o „mașină de decizie”. Urmează cinci capitole despre sisteme formale, teoria recursivității și aplicații metamatematice într-un cadru general. Ultimele cinci capitole se referă la frumosul subiect al logicii combinatorii, care nu numai că este intrigant în sine, dar are și aplicații importante în informatică. Argonne National Laboratory este deosebit de implicat în aceste aplicații și sunt mândru să spun că membrii săi au găsit utilizare pentru unele dintre rezultatele mele în logica combinatorie.

Această carte nu acoperă subiecte atât de importante precum teoria seturilor, teoria modelelor, teoria dovezilor și evoluțiile moderne în teoria recursivității, dar cititorul, după studierea acestui volum, va fi pe deplin pregătit pentru studiul acestor subiecte mai avansate.