Logica matematica. Strutture, rappresentazioni, deduzioni

Il libro è un manuale sintetico per un corso introduttivo di logica matematica. Il sottotitolo vuole mettere in rilievo un principio ispiratore del testo. Le strutture sono le entità di riferimento del linguaggio logico. Le deduzioni sono gli strumenti con cui si elaborano le formule per calcolare i rapporti di conseguenza. Le rappresentazioni giocano un ruolo fondamentale, spesso dato per scontato o solo accennato nei manuali di logica, che è preliminare all'attività deduttiva. Riuscire a esprimere in formule proprietà e relazioni, su un certo insieme di oggetti, è un lavoro spesso non semplice cui questo libro dedica particolare attenzione. Il lettore è guidato con vari esempi ed esercizi a capire il senso e il funzionamento dei meccanismi di base della logica dei predicati. Inoltre, in termini di rappresentabilità logica, sono analizzati alcuni fenomeni cruciali della logica matematica intimamente connessi col rapporto tra deduzione e calcolo. Esempi di rappresentabilità entro modelli e teorie indicano alcuni importanti sviluppi in cui la logica diventa uno strumento prezioso dell'informatica teorica nella comprensione e nella scoperta di nuovi modelli di calcolo.
In appendice, la traduzione di una recente conferenza di Gregory Chaitin, protagonista in ricerche di confine tra logica e informatica, che in modo informale ma avvincente tratteggia una storia delle idee della logica matematica del XX secolo.

Dettagli