Logica matematica: Un primo corso

Recensioni dei lettori

Il libro di Joel William Robbin è un testo di logica matematica che cerca di offrire una chiara introduzione alla teoria dei modelli e alla logica del primo ordine. Le recensioni evidenziano sia gli aspetti positivi che quelli negativi del libro: alcuni ne lodano la presentazione concisa e chiara, mentre altri ne criticano la notazione e le spiegazioni.

⬤ Introduzione chiara e concisa alla teoria dei modelli e alla logica del primo ordine.
⬤ Sono fornite le regole di formazione e l'assiomatica completa, che lo rendono adatto all'autoapprendimento.
⬤ Ben strutturato, con utili approfondimenti e una buona selezione di esercizi.
⬤ La metateoria è presentata in modo chiaro, senza eccessiva dimostrazione di teoremi.
⬤ Conveniente e di buona qualità.

⬤ Notazione non standard che può confondere alcuni lettori.
⬤ Mancanza di spiegazioni dettagliate dei concetti, con conseguente curva di apprendimento ripida per alcuni.
⬤ La notazione è considerata antiquata da alcuni recensori.

(basato su 7 recensioni dei lettori)

Titolo originale:

Mathematical Logic: A First Course

Contenuto del libro:

Adatto a studenti universitari e laureati di livello avanzato, questo testo autoconclusivo si rivolge a lettori provenienti da campi diversi e con background differenti, tra cui matematica, filosofia, linguistica, informatica e ingegneria.

Presenta numerosi esercizi di vario livello di difficoltà, molti dei quali con soluzioni. Una panoramica sul calcolo proposizionale è seguita da capitoli sulla logica del primo ordine e sull'aritmetica ricorsiva del primo ordine.

Seguono un esame dell'aritmetizzazione della sintassi, una rassegna dei teoremi di incompletezza e altre applicazioni del paradosso del bugiardo. Il testo si conclude con uno studio della logica del secondo ordine e con un'appendice sulla teoria degli insiemi che si rivelerà preziosa per gli studenti con una preparazione matematica scarsa o nulla.