Fundamentos de L Gica E Teoria Da Computa O

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Conținutul cărții:

Cartea oferă o introducere de sine stătătoare în logica matematică și teoria calculabilității pentru studenții la matematică sau informatică. Cartea este organizată în trei părți în jurul succeselor și eșecurilor programului lui Hilbert de formalizare a matematicii.

Partea I abordează problema formalizării și a calculabilității. Partea a II-a prezintă logica ordinului întâi, inclusiv teorema de completitudine a lui G del și teorema de coerență a lui Gentzen. Partea III se concentrează pe aritmetică, reprezentabilitatea aplicațiilor calculabile, teoremele de incompletitudine ale lui G del și decidabilitatea aritmeticii Presburger.

Partea a IV-a include răspunsuri detaliate la exerciții selectate. Un curs universitar ar putea fi bazat pe primele două părți, excluzând calculul lui Gentzen și încheind cu o prezentare generală a drumului către prima teoremă de incompletitudine.

Într-un curs mai avansat, materialul introductiv deja cunoscut de studenți ar putea fi eliminat, iar rezultatele pozitive și negative ale programului lui Hilbert ar putea fi stabilite, acoperind astfel dovada coerenței propusă de Gentzen și partea a III-a în întregime. Această a doua ediție extinsă include, de asemenea, corecțiile și numeroasele revizuiri ocazionale ale textului pregătite de la publicarea sa inițială.