Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità
Prezzo
26,50 €
Nessuna tassa
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.
9788843029006
Scheda dati
- Autore
- Palladino Dario
- Collana
- Università
- Formato
- Libro in brossura
- Data pubblicazione
- 26 Febbraio 2004
- Pagine
- 202
Riferimenti specifici
- isbn
- 9788843029006
- ean13
- 9788843029006
Nuovo
Leo Elements Font End
Panel Tool
Full Width
Boxed Large
Yes
No
Font Base
Font Heading
Font Slider
Font Senary
Font Septenary
Color Default