Introduzione alla logica matematica

Recensioni dei lettori

Il libro ha ricevuto recensioni contrastanti: alcuni utenti lo elogiano come un eccellente testo di autoapprendimento che copre un'ampia gamma di argomenti di logica matematica, mentre altri ne criticano la leggibilità e la densità del materiale, affermando che non è adatto ai principianti. Sono stati rilevati anche diversi problemi specifici con la qualità della pubblicazione, in particolare nell'ultima edizione.

Ottimo per l'autoapprendimento, copertura completa degli argomenti di logica matematica, materiale accessibile nel primo capitolo, efficace per chi ha qualche conoscenza pregressa.

Caratteri in pedice poco chiari e difficili da leggere, materiale denso che richiede più letture, esempi insufficienti per la risoluzione di problemi, spiegazioni introduttive insufficienti per le sezioni principali e incoerenze nella pubblicazione.

(basato su 5 recensioni dei lettori)

Titolo originale:

Introduction to Mathematical Logic

Contenuto del libro:

La nuova edizione di questo classico libro di testo Introduzione alla logica matematica, sesta edizione esplora i principali argomenti della logica matematica. Copre la logica proposizionale, la logica del primo ordine, la teoria dei numeri del primo ordine, la teoria assiomatica degli insiemi e la teoria della computabilità.

Il testo discute anche i principali risultati di Godel, Church, Kleene, Rosser e Turing. La sesta edizione incorpora il recente lavoro sul secondo teorema di incompletezza di Godel e ripristina un'appendice sulle prove di coerenza per l'aritmetica del primo ordine. Questa appendice era apparsa l'ultima volta nella prima edizione.

Viene riproposta nella nuova edizione per considerazioni storiche. Il testo offre anche prospettive storiche e molti nuovi esercizi di varia difficoltà, che motivano e conducono gli studenti a una comprensione pratica e approfondita del materiale.