Foto 1 di 1

Foto di catalogo

Libri Dario Palladino - Logica E Teorie Formalizzate. Completezza, Incompletezza - Foto 1 di 1

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

LA BANCARELLA DI SANTO62 (163122)

99,9% di feedback positivi

Prezzo:

€ 25,44

+ 4,99 di spese di spedizione

Consegna prevista mar 24 giu - ven 27 giu

Restituzioni:

Restituzioni entro 14 giorni. Le spese di spedizione del reso sono a carico dell'acquirente..

Condizione:

Nuovo

Il venditore è assente fino al 12 giu2025.

Informazioni su questo prodotto

Informazioni sul prodotto

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.