Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità - Dario Palladino | Consegna Gratis
Dal 1946 a fianco di professionisti e studenti Scopri cosa dicono di noi

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità
titolo Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità
Autore
argomento
Collana Università
Editore Carocci
Formato Libro
Pagine 202
Pubblicazione 2004
ISBN 9788843029006
18app Carta del docente Acquistabile con bonus 18app o Carta del docente
 
26,50 25,18 (-5%)
 
Disponibile normalmente in 1/2 giorni
Spese di spedizione gratis sopra i 29,00 €
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.
 

Inserire il codice per il download.

Inserire il codice per attivare il servizio.

Questo sito o gli strumenti terzi da questo utilizzati si avvalgono di cookies necessari al funzionamento ed utili alle finalità illustrate nella cookies policy.
Se vuoi saperne di più o negare il consenso a tutti o ad alcuni cookies, consulta la cookie policy.
Chiudendo questo avviso, navigando in questa pagina, cliccando su un link o proseguendo la navigazione in altra maniera, acconsenti all'uso dei cookies.

Acconsento