ISBN: 9788870880441
Pagine: 196
Anno: 1981
Edizione: 7088

Completezza, compattezza, indecidibilità

Categoria: , , .

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.

©2023 BIBLIOPOLIS – Edizioni di Filosofia e Scienze