Logica e teorie formalizzate

Completezza, incompletezza, indecidibilità

Autore: Dario Palladino

Codice: LISCMA0236261

non disponibile
Aggiungi al carrello
PAGAMENTI SICURI
pagamenti sicuri
Richiedi informazioni
Fissa appuntamento
Logica e teorie formalizzate

Completezza, incompletezza, indecidibilità

Autore: Dario Palladino

Codice: LISCMA0236261

non disponibile
Aggiungi al carrello
PAGAMENTI SICURI
pagamenti sicuri
Richiedi informazioni
Fissa appuntamento

Logica e teorie formalizzate - Completezza, incompletezza, indecidibilità

Caratteristiche

Completezza, incompletezza, indecidibilità

Autore:  Dario Palladino

Editore:  Carocci

Luogo di stampa:  Roma

Anno pubblicazione:  2004

Collana:  Università/487 filosofia

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.

Condizione prodotto:
Esemplare in buone condizioni. Lievi tracce di polvere alla copertina. Piccola etichetta adesiva alla quarta di copertina. Testo in Lingua Italiana.

Codice ISBN:  8843029002

Codice EAN:  9788843029006

Pagine:  202

Formato:  Brossura

Dimensioni (cm):
Altezza:  22

Descrizione

Prima edizione.

Proposte alternative
Potrebbe interessarti anche