Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità - Dario Palladino - copertina
Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità - Dario Palladino - copertina
Dati e Statistiche
Salvato in 22 liste dei desideri
Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità
Disponibilità in 1 giorni lavorativi
27,83 €
27,83 €
Disp. in 1 gg lavorativi

Descrizione


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.

Informazioni dal venditore

Venditore:

Informazioni:

Dario Palladino - Logica E Teorie Formalizzate. Completezza, Incompletezza, Indecidibilita

Dettagli

Libro universitario
202 p., Brossura
9788843029006
Informazioni e Contatti sulla Sicurezza dei Prodotti

Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da Feltrinelli, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.lafeltrinelli.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.

Per informazioni sulla sicurezza dei prodotti, contattare complianceDSA@feltrinelli.it

Chiudi

Inserisci la tua mail

Chiudi

Verrai avvisato via email sulle novità di Nome Autore