Logica matematică clasică: Fundamentele semantice ale logicii

Recenzii ale cititorilor

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

Titlul original:

Classical Mathematical Logic: The Semantic Foundations of Logic

Conținutul cărții:

În Classical Mathematical Logic, Richard L. Epstein face legătura între sistemele de logică matematică și motivațiile lor inițiale de a formaliza raționamentul în matematică. Cartea arată, de asemenea, cum poate fi utilizată logica matematică pentru a formaliza anumite sisteme matematice. Ea stabilește formalizarea nu numai a aritmeticii, ci și a teoriei grupurilor, a teoriei câmpurilor și a ordonărilor liniare. Acestea conduc la formalizarea numerelor reale și a geometriei planului euclidian. Domeniul de aplicare și limitele logicii moderne sunt clarificate în aceste formalizări.

Cartea oferă explicații detaliate ale tuturor demonstrațiilor și ale perspectivelor din spatele demonstrațiilor, precum și exemple și probleme detaliate și nontriviale. Cartea are mai mult de 550 de exerciții. Ea poate fi utilizată în cursuri avansate de licență sau absolvire și pentru studiu individual și referință.

Logica matematică clasică prezintă un tratament unificat al materialului care până acum a fost disponibil doar prin consultarea multor cărți și articole de cercetare diferite, scrise cu diverse sisteme de notație și axiomatizări.