Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità di Palladino Dario - Bookdealer | I tuoi librai a domicilio
Menu principale

Con ogni acquisto su Bookdealer sostieni una libreria indipendente del territorio.

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità
Palladino Dario

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Editore: Carocci

Reparto: Matematica

ISBN: 9788843029006

Data di pubblicazione: 26/02/2004

Numero pagine: 202

Collana: Università


26,50€
Esaurito

Sinossi

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.

Altro

Prodotti Correlati


Mostra altri

Recensioni dei lettori


5% di sconto sul tuo primo ordine

Registrati gratuitamente e ottieni subito un codice sconto per il tuo primo acquisto.