Abstract: Il volume ha lo scopo di illustrare i principali risultati della logica del XX secolo, fra i quali il teorema di completezza per la logica del primo ordine, il teorema di compattezza, i teoremi di Löwenheim-Skolem, i teoremi di incompletezza di Gödel resistenza di modelli non standard per l'aritmetica, il teorema di Church, il teorema di incompletezza per la logica del secondo ordine. La trattazione di questi teoremi e delle loro dimostrazioni, pur volutamente contenuta grazie a qualche semplificazione delle parti più tecniche, consente al lettore di capire il significato dei risultati conseguiti, le loro implicazioni e le strategie che sono state impiegate per raggiungerli.
Titolo e contributi: Logica e teorie formalizzate : completezza, incompletezza, indecibilità / Dario Palladino
Pubblicazione: Roma : Carocci, 2004
Descrizione fisica: 202 p. ; 22 cm
ISBN: 8843029002
Data:2004
Lingua: Italiano (lingua del testo, colonna sonora, ecc.)
Paese: Italia
Sono presenti 1 copie, di cui 0 in prestito.
| Biblioteca | Collocazione | Inventario | Stato | Prestabilità | Rientra |
|---|---|---|---|---|---|
| Vimercate | S 160 PAL | 17M-107823 | Su scaffale | Disponibile |
Ultime recensioni inserite
Nessuna recensione
Clicca sulla mappa dove vuoi posizionare il tag