Completezza, compattezza, indecidibilità
Categoria: LOGICA, Logica matematica, MATEMATICA.€23.00
Questo volume presenta in forma compatta alcune delle tecniche e dei risultati principali della logica della matematica. Il volume si caratterizza per l’uso dei calcolo delle sequenze di Gentzen, l’impiego dei metodi naturali di Beth, Hintikka, Schütte e Kanger per dimostrare la completezza dei calcoli, una chiara distinzione tra i teoremi di compattezza e il ricorso all’approccio diretto di Büchi per stabilire l’ indecidibilità del calcolo dei predicati.