Guida supplementare alla logica matematica per principianti

Recensioni dei lettori

Il libro è la continuazione del primo volume e tratta argomenti di logica e matematica. Sebbene sia piacevole e aumenti la comprensione, alcuni lettori ritengono che nelle sezioni successive manchi di profondità rispetto alle aspettative.

Carta di buona qualità, facile da leggere, piacevole, aumenta significativamente la comprensione degli argomenti di logica.

La seconda parte potrebbe non essere necessaria per tutti i lettori, manca dei dettagli previsti negli argomenti successivi, può essere eccessiva a causa della quantità di memorizzazione richiesta.

(basato su 2 recensioni dei lettori)

Titolo originale:

A Beginner's Further Guide to Mathematical Logic

Contenuto del libro:

Questo è l'ultimo libro scritto dal grande enigmista e logico Raymond Smullyan.

Questo libro è il seguito del mio Beginner's Guide to Mathematical Logic.

Il volume precedente tratta elementi di logica proposizionale e del primo ordine, contiene un po' di sistemi formali e di ricorsione e si conclude con capitoli sul famoso teorema di incompletezza di G del, insieme a risultati correlati.

Il presente volume inizia con un approfondimento sulla logica proposizionale e del primo ordine, seguito da quello che definirei un capitolo “fein”, che generalizza contemporaneamente alcuni risultati della teoria della ricorsione, dei sistemi aritmetici del primo ordine e di quella che io chiamo “macchina decisionale”. Seguono cinque capitoli sui sistemi formali, sulla teoria della ricorsione e sulle applicazioni metamatematiche in un contesto generale. I cinque capitoli conclusivi riguardano il bellissimo argomento della logica combinatoria, che non solo è intrigante di per sé, ma ha importanti applicazioni all'informatica. L'Argonne National Laboratory è particolarmente coinvolto in queste applicazioni e sono orgoglioso di poter dire che i suoi membri hanno trovato applicazione ad alcuni dei miei risultati in logica combinatoria.

Questo libro non tratta argomenti importanti come la teoria degli insiemi, la teoria dei modelli, la teoria delle prove e i moderni sviluppi della teoria della ricorsione, ma il lettore, dopo aver studiato questo volume, sarà ampiamente preparato per lo studio di questi argomenti più avanzati.